Modulelinear-base-0.8.1

Data.List.NonEmpty.Linear

Synopsis

value head
value init
value last
value sort
value sortBy
value sortWith
value tail
value <|
value append
value appendList
value break
value cons
value drop
value dropWhile
value filter
value fromList
value intersperse
value length
value map
value nonEmpty
value partition
value prependList
value reverse
value scanl
value scanl1
value scanr
value scanr1
value singleton
value span
value splitAt
value take
value takeWhile
value toList
value transpose
value uncons
value unfoldr
value unzip
value unzip3
value xor
value zip
value zip'
value zipWith
value zipWith'
data NonEmpty

Packagelinear-base-0.8.1
Exports44
LicenceMIT
SourceNonEmpty.hs

valuehead :: NonEmpty a -> a

Source#

Extract the first element of the stream.

valueinit :: NonEmpty a -> [a]

Source#

Extract everything except the last element of the stream.

valuelast :: NonEmpty a -> a

Source#

Extract the last element of the stream.

valuesort :: Ord a => NonEmpty a -> NonEmpty a

Source#

Sort a stream.

valuesortBy :: (a -> a -> Ordering) -> NonEmpty a -> NonEmpty a

Source#

sortBy for NonEmpty, behaves the same as sortBy

valuesortWith :: Ord o => (a -> o) -> NonEmpty a -> NonEmpty a

Source#

sortWith for NonEmpty, behaves the same as:

sortBy . comparing

valuetail :: NonEmpty a -> [a]

Source#

Extract the possibly-empty tail of the stream.

value(<|) :: a %1 -> NonEmpty a %1 -> NonEmpty a

valueappend :: NonEmpty a %1 -> NonEmpty a %1 -> NonEmpty a

valueappendList :: NonEmpty a %1 -> [a] %1 -> NonEmpty a

valuebreak :: Dupable a => (a %1 -> Bool) -> NonEmpty a %1 -> ([a], [a])

valuecons :: a %1 -> NonEmpty a %1 -> NonEmpty a

valuedrop :: Consumable a => Int -> NonEmpty a %1 -> [a]

valuedropWhile :: Dupable a => (a %1 -> Bool) -> NonEmpty a %1 -> [a]

valuefilter :: Dupable a => (a %1 -> Bool) -> NonEmpty a %1 -> [a]

valuefromList :: HasCallStack => [a] %1 -> NonEmpty a

valueintersperse :: a -> NonEmpty a %1 -> NonEmpty a

valuelength :: NonEmpty a %1 -> (Ur Int, NonEmpty a)

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

valuenonEmpty :: [a] %1 -> Maybe (NonEmpty a)

valuepartition :: Dupable a => (a %1 -> Bool) -> NonEmpty a %1 -> ([a], [a])

valueprependList :: [a] %1 -> NonEmpty a %1 -> NonEmpty a

valuereverse :: NonEmpty a %1 -> NonEmpty a

valuescanl

:: Dupable b
=> b %1 -> a %1 -> b
-> b
-> NonEmpty a
-> NonEmpty b

valuescanl1 :: Dupable a => (a %1 -> a %1 -> a) -> NonEmpty a %1 -> NonEmpty a

valuescanr

:: Dupable b
=> a %1 -> b %1 -> b
-> b
-> NonEmpty a
-> NonEmpty b

valuescanr1 :: Dupable a => (a %1 -> a %1 -> a) -> NonEmpty a %1 -> NonEmpty a

valuesingleton :: a %1 -> NonEmpty a

valuespan :: Dupable a => (a %1 -> Bool) -> NonEmpty a %1 -> ([a], [a])

valuesplitAt :: Consumable a => Int -> NonEmpty a %1 -> ([a], [a])

valuetake :: Consumable a => Int -> NonEmpty a %1 -> [a]

valuetakeWhile :: Dupable a => (a %1 -> Bool) -> NonEmpty a %1 -> [a]

valuetoList :: NonEmpty a %1 -> [a]

valuetranspose :: NonEmpty (NonEmpty a) %1 -> NonEmpty (NonEmpty a)

valueuncons :: NonEmpty a %1 -> (a, Maybe (NonEmpty a))

valueunfoldr :: (a %1 -> (b, Maybe a)) -> a %1 -> NonEmpty b

valueunzip :: NonEmpty (a, b) %1 -> (NonEmpty a, NonEmpty b)

valueunzip3 :: NonEmpty (a, b, c) %1 -> (NonEmpty a, NonEmpty b, NonEmpty c)

valuexor :: NonEmpty Bool %1 -> Bool

valuezip

:: (Consumable a, Consumable b)
=> NonEmpty a
-> NonEmpty b
-> NonEmpty (a, b)

valuezip'

:: NonEmpty a
-> NonEmpty b
-> (NonEmpty (a, b), Maybe (Either (NonEmpty a) (NonEmpty b)))

valuezipWith

:: (Consumable a, Consumable b)
=> a %1 -> b %1 -> c
-> NonEmpty a
-> NonEmpty b
-> NonEmpty c

valuezipWith'

:: a %1 -> b %1 -> c
-> NonEmpty a
-> NonEmpty b
-> (NonEmpty c, Maybe (Either (NonEmpty a) (NonEmpty b)))

datadata NonEmpty a

Source#

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

Constructors

a :| [a]infixr 5

Instances46Monad, MonadFix, Applicative, Foldable, MonadZip, Foldable1, …

Monad NonEmptyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.NonEmpty · orphan
Functor NonEmptyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.NonEmpty · orphan
MonadFix NonEmptyDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Fix
Applicative NonEmptyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.NonEmpty · orphan
Foldable NonEmptyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Foldable
Traversable NonEmptyDefined in ghc-internal-9.1401.0 · GHC.Internal.Data.Traversable
MonadZip NonEmptyDefined in ghc-internal-9.1401.0 · GHC.Internal.Control.Monad.Zip
Foldable1 NonEmptyDefined in base-4.22.0.0 · Data.Foldable1
Eq1 NonEmptyDefined in base-4.22.0.0 · Data.Functor.Classes
Ord1 NonEmptyDefined in base-4.22.0.0 · Data.Functor.Classes
Read1 NonEmptyDefined in base-4.22.0.0 · Data.Functor.Classes
Show1 NonEmptyDefined in base-4.22.0.0 · Data.Functor.Classes
NFData1 NonEmptyDefined in deepseq-1.5.1.0 · Control.DeepSeq
Arbitrary1 NonEmptyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Hashable1 NonEmptyDefined in hashable-1.5.1.0 · Data.Hashable.Class
Functor NonEmptyDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Functor
Traversable NonEmptyDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Generic1 NonEmptyDefined in ghc-internal-9.1401.0 · GHC.Internal.Generics
Generic1 NonEmptyDefined in linear-generics-0.2.3 · Generics.Linear.Instances.Base · orphan
Lift a => Lift (NonEmpty a)Defined in ghc-internal-9.1401.0 · GHC.Internal.TH.Lift
IsList (NonEmpty a)Defined in ghc-internal-9.1401.0 · GHC.Internal.IsList
Eq a => Eq (NonEmpty a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Base
Data a => Data (NonEmpty a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.Data
Ord a => Ord (NonEmpty a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Base
Read a => Read (NonEmpty a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Read
Show a => Show (NonEmpty a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Show
Generic (NonEmpty a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Generics
Semigroup (NonEmpty a)Defined in ghc-internal-9.1401.0 · GHC.Internal.Data.NonEmpty · orphan
NFData a => NFData (NonEmpty a)Defined in deepseq-1.5.1.0 · Control.DeepSeq
Arbitrary a => Arbitrary (NonEmpty a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
CoArbitrary a => CoArbitrary (NonEmpty a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Arbitrary
Function a => Function (NonEmpty a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Binary a => Binary (NonEmpty a)Defined in binary-0.8.9.3 · Data.Binary.Class
Hashable a => Hashable (NonEmpty a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Generic (NonEmpty a)Defined in linear-generics-0.2.3 · Generics.Linear.Instances.Base · orphan
Consumable a => Consumable (NonEmpty a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Consumable
Dupable a => Dupable (NonEmpty a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Dupable
Movable a => Movable (NonEmpty a)Defined in linear-base-0.8.1 · Data.Unrestricted.Linear.Internal.Movable
Semigroup (NonEmpty a)Defined in linear-base-0.8.1 · Data.List.Linear · orphan
(Consumable a, Eq a) => Eq (NonEmpty a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Eq
(Consumable a, Ord a) => Ord (NonEmpty a)Defined in linear-base-0.8.1 · Data.Ord.Linear.Internal.Ord
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-9.1401.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-9.1401.0 · GHC.Internal.Generics
type Item (NonEmpty a) = aDefined in ghc-internal-9.1401.0 · GHC.Internal.IsList
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 linear-generics-0.2.3 · Generics.Linear.Instances.Base · orphan
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) (Par1 :.: [])))Defined in linear-generics-0.2.3 · Generics.Linear.Instances.Base · orphan