Modulestrict-0.5.1

Data.Strict

5 types
1 class
35 values

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-FQfYofM7CXgJvcBr3PmlD3" '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-FQfYofM7CXgJvcBr3PmlD3" '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-FQfYofM7CXgJvcBr3PmlD3" '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-FQfYofM7CXgJvcBr3PmlD3" '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-FQfYofM7CXgJvcBr3PmlD3" '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-FQfYofM7CXgJvcBr3PmlD3" '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-FQfYofM7CXgJvcBr3PmlD3" '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-FQfYofM7CXgJvcBr3PmlD3" '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