mpllibs::metamonad reference

Table of contents

Language elements

Syntax

Control structure

Pattern matching

Let expression

Lazy evaluation

Lambda expression

Typeclass

Do notation

Monadic conversion

Compile-time exception

Algebraic data-type

Metafunction definition

Data types

Boxing

Either

Maybe

Pair

Tag

Sequences

Typeclasses

Monoid

Operations of Monoid

Instances of Monoid

Monad

Operations of Monad

Instances of Monad

MonadPlus

Operations of MonadPlus

Instances of MonadPlus

Miscellaneous

[up]