| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Recognize.Data.Step
Contents
Description
Synopsis
- data Step = Step Id (Math, [Attribute]) [Step]
- smallStep :: Id -> (Math, [Attribute]) -> Step
- bigStep :: Id -> (Math, [Attribute]) -> [Step] -> Step
- getValue :: Step -> (Math, [Attribute])
- addAttribute :: Attribute -> Step -> Step
- addAttributes :: [Attribute] -> Step -> Step
- hasMistakes :: Step -> Bool
- makeFAStep :: Expr -> Step
- getMath :: Step -> Math
- getMaths :: [Step] -> [Math]
- getAttributes :: Step -> [Attribute]
- mergeSteps :: [Step] -> Maybe Step
- stepsToHTML :: [Step] -> HTMLBuilder
- stepToHTML :: Int -> Step -> HTMLBuilder
Documentation
A step is a small step, which describes some action by the math and attributes it carries or it is a big step which is a grouping of other steps.
hasMistakes :: Step -> Bool Source #
makeFAStep :: Expr -> Step Source #
getAttributes :: Step -> [Attribute] Source #
stepsToHTML :: [Step] -> HTMLBuilder Source #
stepToHTML :: Int -> Step -> HTMLBuilder Source #