Control.Category.Const2

Documentation

newtype Const2 a b c

Notes: Const2 '()' is the indiscrete category.

Constructors

Const2 a

Instances

(Semigroup a, Monoid a) => Category (Const2 a :: k -> k -> Type)

Defined in Control.Category.Const2

Methods

id :: Const2 a a0 a0

(.) :: Const2 a b c -> Const2 a a0 b -> Const2 a a0 c

(Semigroup a, Group a) => Groupoid (Const2 a :: k -> k -> Type)

Defined in Control.Category.Const2

Methods

invert :: Const2 a a0 b -> Const2 a b a0

Semigroup a => Semigroup (Const2 a b c)

Defined in Control.Category.Const2

Methods

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

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

stimes :: Integral b0 => b0 -> Const2 a b c -> Const2 a b c

Monoid a => Monoid (Const2 a b c)

Defined in Control.Category.Const2

Methods

mempty :: Const2 a b c

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

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

Group a => Group (Const2 a b c)

Defined in Control.Category.Const2

Methods

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