mtl
Monad classes for transformers, using functional dependencies
MTL is a collection of monad classes, extending the
transformers package, using functional dependencies for generic
lifting of monadic actions.
Metric Temporal Logic (MTL) over a discrete time domain consisting of
sampled time values.
The operators in this module receive two additional arguments: a clock
stream clk, indicating the current time, and a distance
between samples dist. For the purposes of explaining the MTL
aspects, we ignore those arguments. If you are using streams for which
you can treat time as a discrete increasing number, you can safely
assume that the clock is a counter (i.e., [0, 1, 2,...],
which can be defined by the stream counter = [0] ++ counter)
and the distance between samples is 1.
Backported Control.Monad.Except module from mtl
This package backports the
Control.Monad.Except module from
mtl (if using
mtl-2.2.0.1 or earlier), which
reexports the
ExceptT monad transformer and the
MonadError class.
This package should only be used if there is a need to use the
Control.Monad.Except module specifically. If you just want
the
mtl class instances for
ExceptT, use
transformers-compat instead, since
mtl-compat does
nothing but reexport the instances from that package.
Note that unlike how
mtl-2.2 or later works, the
Control.Monad.Except module defined in this package exports all
of
ExceptT's monad class instances. Therefore, you may have
to declare
import Control.Monad.Except () at the top of your
file to get all of the
ExceptT instances in scope.
Reexports of most definitions from "mtl" and "transformers"
This package only exports definitions from the "mtl" and
"transformers" libraries. Unlike every module of "mtl" it does not
reexport
Control.Monad and
Control.Monad.Fix.
In combination with the
"base-prelude" library, this should
give you a quite rich prelude.
The
2.* versions are restricted by the feature set of
mtl-2.2 and
transformers-0.4, however they provide
support for newer versions of those libraries as well.
Not on Stackage, so not searched.
Very strict CPS'd transformers
Not on Stackage, so not searched.
Instances for the mtl classes for all monad transformers.
Not on Stackage, so not searched.
MTL classes without the functional dependency
Not on Stackage, so not searched.
parse library using mtl package
Not on Stackage, so not searched.
Higher order versions of MTL classes
Not on Stackage, so not searched.
Monad Transformer Library with Type Families
Not on Stackage, so not searched.
Lift substacks of monad transformer stacks
Not on Stackage, so not searched.
Monad transformer library with type indexes, providing 'free' copies.
MTLL, Matrix Template Library License
Reexports of most definitions from "mtl" and "transformers".
For details check out the source.
Located Statement with separate Left and Right id's
Like
fmt, but appends a newline.
Located Statement with separate Left and Right id's