Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
Safe Haskell | Safe-Inferred |
Comma categories.
Documentation
type ObjectsFUnder f a = ConstF f a :/\: fSource
type ObjectsFOver f a = f :/\: ConstF f aSource
type ObjectsUnder c a = Id c `ObjectsFUnder` aSource
type ObjectsOver c a = Id c `ObjectsFOver` aSource
initialUniversalComma :: forall u x c a a_. (Functor u, c ~ (u `ObjectsFUnder` x), HasInitialObject c, (a_, a) ~ InitialObject c) => u -> InitialUniversal x u aSource
terminalUniversalComma :: forall u x c a a_. (Functor u, c ~ (u `ObjectsFOver` x), HasTerminalObject c, (a, a_) ~ TerminalObject c) => u -> TerminalUniversal x u aSource