Modulepolysemy-1.9.2.0

Polysemy.Reader

valueask :: Member (Reader i) r => Sem r i

valueasks :: Member (Reader i) r => (i -> j) -> Sem r j

valueinputToReader :: Member (Reader i) r => Sem (Input i ': r) a -> Sem r a

valuelocal :: Member (Reader i) r => (i -> i) -> Sem r a -> Sem r a

valuerunReader :: i -> Sem (Reader i ': r) a -> Sem r a

datadata Reader i (m :: Type -> Type) a where