| Safe Haskell | Safe-Infered |
|---|
Top.Util.Empty
Contents
Description
Empty type class
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) |