Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proarrow.Category.Instance.Linear
Documentation
Instances
data Linear (a :: LINEAR) (b :: LINEAR) where Source Comments #
data Forget (a :: LINEAR) b where Source Comments #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proarrow.Category.Instance.Linear
data Linear (a :: LINEAR) (b :: LINEAR) where Source Comments #
data Forget (a :: LINEAR) b where Source Comments #