Effectful.Internal.Has

Type-safe indexing for Env.

This module is intended for internal use only, and may change without warning in subsequent releases.

Documentation

type Effect = Type

class (e :: Effect) :> (es :: [Effect])

Instances

e :> es => e :> (x ': es)

Defined in Effectful.Internal.Has

Methods

ixOf :: Int

e :> (e ': es)

Defined in Effectful.Internal.Has

Methods

ixOf :: Int

ixEnv :: forall e es. e :> es => Int -> Int

Get position of e in the Env.