Safe Haskell	None
Language	Haskell2010

Control.Category.Const2

Documentation

newtype Const2 a b c Source #

Constructors

Instances

(Semigroup a, Monoid a) => Category k (Const2 k k a) Source #
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c #
(Semigroup a, Group a) => Groupoid k (Const2 k k a) Source #
Methods invert :: k a b -> k b a Source #
Semigroup a => Semigroup (Const2 k1 k2 a b c) Source #
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) Source #
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) Source #
Methods invert :: Const2 k1 k2 a b c -> Const2 k1 k2 a b c #