MonadLib

# Types

data Id a

data Lift a

data IdT m a

data ReaderT i m a

data WriterT i m a

data StateT i m a

data ExceptionT i m a

data ChoiceT m a

data ContT i m a

# Lifting

class MonadT t

class BaseM m n

# Effect Classes

class ReaderM m i

class WriterM m i

class StateM m i

class ExceptionM m i

class ContM m

class AbortM m i

data Label m

labelCC

labelCC_

jump

labelC

callCC

# Execution

## Eliminating Effects

runId

runLift

runIdT

runReaderT

runWriterT

runStateT

runExceptionT

runContT

runChoiceT

findOne

findAll

class RunM m a r

## Nested Execution

class RunReaderM m i

class RunWriterM m i

class RunExceptionM m i

# Utility functions

asks

puts

sets

sets_

raises

mapReader

mapWriter

mapException

handle

# Miscellaneous

version