| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
TerminalMorphism
Documentation
class (Functor f (KProxy :: KProxy (o1 -> o2)), Object (Domain f) a, Object (Codomain f) x) => TerminalMorphism f a x where Source
Methods
terminalMorphism :: Tagged `(f, a)` (Codomain f (FMap f a) x) Source
terminalFactorization :: Object (Domain f) y => Tagged f (Codomain f (FMap f y) x -> Domain f y a) Source
Instances
| TerminalMorphism * ((,) * *) (Diag * (->)) (a, b) ((,) * * a b) | |
| TerminalMorphism Constraint ((,) Constraint Constraint) (Diag Constraint (:-)) (a, b) ((,) Constraint Constraint a b) |