License | BSD-style (see the file LICENSE) |
---|---|
Maintainer | sjoerd@w3future.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
Category (f (Fix f)) => Category (Fix f) Source # |
|
HasBinaryCoproducts (f (Fix f)) => HasBinaryCoproducts (Fix f) Source # |
|
HasBinaryProducts (f (Fix f)) => HasBinaryProducts (Fix f) Source # |
|
HasInitialObject (f (Fix f)) => HasInitialObject (Fix f) Source # |
|
HasTerminalObject (f (Fix f)) => HasTerminalObject (Fix f) Source # |
|
CartesianClosed (f (Fix f)) => CartesianClosed (Fix f) Source # |
|
type InitialObject (Fix f) Source # | |
type TerminalObject (Fix f) Source # | |
type BinaryCoproduct (Fix f) a b Source # | |
type BinaryProduct (Fix f) a b Source # | |
type Exponential (Fix f) a b Source # | |