Control.Monad.IdentityX

Documentation

data Index ix => IdentityX ix a

Constructors

IdentityX ix a

Instances

Index ix => Monad (IdentityX ix)

Index ix => Functor (IdentityX ix)

Index ix => MonadFix (IdentityX ix)

runIdentityX :: Index ix => ix -> IdentityX ix a -> a

module Control.Monad

module Control.Monad.Fix

module Control.Monad.Index