effectful-core-2.3.0.0: An easy to use, performant extensible effects library.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Effectful.Internal.Env

Synopsis

The environment

data Env (es :: [Effect]) Source #

A strict (WHNF), thread local, mutable, extensible record indexed by types of kind Effect.

Warning: the environment is a mutable data structure and cannot be simultaneously used from multiple threads under any circumstances.

In order to pass it to a different thread, you need to perform a deep copy with the cloneEnv funtion.

Offers very good performance characteristics for most often performed operations:

  • Extending: O(n), where n is the size of the effect stack.
  • Shrinking: O(1).
  • Indexing via (:>): O(1)
  • Modification of a specific element: O(1).
  • Getting a tail: O(1).
  • Cloning: O(N), where N is the size of the Storage.

Constructors

Env 

Relinker

newtype Relinker :: (Effect -> Type) -> Effect -> Type where Source #

A function for relinking Env objects stored in the handlers and/or making a deep copy of the representation of the effect when cloning the environment.

Constructors

Relinker :: ((forall es. Env es -> IO (Env es)) -> rep e -> IO (rep e)) -> Relinker rep e 

Dispatch

data Dispatch Source #

A type of dispatch. For more information consult the documentation in Effectful.Dispatch.Dynamic and Effectful.Dispatch.Static.

Constructors

Dynamic 
Static SideEffects 

data SideEffects Source #

Signifies whether core operations of a statically dispatched effect perform side effects. If an effect is marked as such, the runStaticRep family of functions will require the IOE effect to be in context via the MaybeIOE type family.

type family DispatchOf (e :: Effect) :: Dispatch Source #

Dispatch types of effects.

Instances

Instances details
type DispatchOf Fail Source # 
Instance details

Defined in Effectful.Internal.Monad

type DispatchOf IOE Source # 
Instance details

Defined in Effectful.Internal.Monad

type DispatchOf NonDet Source # 
Instance details

Defined in Effectful.Internal.Monad

type DispatchOf Prim Source # 
Instance details

Defined in Effectful.Internal.Monad

type DispatchOf (Error e) Source # 
Instance details

Defined in Effectful.Error.Dynamic

type DispatchOf (Error e) Source # 
Instance details

Defined in Effectful.Error.Static

type DispatchOf (Reader r) Source # 
Instance details

Defined in Effectful.Reader.Dynamic

type DispatchOf (Reader r) Source # 
Instance details

Defined in Effectful.Reader.Static

type DispatchOf (State s) Source # 
Instance details

Defined in Effectful.State.Dynamic

type DispatchOf (State s) Source # 
Instance details

Defined in Effectful.State.Static.Local

type DispatchOf (State s) Source # 
Instance details

Defined in Effectful.State.Static.Shared

type DispatchOf (Writer w) Source # 
Instance details

Defined in Effectful.Writer.Dynamic

type DispatchOf (Writer w) Source # 
Instance details

Defined in Effectful.Writer.Static.Local

type DispatchOf (Writer w) Source # 
Instance details

Defined in Effectful.Writer.Static.Shared

type DispatchOf (Labeled label e) Source # 
Instance details

Defined in Effectful.Labeled

type DispatchOf (Provider e input f) Source # 
Instance details

Defined in Effectful.Provider

type family EffectRep (d :: Dispatch) :: Effect -> Type Source #

Internal representations of effects.

Instances

Instances details
type EffectRep 'Dynamic Source # 
Instance details

Defined in Effectful.Internal.Monad

type EffectRep ('Static sideEffects) Source # 
Instance details

Defined in Effectful.Internal.Monad

type EffectRep ('Static sideEffects) = StaticRep

Operations

emptyEnv :: IO (Env '[]) Source #

Create an empty environment.

cloneEnv :: Env es -> IO (Env es) Source #

Clone the environment to use it in a different thread.

restoreEnv Source #

Arguments

:: Env es

Destination.

-> Env es

Source.

-> IO () 

Restore the environment from its clone.

Since: 2.2.0.0

sizeEnv :: Env es -> IO Int Source #

Get the current size of the environment.

tailEnv :: Env (e ': es) -> IO (Env es) Source #

Access the tail of the environment.

Modification of the effect stack

consEnv Source #

Arguments

:: EffectRep (DispatchOf e) e

The representation of the effect.

-> Relinker (EffectRep (DispatchOf e)) e 
-> Env es 
-> IO (Env (e ': es)) 

Extend the environment with a new data type.

unconsEnv :: Env (e ': es) -> IO () Source #

Shrink the environment by one data type.

Note: after calling this function e from the input environment is no longer usable.

replaceEnv Source #

Arguments

:: forall e es. e :> es 
=> EffectRep (DispatchOf e) e

The representation of the effect.

-> Relinker (EffectRep (DispatchOf e)) e 
-> Env es 
-> IO (Env es) 

Replace a specific effect in the stack with a new value.

Note: unlike in putEnv the value in not changed in place, so only the new environment will see it.

unreplaceEnv :: forall e es. e :> es => Env es -> IO () Source #

Remove a reference to the replaced effect.

Note: after calling this function the input environment is no longer usable.

subsumeEnv :: forall e es. e :> es => Env es -> IO (Env (e ': es)) Source #

Reference an existing effect from the top of the stack.

injectEnv :: forall xs es. Subset xs es => Env es -> IO (Env xs) Source #

Construct an environment containing a permutation (with possible duplicates) of a subset of effects from the input environment.

Data retrieval and update

getEnv Source #

Arguments

:: forall e es. e :> es 
=> Env es

The environment.

-> IO (EffectRep (DispatchOf e) e) 

Extract a specific data type from the environment.

putEnv Source #

Arguments

:: forall e es. e :> es 
=> Env es

The environment.

-> EffectRep (DispatchOf e) e 
-> IO () 

Replace the data type in the environment with a new value (in place).

stateEnv Source #

Arguments

:: forall e es a. e :> es 
=> Env es

The environment.

-> (EffectRep (DispatchOf e) e -> IO (a, EffectRep (DispatchOf e) e)) 
-> IO a 

Modify the data type in the environment and return a value (in place).

modifyEnv Source #

Arguments

:: forall e es. e :> es 
=> Env es

The environment.

-> (EffectRep (DispatchOf e) e -> IO (EffectRep (DispatchOf e) e)) 
-> IO () 

Modify the data type in the environment (in place).