Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Defines helper functions for making the Table of Auxiliary Constants section.
Synopsis
- valsOfAuxConstantsF :: Idea a => a -> [ConstQDef] -> Section
- tableOfConstants :: [ConstQDef] -> LabelledContent
- tableOfConstantsRef :: Reference
Documentation
valsOfAuxConstantsF :: Idea a => a -> [ConstQDef] -> Section Source #
Gets the auxiliary constant values given an introductory Idea
and a QDefinition
.
tableOfConstants :: [ConstQDef] -> LabelledContent Source #
Helper that gets a table of constants from a QDefinition
.
tableOfConstantsRef :: Reference Source #
Table of constants reference label.