Control.Coeffect.Coreader

Documentation

data IxCoreader (s :: [Mapping Symbol *]) a

Provides 'reader monad'-like behaviour but as a comonad, using an indexed version of the product comonad

Constructors

IxR

Fields

• runCoreader :: (a, Map s)

Instances

CoeffectZip [Mapping Symbol *] IxCoreader

Associated Types

type Meet IxCoreader (c :: IxCoreader -> * -> *) (s :: IxCoreader) (t :: IxCoreader) :: k

type CzipInv IxCoreader (c :: IxCoreader -> * -> *) (s :: IxCoreader) (t :: IxCoreader) :: Constraint

Methods

czip :: CzipInv IxCoreader c s t => c s a -> c t b -> c (Meet IxCoreader c s t) (a, b)

Coeffect [Mapping Symbol *] IxCoreader

Associated Types

type Inv IxCoreader (c :: IxCoreader -> * -> *) (s :: IxCoreader) (t :: IxCoreader) :: Constraint

type Unit IxCoreader (c :: IxCoreader -> * -> *) :: k

type Plus IxCoreader (c :: IxCoreader -> * -> *) (s :: IxCoreader) (t :: IxCoreader) :: k

Methods

extract :: c (Unit IxCoreader c) a -> a

extend :: Inv IxCoreader c s t => (c t a -> b) -> c (Plus IxCoreader c s t) a -> c s b

type Unit [Mapping Symbol *] IxCoreader

type Unit [Mapping Symbol *] IxCoreader = [] (Mapping Symbol *)

type Meet [Mapping Symbol *] IxCoreader s t

type Meet [Mapping Symbol *] IxCoreader s t = Union Symbol * s t

type CzipInv [Mapping Symbol *] IxCoreader s t

type CzipInv [Mapping Symbol *] IxCoreader s t = Unionable s t

type Inv [Mapping Symbol *] IxCoreader s t

type Inv [Mapping Symbol *] IxCoreader s t = (Unionable s t, Split s t (Union Symbol * s t))

type Plus [Mapping Symbol *] IxCoreader s t

type Plus [Mapping Symbol *] IxCoreader s t = Union Symbol * s t

ask :: Var v -> IxCoreader '[v :-> a] b -> a

ask for the value of variable v, e.g., 'ask (Var::(Var "x"))'