Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proarrow.Object.Initial
Documentation
class (CategoryOf k, Ob (InitialObject :: k)) => HasInitialObject k where Source Comments #
Associated Types
type InitialObject :: k Source Comments #
Instances
initiate' :: forall {k} (a' :: k) (a :: k). HasInitialObject k => (a' ~> a) -> (InitialObject :: k) ~> a Source Comments #