Portability | portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Infered |
Documentation
"I am not a number, I am a free monad!"
Var b a
represents variables that may either be bound (B
) or free (F
)
Bitraversable Var | |
Bifunctor Var | |
Bifoldable Var | |
Eq2 Var | |
Ord2 Var | |
Show2 Var | |
Read2 Var | |
Monad (Var b) | |
Functor (Var b) | |
Applicative (Var b) | |
Foldable (Var b) | |
Traversable (Var b) | |
Eq b => Eq1 (Var b) | |
Ord b => Ord1 (Var b) | |
Show b => Show1 (Var b) | |
Read b => Read1 (Var b) | |
(Eq b, Eq a) => Eq (Var b a) | |
(Ord b, Ord a) => Ord (Var b a) | |
(Read b, Read a) => Read (Var b a) | |
(Show b, Show a) => Show (Var b a) |