Control.Category.Const2

Documentation

newtype Const2 a b c

Constructors

Const2 a

Instances

(Semigroup a, Monoid a) => Category k (Const2 k k a)

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

(Semigroup a, Group a) => Groupoid k (Const2 k k a)

Methods

invert :: k a b -> k b a

Semigroup a => Semigroup (Const2 k1 k2 a b c)

Methods

(<>) :: Const2 k1 k2 a b c -> Const2 k1 k2 a b c -> Const2 k1 k2 a b c

sconcat :: NonEmpty (Const2 k1 k2 a b c) -> Const2 k1 k2 a b c

stimes :: Integral b => b -> Const2 k1 k2 a b c -> Const2 k1 k2 a b c

Monoid a => Monoid (Const2 k1 k2 a b c)

Methods

mempty :: Const2 k1 k2 a b c

mappend :: Const2 k1 k2 a b c -> Const2 k1 k2 a b c -> Const2 k1 k2 a b c

mconcat :: [Const2 k1 k2 a b c] -> Const2 k1 k2 a b c

Group a => Group (Const2 k1 k2 a b c)

Methods

invert :: Const2 k1 k2 a b c -> Const2 k1 k2 a b c