Control.Monad.IdentityX

Documentation

newtype IdentityX ix a

Constructors

IdentityX

Fields

runIdentityX :: a

Instances

Index ix => Monad (IdentityX ix)

Index ix => Functor (IdentityX ix)

Index ix => MonadFix (IdentityX ix)

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

module Control.Monad

module Control.Monad.Fix

module Control.Monad.Index