Safe Haskell	None
Language	Haskell2010

Data.Util

Synopsis

Documentation

data STR a b c Source #

strict triple

Constructors

STR
Fields fst' :: !a snd' :: !b trd' :: !c

Instances

Functor (STR a b) Source #
Instance details Defined in Data.Util Methods fmap :: (a0 -> b0) -> STR a b a0 -> STR a b b0 # (<$) :: a0 -> STR a b b0 -> STR a b a0 #
(Eq a, Eq b, Eq c) => Eq (STR a b c) Source #
Instance details Defined in Data.Util Methods (==) :: STR a b c -> STR a b c -> Bool # (/=) :: STR a b c -> STR a b c -> Bool #
(Ord a, Ord b, Ord c) => Ord (STR a b c) Source #
Instance details Defined in Data.Util Methods compare :: STR a b c -> STR a b c -> Ordering # (<) :: STR a b c -> STR a b c -> Bool # (<=) :: STR a b c -> STR a b c -> Bool # (>) :: STR a b c -> STR a b c -> Bool # (>=) :: STR a b c -> STR a b c -> Bool # max :: STR a b c -> STR a b c -> STR a b c # min :: STR a b c -> STR a b c -> STR a b c #
(Show a, Show b, Show c) => Show (STR a b c) Source #
Instance details Defined in Data.Util Methods showsPrec :: Int -> STR a b c -> ShowS # show :: STR a b c -> String # showList :: [STR a b c] -> ShowS #
Field1 (STR a b c) (STR d b c) a d Source #
Instance details Defined in Data.Util Methods _1 :: Lens (STR a b c) (STR d b c) a d #
Field2 (STR a b c) (STR a d c) b d Source #
Instance details Defined in Data.Util Methods _2 :: Lens (STR a b c) (STR a d c) b d #
Field3 (STR a b c) (STR a b d) c d Source #
Instance details Defined in Data.Util Methods _3 :: Lens (STR a b c) (STR a b d) c d #

data SP a b Source #

Strict pair

Constructors

SP !a !b

Instances

Bifunctor SP Source #
Instance details Defined in Data.Util Methods bimap :: (a -> b) -> (c -> d) -> SP a c -> SP b d # first :: (a -> b) -> SP a c -> SP b c # second :: (b -> c) -> SP a b -> SP a c #
Functor (SP a) Source #
Instance details Defined in Data.Util Methods fmap :: (a0 -> b) -> SP a a0 -> SP a b # (<$) :: a0 -> SP a b -> SP a a0 #
(Eq a, Eq b) => Eq (SP a b) Source #
Instance details Defined in Data.Util Methods (==) :: SP a b -> SP a b -> Bool # (/=) :: SP a b -> SP a b -> Bool #
(Ord a, Ord b) => Ord (SP a b) Source #
Instance details Defined in Data.Util Methods compare :: SP a b -> SP a b -> Ordering # (<) :: SP a b -> SP a b -> Bool # (<=) :: SP a b -> SP a b -> Bool # (>) :: SP a b -> SP a b -> Bool # (>=) :: SP a b -> SP a b -> Bool # max :: SP a b -> SP a b -> SP a b # min :: SP a b -> SP a b -> SP a b #
(Show a, Show b) => Show (SP a b) Source #
Instance details Defined in Data.Util Methods showsPrec :: Int -> SP a b -> ShowS # show :: SP a b -> String # showList :: [SP a b] -> ShowS #
(Semigroup a, Semigroup b) => Semigroup (SP a b) Source #
Instance details Defined in Data.Util Methods (<>) :: SP a b -> SP a b -> SP a b # sconcat :: NonEmpty (SP a b) -> SP a b # stimes :: Integral b0 => b0 -> SP a b -> SP a b #
Field1 (SP a b) (SP c b) a c Source #
Instance details Defined in Data.Util Methods _1 :: Lens (SP a b) (SP c b) a c #
Field2 (SP a b) (SP a c) b c Source #
Instance details Defined in Data.Util Methods _2 :: Lens (SP a b) (SP a c) b c #

type Two a = SP a a Source #

Strict pair with both items the same