GHC.Internal.Data.List.NonEmpty · ghc-internal-10.0.0

datadata NonEmpty a

#

Non-empty (and non-strict) list type.

Constructors

a :| [a]infixr 5

Instances20Monad, Functor, MonadFix, Applicative, Foldable, Traversable, …

Monad NonEmptyDefined in ghc-internal-10.0.0 · GHC.Internal.Data.NonEmpty · orphan
Functor NonEmptyDefined in ghc-internal-10.0.0 · GHC.Internal.Data.NonEmpty · orphan
MonadFix NonEmptyDefined in ghc-internal-10.0.0 · GHC.Internal.Control.Monad.Fix
Applicative NonEmptyDefined in ghc-internal-10.0.0 · GHC.Internal.Data.NonEmpty · orphan
Foldable NonEmptyDefined in ghc-internal-10.0.0 · GHC.Internal.Data.Foldable
Traversable NonEmptyDefined in ghc-internal-10.0.0 · GHC.Internal.Data.Traversable
MonadZip NonEmptyDefined in ghc-internal-10.0.0 · GHC.Internal.Control.Monad.Zip
Generic1 NonEmptyDefined in ghc-internal-10.0.0 · GHC.Internal.Generics
Lift a => Lift (NonEmpty a)Defined in ghc-internal-10.0.0 · GHC.Internal.TH.Lift
IsList (NonEmpty a)Defined in ghc-internal-10.0.0 · GHC.Internal.IsList
Eq a => Eq (NonEmpty a)Defined in ghc-internal-10.0.0 · GHC.Internal.Base
Data a => Data (NonEmpty a)Defined in ghc-internal-10.0.0 · GHC.Internal.Data.Data
Ord a => Ord (NonEmpty a)Defined in ghc-internal-10.0.0 · GHC.Internal.Base
Read a => Read (NonEmpty a)Defined in ghc-internal-10.0.0 · GHC.Internal.Read
Show a => Show (NonEmpty a)Defined in ghc-internal-10.0.0 · GHC.Internal.Show
Generic (NonEmpty a)Defined in ghc-internal-10.0.0 · GHC.Internal.Generics
Semigroup (NonEmpty a)Defined in ghc-internal-10.0.0 · GHC.Internal.Data.NonEmpty · orphan
type Rep (NonEmpty a) = D1 ('MetaData "NonEmpty" "GHC.Internal.Base" "ghc-internal" 'False) (C1 ('MetaCons ":|" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))Defined in ghc-internal-10.0.0 · GHC.Internal.Generics
type Rep1 NonEmpty = D1 ('MetaData "NonEmpty" "GHC.Internal.Base" "ghc-internal" 'False) (C1 ('MetaCons ":|" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])))Defined in ghc-internal-10.0.0 · GHC.Internal.Generics
type Item (NonEmpty a) = aDefined in ghc-internal-10.0.0 · GHC.Internal.IsList

valuezip :: NonEmpty a -> NonEmpty b -> NonEmpty (a, b)

#

The zip function takes two streams and returns a stream of corresponding pairs.

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

#

The zipWith function generalizes zip. Rather than tupling the elements, the elements are combined using the function passed as the first argument.

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

#

Map a function over a NonEmpty stream.