mtlx-0.1.5: Monad transformer library with type indexes, providing 'free' copies.

Control.Monad.IdentityX

Documentation

newtype IdentityX ix a Source

Constructors

IdentityX 

Fields

runIdentityX' :: a
 

Instances

Index ix => Monad (IdentityX ix) 
Index ix => Functor (IdentityX ix) 
Index ix => MonadFix (IdentityX ix) 

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

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

module Control.Monad

module Control.Monad.Fix

module Control.Monad.Index