Data.Util

Documentation

data STR a b c

strict triple

Constructors

STR

Fields

• fst' :: !a
• snd' :: !b
• trd' :: !c

Instances

Functor (STR a b)

Methods

fmap :: (a -> b) -> STR a b a -> STR a b b

(<$) :: a -> STR a b b -> STR a b a

(Eq c, Eq b, Eq a) => Eq (STR a b c)

Methods

(==) :: STR a b c -> STR a b c -> Bool

(/=) :: STR a b c -> STR a b c -> Bool

(Ord c, Ord b, Ord a) => Ord (STR a b c)

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 c, Show b, Show a) => Show (STR a b c)

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

Methods

_1 :: Lens (STR a b c) (STR d b c) a d

Field2 (STR a b c) (STR a d c) b d

Methods

_2 :: Lens (STR a b c) (STR a d c) b d

Field3 (STR a b c) (STR a b d) c d

Methods

_3 :: Lens (STR a b c) (STR a b d) c d

data SP a b

Strict pair

Constructors

SP !a !b

Instances

Bifunctor SP

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)

Methods

fmap :: (a -> b) -> SP a a -> SP a b

(<$) :: a -> SP a b -> SP a a

(Eq b, Eq a) => Eq (SP a b)

Methods

(==) :: SP a b -> SP a b -> Bool

(/=) :: SP a b -> SP a b -> Bool

(Ord b, Ord a) => Ord (SP a b)

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 b, Show a) => Show (SP a b)

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)

Methods

(<>) :: SP a b -> SP a b -> SP a b

sconcat :: NonEmpty (SP a b) -> SP a b

stimes :: Integral b => b -> SP a b -> SP a b

Field1 (SP a b) (SP c b) a c

Methods

_1 :: Lens (SP a b) (SP c b) a c

Field2 (SP a b) (SP a c) b c

Methods

_2 :: Lens (SP a b) (SP a c) b c

type Two a = SP a a

Strict pair with both items the same