Polysemy.Env

Documentation

data Env i m a where

Variant of Input effect that has no side effects.

Constructors

Env :: Env i m i

env :: forall i r. Member (Env i) r => Sem r i

inputToEnv :: Member (Env i) r => Sem (Input i ': r) a -> Sem r a

Transforms an Input effect into an Env effect. Note that "askToInput" of inverted version is not provided because an Env effect is specialized version of an Input effect.

runEnvConst :: i -> Sem (Env i ': r) a -> Sem r a

Runs an Env effect.