Modulestrict-0.5.1

Data.Strict

Synopsis

value either
value fromLeft
value fromRight
value isLeft
value isRight
value lefts
value partitionEithers
value rights
value catMaybes
value fromJust
value fromMaybe
value isJust
value isNothing
value listToMaybe
value mapMaybe
value maybe
value maybeToList
value distrPairThese
value distrThesePair
value fromThese
value mergeThese
value mergeTheseWith
value partitionEithersNE
value partitionHereThere
value partitionThese
value these
value undistrPairThese
value undistrThesePair
value curry
value fst
value snd
value swap
value uncurry
value unzip
value zip
class Strict
data Either
data Maybe
data These
type :!:
data Pair

Packagestrict-0.5.1
Exports41
LicenceBSD-3-Clause

valueeither :: (a -> c) -> (b -> c) -> Either a b -> c

valuefromLeft :: Either a b -> a

valuefromRight :: Either a b -> b

valueisLeft :: Either a b -> Bool

valueisRight :: Either a b -> Bool

valuelefts :: [Either a b] -> [a]

valuepartitionEithers :: [Either a b] -> ([a], [b])

valuerights :: [Either a b] -> [b]

valuecatMaybes :: [Maybe a] -> [a]

valuefromJust :: Maybe a -> a

valuefromMaybe :: a -> Maybe a -> a

valueisJust :: Maybe a -> Bool

valueisNothing :: Maybe a -> Bool

valuelistToMaybe :: [a] -> Maybe a

valuemapMaybe :: (a -> Maybe b) -> [a] -> [b]

valuemaybe :: b -> (a -> b) -> Maybe a -> b

valuemaybeToList :: Maybe a -> [a]

valuedistrPairThese :: (These a b, c) -> These (a, c) (b, c)

valuedistrThesePair :: These (a, b) c -> (These a c, These b c)

valuefromThese :: a -> b -> These a b -> (a, b)

valuemergeThese :: (a -> a -> a) -> These a a -> a

valuemergeTheseWith :: (a -> c) -> (b -> c) -> (c -> c -> c) -> These a b -> c

valuepartitionEithersNE

:: NonEmpty (Either a b)
-> These (NonEmpty a) (NonEmpty b)

valuepartitionHereThere :: [These a b] -> ([a], [b])

valuepartitionThese :: [These a b] -> ([a], [b], [(a, b)])

valuethese :: (a -> c) -> (b -> c) -> (a -> b -> c) -> These a b -> c

valueundistrPairThese :: These (a, c) (b, c) -> (These a b, c)

valueundistrThesePair :: (These a c, These b c) -> These (a, b) c

valuecurry :: (Pair a b -> c) -> a -> b -> c

valuefst :: Pair a b -> a

valuesnd :: Pair a b -> b

valueswap :: Pair a b -> Pair b a

valueuncurry :: (a -> b -> c) -> Pair a b -> c

valueunzip :: [Pair a b] -> ([a], [b])

valuezip :: [a] -> [b] -> [Pair a b]

classclass Strict lazy strict | lazy -> strict, strict -> lazy where

Methods

toStrict :: lazy -> strict
toLazy :: strict -> lazy

Instances10Strict, …

Strict ByteString ByteStringDefined in strict-0.5.1 · Data.Strict.Classes
Strict Text TextDefined in strict-0.5.1 · Data.Strict.Classes
Strict (Maybe a) (Maybe a)Defined in strict-0.5.1 · Data.Strict.Classes
Strict (ST s a) (ST s a)Defined in strict-0.5.1 · Data.Strict.Classes
Strict (Either a b) (Either a b)Defined in strict-0.5.1 · Data.Strict.Classes
Strict (These a b) (These a b)Defined in strict-0.5.1 · Data.Strict.Classes
Strict (a, b) (Pair a b)Defined in strict-0.5.1 · Data.Strict.Classes
Strict (StateT s m a) (StateT s m a)Defined in strict-0.5.1 · Data.Strict.Classes
Strict (WriterT w m a) (WriterT w m a)Defined in strict-0.5.1 · Data.Strict.Classes
Strict (RWST r w s m a) (RWST r w s m a)Defined in strict-0.5.1 · Data.Strict.Classes

datadata Either a b

Constructors

Left !a
Right !b

Instances34Bifoldable, Bifunctor, Bitraversable, Eq2, Ord2, Read2, …

Bifoldable EitherDefined in strict-0.5.1 · Data.Strict.Either
Bifunctor EitherDefined in strict-0.5.1 · Data.Strict.Either
Bitraversable EitherDefined in strict-0.5.1 · Data.Strict.Either
Eq2 EitherDefined in strict-0.5.1 · Data.Strict.Either
Ord2 EitherDefined in strict-0.5.1 · Data.Strict.Either
Read2 EitherDefined in strict-0.5.1 · Data.Strict.Either
Show2 EitherDefined in strict-0.5.1 · Data.Strict.Either
NFData2 EitherDefined in strict-0.5.1 · Data.Strict.Either
Hashable2 EitherDefined in strict-0.5.1 · Data.Strict.Either
Assoc EitherDefined in strict-0.5.1 · Data.Strict.Either
Swap EitherDefined in strict-0.5.1 · Data.Strict.Either
Generic1 (Either a)Defined in strict-0.5.1 · Data.Strict.Either
Functor (Either a)Defined in strict-0.5.1 · Data.Strict.Either
Foldable (Either e)Defined in strict-0.5.1 · Data.Strict.Either
Traversable (Either e)Defined in strict-0.5.1 · Data.Strict.Either
Eq a => Eq1 (Either a)Defined in strict-0.5.1 · Data.Strict.Either
Ord a => Ord1 (Either a)Defined in strict-0.5.1 · Data.Strict.Either
Read a => Read1 (Either a)Defined in strict-0.5.1 · Data.Strict.Either
Show a => Show1 (Either a)Defined in strict-0.5.1 · Data.Strict.Either
NFData a => NFData1 (Either a)Defined in strict-0.5.1 · Data.Strict.Either
Hashable a => Hashable1 (Either a)Defined in strict-0.5.1 · Data.Strict.Either
(Eq a, Eq b) => Eq (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
(Data a, Data b) => Data (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
(Ord a, Ord b) => Ord (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
(Read a, Read b) => Read (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
(Show a, Show b) => Show (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
Generic (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
Semigroup (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
(NFData a, NFData b) => NFData (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
(Binary a, Binary b) => Binary (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
(Hashable a, Hashable b) => Hashable (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
Strict (Either a b) (Either a b)Defined in strict-0.5.1 · Data.Strict.Classes
type Rep (Either a b) = D1 ('MetaData "Either" "Data.Strict.Either" "strict-0.5.1-64MWKub7QYHJw6ds3dF7cz" 'False) (C1 ('MetaCons "Left" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "Right" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)))Defined in strict-0.5.1 · Data.Strict.Either
type Rep1 (Either a) = D1 ('MetaData "Either" "Data.Strict.Either" "strict-0.5.1-64MWKub7QYHJw6ds3dF7cz" 'False) (C1 ('MetaCons "Left" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "Right" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))Defined in strict-0.5.1 · Data.Strict.Either

datadata Maybe a

Constructors

Nothing
Just !a

Instances24Functor, Foldable, Traversable, Eq1, Ord1, Read1, …

Functor MaybeDefined in strict-0.5.1 · Data.Strict.Maybe
Foldable MaybeDefined in strict-0.5.1 · Data.Strict.Maybe
Traversable MaybeDefined in strict-0.5.1 · Data.Strict.Maybe
Eq1 MaybeDefined in strict-0.5.1 · Data.Strict.Maybe
Ord1 MaybeDefined in strict-0.5.1 · Data.Strict.Maybe
Read1 MaybeDefined in strict-0.5.1 · Data.Strict.Maybe
Show1 MaybeDefined in strict-0.5.1 · Data.Strict.Maybe
NFData1 MaybeDefined in strict-0.5.1 · Data.Strict.Maybe
Hashable1 MaybeDefined in strict-0.5.1 · Data.Strict.Maybe
Generic1 MaybeDefined in strict-0.5.1 · Data.Strict.Maybe
Eq a => Eq (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Data a => Data (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Ord a => Ord (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Read a => Read (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Show a => Show (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Generic (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Semigroup a => Semigroup (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Semigroup a => Monoid (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
NFData a => NFData (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Binary a => Binary (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Hashable a => Hashable (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Strict (Maybe a) (Maybe a)Defined in strict-0.5.1 · Data.Strict.Classes
type Rep (Maybe a) = D1 ('MetaData "Maybe" "Data.Strict.Maybe" "strict-0.5.1-64MWKub7QYHJw6ds3dF7cz" 'False) (C1 ('MetaCons "Nothing" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Just" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))Defined in strict-0.5.1 · Data.Strict.Maybe
type Rep1 Maybe = D1 ('MetaData "Maybe" "Data.Strict.Maybe" "strict-0.5.1-64MWKub7QYHJw6ds3dF7cz" 'False) (C1 ('MetaCons "Nothing" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Just" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))Defined in strict-0.5.1 · Data.Strict.Maybe

datadata These a b

Constructors

This !a
That !b
These !a !b

Instances36Bifoldable, Bifunctor, Bitraversable, Eq2, Ord2, Read2, …

Bifoldable TheseDefined in strict-0.5.1 · Data.Strict.These
Bifunctor TheseDefined in strict-0.5.1 · Data.Strict.These
Bitraversable TheseDefined in strict-0.5.1 · Data.Strict.These
Eq2 TheseDefined in strict-0.5.1 · Data.Strict.These
Ord2 TheseDefined in strict-0.5.1 · Data.Strict.These
Read2 TheseDefined in strict-0.5.1 · Data.Strict.These
Show2 TheseDefined in strict-0.5.1 · Data.Strict.These
NFData2 TheseDefined in strict-0.5.1 · Data.Strict.These
Hashable2 TheseDefined in strict-0.5.1 · Data.Strict.These
Assoc TheseDefined in strict-0.5.1 · Data.Strict.These
Swap TheseDefined in strict-0.5.1 · Data.Strict.These
Generic1 (These a)Defined in strict-0.5.1 · Data.Strict.These
Semigroup a => Monad (These a)Defined in strict-0.5.1 · Data.Strict.These
Functor (These a)Defined in strict-0.5.1 · Data.Strict.These
Semigroup a => Applicative (These a)Defined in strict-0.5.1 · Data.Strict.These
Foldable (These a)Defined in strict-0.5.1 · Data.Strict.These
Traversable (These a)Defined in strict-0.5.1 · Data.Strict.These
Eq a => Eq1 (These a)Defined in strict-0.5.1 · Data.Strict.These
Ord a => Ord1 (These a)Defined in strict-0.5.1 · Data.Strict.These
Read a => Read1 (These a)Defined in strict-0.5.1 · Data.Strict.These
Show a => Show1 (These a)Defined in strict-0.5.1 · Data.Strict.These
NFData a => NFData1 (These a)Defined in strict-0.5.1 · Data.Strict.These
Hashable a => Hashable1 (These a)Defined in strict-0.5.1 · Data.Strict.These
(Eq a, Eq b) => Eq (These a b)Defined in strict-0.5.1 · Data.Strict.These
(Data a, Data b) => Data (These a b)Defined in strict-0.5.1 · Data.Strict.These
(Ord a, Ord b) => Ord (These a b)Defined in strict-0.5.1 · Data.Strict.These
(Read a, Read b) => Read (These a b)Defined in strict-0.5.1 · Data.Strict.These
(Show a, Show b) => Show (These a b)Defined in strict-0.5.1 · Data.Strict.These
Generic (These a b)Defined in strict-0.5.1 · Data.Strict.These
(Semigroup a, Semigroup b) => Semigroup (These a b)Defined in strict-0.5.1 · Data.Strict.These
(NFData a, NFData b) => NFData (These a b)Defined in strict-0.5.1 · Data.Strict.These
(Binary a, Binary b) => Binary (These a b)Defined in strict-0.5.1 · Data.Strict.These
(Hashable a, Hashable b) => Hashable (These a b)Defined in strict-0.5.1 · Data.Strict.These
Strict (These a b) (These a b)Defined in strict-0.5.1 · Data.Strict.Classes
type Rep (These a b) = D1 ('MetaData "These" "Data.Strict.These" "strict-0.5.1-64MWKub7QYHJw6ds3dF7cz" 'False) (C1 ('MetaCons "This" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "That" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)) :+: C1 ('MetaCons "These" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b))))Defined in strict-0.5.1 · Data.Strict.These
type Rep1 (These a) = D1 ('MetaData "These" "Data.Strict.These" "strict-0.5.1-64MWKub7QYHJw6ds3dF7cz" 'False) (C1 ('MetaCons "This" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "That" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1) :+: C1 ('MetaCons "These" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)))Defined in strict-0.5.1 · Data.Strict.These

typetype (:!:) = Pair

datadata Pair a b

Constructors

a :!: binfix 2

Instances37Bifoldable, Bifunctor, Bitraversable, Eq2, Ord2, Read2, …

Bifoldable PairDefined in strict-0.5.1 · Data.Strict.Tuple
Bifunctor PairDefined in strict-0.5.1 · Data.Strict.Tuple
Bitraversable PairDefined in strict-0.5.1 · Data.Strict.Tuple
Eq2 PairDefined in strict-0.5.1 · Data.Strict.Tuple
Ord2 PairDefined in strict-0.5.1 · Data.Strict.Tuple
Read2 PairDefined in strict-0.5.1 · Data.Strict.Tuple
Show2 PairDefined in strict-0.5.1 · Data.Strict.Tuple
NFData2 PairDefined in strict-0.5.1 · Data.Strict.Tuple
Hashable2 PairDefined in strict-0.5.1 · Data.Strict.Tuple
Assoc PairDefined in strict-0.5.1 · Data.Strict.Tuple
Swap PairDefined in strict-0.5.1 · Data.Strict.Tuple
Generic1 (Pair a)Defined in strict-0.5.1 · Data.Strict.Tuple
Functor (Pair e)Defined in strict-0.5.1 · Data.Strict.Tuple
Foldable (Pair e)Defined in strict-0.5.1 · Data.Strict.Tuple
Traversable (Pair e)Defined in strict-0.5.1 · Data.Strict.Tuple
Eq a => Eq1 (Pair a)Defined in strict-0.5.1 · Data.Strict.Tuple
Ord a => Ord1 (Pair a)Defined in strict-0.5.1 · Data.Strict.Tuple
Read a => Read1 (Pair a)Defined in strict-0.5.1 · Data.Strict.Tuple
Show a => Show1 (Pair a)Defined in strict-0.5.1 · Data.Strict.Tuple
NFData a => NFData1 (Pair a)Defined in strict-0.5.1 · Data.Strict.Tuple
Hashable a => Hashable1 (Pair a)Defined in strict-0.5.1 · Data.Strict.Tuple
(Bounded a, Bounded b) => Bounded (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Eq a, Eq b) => Eq (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Data a, Data b) => Data (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Ord a, Ord b) => Ord (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Read a, Read b) => Read (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Show a, Show b) => Show (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Ix a, Ix b) => Ix (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
Generic (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Semigroup a, Semigroup b) => Semigroup (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Monoid a, Monoid b) => Monoid (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(NFData a, NFData b) => NFData (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Binary a, Binary b) => Binary (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Hashable a, Hashable b) => Hashable (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
Strict (a, b) (Pair a b)Defined in strict-0.5.1 · Data.Strict.Classes
type Rep (Pair a b) = D1 ('MetaData "Pair" "Data.Strict.Tuple" "strict-0.5.1-64MWKub7QYHJw6ds3dF7cz" 'False) (C1 ('MetaCons ":!:" ('InfixI 'NotAssociative 2) 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)))Defined in strict-0.5.1 · Data.Strict.Tuple
type Rep1 (Pair a) = D1 ('MetaData "Pair" "Data.Strict.Tuple" "strict-0.5.1-64MWKub7QYHJw6ds3dF7cz" 'False) (C1 ('MetaCons ":!:" ('InfixI 'NotAssociative 2) 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))Defined in strict-0.5.1 · Data.Strict.Tuple