Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
extract :: c (Unit c) a -> a Source
extend :: Inv c s t => (c t a -> b) -> c (Plus c s t) a -> c s b Source
Coeffect [*] IxCoreader |
class CoeffectZip c where Source
type CzipInv c s t :: Constraint Source