| Safe Haskell | Safe-Infered |
|---|
Top.Implementation.TypeGraphSubstitution
Description
Documentation
data TypeGraphState info Source
Constructors
| TypeGraphState | |
Fields
| |
Instances
| Embedded ClassSubst (TypeGraphState info) (TypeGraphState info) | |
| Embedded ClassSubst (Simple (TypeGraphState info) x m) (TypeGraphState info) | |
| Show info => Show (TypeGraphState info) | |
| Show info => Empty (TypeGraphState info) | |
| Show info => SolveState (TypeGraphState info) | |
| (HasBasic m info, HasTI m info, HasQual m info, HasTG m info, MonadWriter LogEntries m, Show info, MonadState s m, Embedded ClassSubst s (TypeGraphState info)) => HasSubst (Select (TypeGraphState info) m) info | |
| (MonadState s m, Embedded ClassSubst s (TypeGraphState info)) => HasTG (Select (TypeGraphState info) m) info |
removeInconsistencies :: HasTypeGraph m info => PathHeuristics info -> m ()Source