Basement.NonEmpty

Description

A newtype wrapper around a non-empty Collection.

Synopsis

Documentation

newtype NonEmpty a #

NonEmpty property for any Collection

Constructors

NonEmpty
Fields getNonEmpty :: a

Instances details

IsList c => IsList (NonEmpty c) #
Instance details Defined in Basement.NonEmpty Associated Types type Item (NonEmpty c) # Methods fromList :: [Item (NonEmpty c)] -> NonEmpty c # fromListN :: Int -> [Item (NonEmpty c)] -> NonEmpty c # toList :: NonEmpty c -> [Item (NonEmpty c)] #
Eq a => Eq (NonEmpty a) #
Instance details Defined in Basement.NonEmpty Methods (==) :: NonEmpty a -> NonEmpty a -> Bool # (/=) :: NonEmpty a -> NonEmpty a -> Bool #
Show a => Show (NonEmpty a) #
Instance details Defined in Basement.NonEmpty Methods showsPrec :: Int -> NonEmpty a -> ShowS # show :: NonEmpty a -> String # showList :: [NonEmpty a] -> ShowS #
type Item (NonEmpty c) #
Instance details Defined in Basement.NonEmpty type Item (NonEmpty c) = Item c