Ideas.Service.BasicServices

Contents

• Basic Services

Description

Synopsis

• 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))
• 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 :: 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)]

Basic Services