Safe Haskell	Safe-Infered

Top.Implementation.TypeInference

Description

Additional state information that should be stored in order to perform type inference.

Documentation

Constructors

TIState
Fields counter :: Int A counter for fresh type variables synonyms :: OrderedTypeSynonyms All known type synonyms skolems :: [([Int], info, Tps)] List of skolem constants schemeMap :: Map Int (Scheme Predicates) Type scheme map

Instances

Embedded ClassTI (Simple (TIState info) x m) (TIState info)
Show info => Show (TIState info)
Show info => Empty (TIState info)	An empty type inference state.
Show info => SolveState (TIState info)
(MonadState s m, Embedded ClassTI s (TIState info)) => HasTI (Select (TIState info) m) info