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