Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Data type of morphisms |
T a |
Data type denoting either a morphisms with source and target types, or identity |
Safe Haskell | None |
---|---|
Language | Haskell98 |
Data type of morphisms |
T a |
Data type denoting either a morphisms with source and target types, or identity |