| Safe Haskell | Safe-Infered |
|---|
Top.Interface.Basic
Description
- data ClassBasic = ClassBasic
- deBasic :: (Embedded ClassBasic (s (StateFixT s m)) (t (StateFixT s m)), Monad m) => SelectFix t (StateFixT s m) a -> StateFixT s m a
- class Monad m => HasBasic m info | m -> info where
- pushConstraint :: Constraint m -> m ()
- pushConstraints :: Constraints m -> m ()
- popConstraint :: m (Maybe (Constraint m))
- discardConstraints :: m ()
- addLabeledError :: ErrorLabel -> info -> m ()
- getLabeledErrors :: m [(info, ErrorLabel)]
- updateErrorInfo :: (info -> m info) -> m ()
- addCheck :: String -> m Bool -> m ()
- getChecks :: m [(m Bool, String)]
- stopAfterFirstError :: OptionAccess m Bool
- checkConditions :: OptionAccess m Bool
- pushOperation :: HasBasic m info => m () -> m ()
- pushNamedOperation :: HasBasic m info => String -> m () -> m ()
- addError :: HasBasic m info => info -> m ()
- getErrors :: HasBasic m info => m [info]
- doChecks :: HasBasic m info => m ()
- startSolving :: HasBasic m info => m ()
- data ErrorLabel
- stopOption, checkOption :: Option Bool
Documentation
data ClassBasic Source
Constructors
| ClassBasic |
Instances
| Embedded ClassBasic (BasicState info m) (BasicState info m) | |
| Embedded ClassBasic (Fix (BasicState info) x m) (BasicState info m) |
deBasic :: (Embedded ClassBasic (s (StateFixT s m)) (t (StateFixT s m)), Monad m) => SelectFix t (StateFixT s m) a -> StateFixT s m aSource
class Monad m => HasBasic m info | m -> info whereSource
Methods
pushConstraint :: Constraint m -> m ()Source
pushConstraints :: Constraints m -> m ()Source
popConstraint :: m (Maybe (Constraint m))Source
discardConstraints :: m ()Source
addLabeledError :: ErrorLabel -> info -> m ()Source
getLabeledErrors :: m [(info, ErrorLabel)]Source
updateErrorInfo :: (info -> m info) -> m ()Source
addCheck :: String -> m Bool -> m ()Source
getChecks :: m [(m Bool, String)]Source
Instances
| (Monad m, Embedded ClassBasic (s (StateFixT s m)) (t (StateFixT s m)), HasBasic (SelectFix t (StateFixT s m)) info) => HasBasic (StateFixT s m) info | |
| (MonadState s m, Embedded ClassBasic s (BasicState info m)) => HasBasic (SelectFix (BasicState info) m) info |
pushOperation :: HasBasic m info => m () -> m ()Source
startSolving :: HasBasic m info => m ()Source
data ErrorLabel Source
A datatype to label the errors that are detected.
Constructors
| ErrorLabel String | |
| NoErrorLabel |
Instances