hgeometry-0.6.0.0: Geometric Algorithms, Data structures, and Data types.

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 #
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) Source #
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) Source #
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) Source #
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 #
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 #
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 #
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 #
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 #
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) Source #
Methods (==) :: SP a b -> SP a b -> Bool # (/=) :: SP a b -> SP a b -> Bool #
(Ord b, Ord a) => Ord (SP a b) Source #
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) Source #
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 #
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 Source #
Methods _1 :: Lens (SP a b) (SP c b) a c #
Field2 (SP a b) (SP a c) b c Source #
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