Safe Haskell | None |
---|---|
Language | Haskell98 |
- data IxCoreader (s :: [Mapping Symbol *]) a = IxR {
- runCoreader :: (a, Map s)
- ask :: Var v -> IxCoreader '[v :-> a] b -> a
Documentation
data IxCoreader (s :: [Mapping Symbol *]) a Source #
Provides 'reader monad'-like behaviour but as a comonad, using an indexed version of the product comonad
IxR | |
|
CoeffectZip [Mapping Symbol *] IxCoreader Source # | |
Coeffect [Mapping Symbol *] IxCoreader Source # | |
type Unit [Mapping Symbol *] IxCoreader Source # | |
type Meet [Mapping Symbol *] IxCoreader s t Source # | |
type CzipInv [Mapping Symbol *] IxCoreader s t Source # | |
type Inv [Mapping Symbol *] IxCoreader s t Source # | |
type Plus [Mapping Symbol *] IxCoreader s t Source # | |