effectful-0.0.0.0: A simple, yet powerful extensible effects library.
Safe HaskellNone
LanguageHaskell2010

Effectful.Internal.Has

Description

Type-safe indexing for Env.

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

Synopsis

Documentation

type Effect = Type Source #

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

Instances

Instances details
e :> es => e :> (x ': es) Source # 
Instance details

Defined in Effectful.Internal.Has

Methods

ixOf :: Int

e :> (e ': es) Source # 
Instance details

Defined in Effectful.Internal.Has

Methods

ixOf :: Int

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

Get position of e in the Env.