acme-all-monad-0.1.0.0: A monad which is powerful enough to interpret any action

LicensePublic Domain
Stabilitystable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Monad.All

Description

The All monad, which is powerful enough to interpret any monadic action.

Synopsis

Documentation

type All = AllT Identity Source

The All monad.

All is powerful enough to interpret any monadic action, which makes it very convenient for defining domain specific languages.

All is defined as a type synonym for AllT Identity.