Control.IMonad.Restrict

Restriction

data (a := i) j

type R m i j a

returnR

(!>=)

Functions

fmapR

(<!>)

(<.>)

(=<!)

(!>)

(>!>)

(<!<)

joinR

voidR

foreverR

mapMR

mapMR_

forMR

forMR_

replicateMR

replicateMR_

sequenceR

sequenceR_

whenR

unlessR

Interoperability

data U m a i

u

data D i m r