Ideas.Service.BasicServices

Basic Services

stepsremaining :: State a -> Either String Int

findbuggyrules :: State a -> Context a -> [(Rule (Context a), Location, Environment)]

allfirsts :: State a -> Either String [(StepInfo a, State a)]

solution :: Maybe StrategyCfg -> State a -> Either String (Derivation (Rule (Context a), Environment) (Context a))

solutionMaxSteps :: Int -> Maybe StrategyCfg -> State a -> Either String (Derivation (Rule (Context a), Environment) (Context a))

onefirst :: State a -> Either String (StepInfo a, State a)

onefinal :: State a -> Either String (Context 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 :: QCGen -> Exercise a -> Maybe Difficulty -> Maybe String -> Either String (State a)

create :: QCGen -> Exercise a -> String -> Maybe String -> Either String (State a)

type StepInfo a = (Rule (Context a), Location, Environment)

tStepInfo :: Type a (StepInfo a)

exampleDerivations :: Exercise a -> Either String [Derivation (Rule (Context a), Environment) (Context a)]

recognizeRule :: Exercise a -> Rule (Context a) -> Context a -> Context a -> [(Location, Environment)]