Top.Util.Empty

Empty type class

class Empty a where

Methods

empty :: a

Instances

Empty ()

Empty [a]

Empty (Maybe a)

Show info => Empty (StandardTypeGraph info)

Show info => Empty (TIState info)

An empty type inference state.

Empty (GreedyState info)

Empty (PredicateMap info)

Empty (OverloadingState info)

Empty (SimpleState info)

Empty (SolveResult info)

Show info => Empty (TypeGraphState info)

Empty a => Empty (Either a b)

(Empty a, Empty b) => Empty (a, b)

Empty (BasicState info m)

An empty BasicState.

(Empty (g m), Empty x) => Empty (Fix g x m)

(Empty a, Empty x) => Empty (Simple a x m)

Empty (f (g x m) m) => Empty (And f g x m)