category-0.2.4.1: Categorical types and classes

Safe HaskellNone
LanguageHaskell2010

Control.Category.Const2

Synopsis

Documentation

newtype Const2 a b c Source #

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

Constructors

Const2 a 
Instances
(Semigroup a, Monoid a) => Category (Const2 a :: k -> k -> Type) Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Category.Const2

Methods

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

Semigroup a => Semigroup (Const2 a b c) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Category.Const2

Methods

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