Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
Documentation
f1 :+++: f2 |
data CodiagCoprod (~>) Source
Category ~> => Functor (CodiagCoprod ~>) |
|
Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
f1 :+++: f2 |
data CodiagCoprod (~>) Source
Category ~> => Functor (CodiagCoprod ~>) |
|