Bound.Var

Documentation

data Var b a

Constructors

B b

F a

Instances

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)