Basement.NonEmpty

A newtype wrapper around a non-empty Collection.

Documentation

newtype NonEmpty a

NonEmpty property for any Collection

Constructors

NonEmpty

Fields

• getNonEmpty :: a

Instances

IsList c => IsList (NonEmpty c)

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)

Defined in Basement.NonEmpty

Methods

(==) :: NonEmpty a -> NonEmpty a -> Bool

(/=) :: NonEmpty a -> NonEmpty a -> Bool

Show a => Show (NonEmpty a)

Defined in Basement.NonEmpty

Methods

showsPrec :: Int -> NonEmpty a -> ShowS

show :: NonEmpty a -> String

showList :: [NonEmpty a] -> ShowS

type Item (NonEmpty c)

Defined in Basement.NonEmpty

type Item (NonEmpty c) = Item c