| Safe Haskell | None |
|---|
Top.Implementation.FastSubstitution
Description
Documentation
newtype GreedyState info Source
Constructors
| GreedyState | |
Fields | |
Instances
| Embedded ClassSubst (GreedyState info) (GreedyState info) | |
| Embedded ClassSubst (Simple (GreedyState info) m b) (GreedyState info) | |
| Show (GreedyState info) | |
| Empty (GreedyState info) | |
| SolveState (GreedyState info) | |
| (MonadState s m, HasBasic m info, HasTI m info, Embedded ClassSubst s (GreedyState info)) => HasSubst (Select (GreedyState info) m) info |