Data.NonEmpty

Create NonEmpty version of any container.

Base type

data NonEmpty a

NonEmpty proofed value.

Instances

Eq a => Eq (NonEmpty a)

Defined in Data.NonEmpty

Methods

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

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

Ord a => Ord (NonEmpty a)

Defined in Data.NonEmpty

Methods

compare :: NonEmpty a -> NonEmpty a -> Ordering

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

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

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

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

max :: NonEmpty a -> NonEmpty a -> NonEmpty a

min :: NonEmpty a -> NonEmpty a -> NonEmpty a

Show a => Show (NonEmpty a)

Defined in Data.NonEmpty

Methods

showsPrec :: Int -> NonEmpty a -> ShowS

show :: NonEmpty a -> String

showList :: [NonEmpty a] -> ShowS

Semigroup a => Semigroup (NonEmpty a)

Defined in Data.NonEmpty

Methods

(<>) :: NonEmpty a -> NonEmpty a -> NonEmpty a

sconcat :: NonEmpty0 (NonEmpty a) -> NonEmpty a

stimes :: Integral b => b -> NonEmpty a -> NonEmpty a

$sel:getNonEmpty:NonEmpty :: NonEmpty a -> a

Extract the NonEmpty proven value

trustedNonEmpty :: a -> NonEmpty a

Trusted value

Singleton constructor

class NonEmptySingleton a where

Singleton constructible value

Associated Types

type NonEmptySingletonElement a :: Type

Methods

nonEmptySingleton :: Proxy a -> NonEmptySingletonElement a -> a

Instances

Applicative f => NonEmptySingleton (f a)

Defined in Data.NonEmpty

Associated Types

type NonEmptySingletonElement (f a)

Methods

nonEmptySingleton :: Proxy (f a) -> NonEmptySingletonElement (f a) -> f a

singleton :: NonEmptySingleton a => Proxy a -> NonEmptySingletonElement a -> NonEmpty a

Build a NonEmpty value from a singleton value

newtype MkNonEmptySingletonApplicative a

Build NonEmptySingleton for Applicative defined types to be used with DerivingVia:

deriving instance NonEmptySingleton [a] via (MkNonEmptySingletonApplicative [a])

Constructors

MkNonEmptySingletonApplicative a

From container

class NonEmptyFromContainer a where

Used to attempt conversion from possibly empty to NonEmpty.

Methods

isNonEmpty :: a -> Bool

Instances

Foldable f => NonEmptyFromContainer (f a)

Defined in Data.NonEmpty

Methods

isNonEmpty :: f a -> Bool

nonEmpty :: NonEmptyFromContainer a => a -> Maybe (NonEmpty a)

Attempt NonEmpty proof

newtype MkNonEmptyFromContainerFoldable a

Build MkNonEmptyFromContainerFoldable for Foldable defined types to be used with DerivingVia:

deriving instance NonEmptyFromContainer [a] via (MkNonEmptyFromContainerFoldable [a])

Constructors

MkNonEmptyFromContainerFoldable a

Operations

(<|) :: Semigroup a => NonEmpty a -> a -> NonEmpty a infixr 6

Append empty container

(|>) :: Semigroup a => a -> NonEmpty a -> NonEmpty a infixr 6

Prepend empty container

overNonEmpty :: (a -> b) -> NonEmpty a -> NonEmpty b

Wrap and unwrap NonEmpty (unsafe, be sure f is size-conservative)

overNonEmpty2 :: (a -> b -> c) -> NonEmpty a -> NonEmpty b -> NonEmpty c

Wrap and unwrap NonEmpty (unsafe, be sure f is size-conservative)

overNonEmpty3 :: (a -> b -> c -> d) -> NonEmpty a -> NonEmpty b -> NonEmpty c -> NonEmpty d

Wrap and unwrap NonEmpty (unsafe, be sure f is size-conservative)

overNonEmpty4 :: (a -> b -> c -> d -> e) -> NonEmpty a -> NonEmpty b -> NonEmpty c -> NonEmpty d -> NonEmpty e

Wrap and unwrap NonEmpty (unsafe, be sure f is size-conservative)

overNonEmpty5 :: (a -> b -> c -> d -> e -> f) -> NonEmpty a -> NonEmpty b -> NonEmpty c -> NonEmpty d -> NonEmpty e -> NonEmpty f

Wrap and unwrap NonEmpty (unsafe, be sure f is size-conservative)

fmapNonEmpty :: Functor f => (a -> b) -> NonEmpty (f a) -> NonEmpty (f b)

fmap over a NonEmpty container

withNonEmpty :: (a -> Maybe b) -> NonEmpty a -> b

Apply an unsafe function over empty, which is safe over NonEmpty