cifl-math-library-1.1.1.0: Math libraries
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.Tools.Identity

Documentation

reduce_first :: (I :*: g) :~> g Source #

reduce_second :: Functor f => (f :*: I) :~> f Source #

counit_trans :: Adjunction f g => (f :*: g) :~> I Source #

unit_trans :: Adjunction f g => I :~> (g :*: f) Source #

Orphan instances

Group I Source # 
Instance details

Methods

greturn :: top -> I top

gjoin :: I (I top) -> I top

glift :: (a -> b) -> a -> I b

gbind :: (a -> I b) -> I a -> I b

PpShow a => PpShow (I a) Source # 
Instance details

Methods

pp :: I a -> Doc Source #