Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
- stepsremaining :: State a -> Either String Int
- findbuggyrules :: State a -> Context a -> [(Rule (Context a), Location, Environment)]
- ready :: State a -> Bool
- allfirsts :: State a -> Either String [(StepInfo a, State a)]
- derivation :: Maybe StrategyConfiguration -> State a -> Either String (Derivation (Rule (Context a), Environment) (Context a))
- onefirst :: State a -> Either String (StepInfo a, State a)
- applicable :: Location -> State a -> [Rule (Context a)]
- allapplications :: State a -> [(Rule (Context a), Location, State a)]
- apply :: Rule (Context a) -> Location -> Environment -> State a -> Either String (State a)
- generate :: Exercise a -> Maybe Difficulty -> IO (State a)
- generateWith :: StdGen -> Exercise a -> Maybe Difficulty -> Either String (State a)
- type StepInfo a = (Rule (Context a), Location, Environment)
- exampleDerivations :: Exercise a -> Either String [Derivation (Rule (Context a), Environment) (Context a)]
Basic Services
findbuggyrules :: State a -> Context a -> [(Rule (Context a), Location, Environment)]Source
derivation :: Maybe StrategyConfiguration -> State a -> Either String (Derivation (Rule (Context a), Environment) (Context a))Source
generateWith :: StdGen -> Exercise a -> Maybe Difficulty -> Either String (State a)Source
exampleDerivations :: Exercise a -> Either String [Derivation (Rule (Context a), Environment) (Context a)]Source