Control.Coeffect.Coreader

Documentation

data IxCoreader s a

Constructors

IxR

Fields

runCoreader :: (a, Set s)

Instances

CoeffectZip [*] IxCoreader

Coeffect [*] IxCoreader

type Unit [*] IxCoreader = [] *

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

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

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

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

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