Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
Safe Haskell | Safe-Inferred |
Documentation
Category (f (Fix f)) => Category (Fix f) |
|
(Category (Fix f), HasBinaryCoproducts (f (Fix f))) => HasBinaryCoproducts (Fix f) |
|
(Category (Fix f), HasBinaryProducts (f (Fix f))) => HasBinaryProducts (Fix f) |
|
(Category (Fix f), HasInitialObject (f (Fix f))) => HasInitialObject (Fix f) |
|
(Category (Fix f), HasTerminalObject (f (Fix f))) => HasTerminalObject (Fix f) |
|