Copyright	(c) Hisaket VioletRed 2022
License	AGPL-3.0-or-later
Maintainer	hisaket@outlook.jp
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Polysemy.Env

Description

Synopsis

data Env i m a where
- 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
runEnvConst :: i -> Sem (Env i ': r) a -> Sem r a

Documentation

data Env i m a where Source #

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 Source #

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

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 Source #

Runs an Env effect.