| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Drasil.Debug.Print
Synopsis
- printAllDebugInfo :: PrintingInformation -> [Doc]
- cdbSection :: Doc -> Doc
- header :: Doc -> Doc
- mkTableFromLenses :: IsChunk a => PrintingInformation -> Proxy a -> String -> [PrintingInformation -> (String, a -> Doc)] -> Doc
- openTerm :: NamedIdea a => PrintingInformation -> (String, a -> Doc)
- openSymbol :: HasSymbol a => PrintingInformation -> (String, a -> Doc)
- openDefSymbol :: DefinesQuantity s => PrintingInformation -> (String, s -> Doc)
- openAbbreviation :: Idea a => PrintingInformation -> (String, a -> Doc)
- openDefinition :: Definition a => PrintingInformation -> (String, a -> Doc)
- openUnitSymbol :: HasUnitSymbol a => PrintingInformation -> (String, a -> Doc)
- openShortName :: HasShortName a => PrintingInformation -> (String, a -> Doc)
- openTitle :: PrintingInformation -> (String, Section -> Doc)
- cntntToStr :: RawContent -> String
- openContentType :: HasContents s => p -> (String, s -> Doc)
- openRef :: HasRefAddress a => p -> (String, a -> Doc)
- mkTableSymb :: PrintingInformation -> Doc
- mkTableOfTerms :: PrintingInformation -> Doc
- mkTableConcepts :: PrintingInformation -> Doc
- mkTableUnitDefn :: PrintingInformation -> Doc
- mkTableDataDef :: PrintingInformation -> Doc
- mkTableGenDef :: PrintingInformation -> Doc
- mkTableTMod :: PrintingInformation -> Doc
- mkTableIMod :: PrintingInformation -> Doc
- mkTableCI :: PrintingInformation -> Doc
- mkTableLC :: PrintingInformation -> Doc
- mkTableRef :: PrintingInformation -> Doc
- mkTableDepChunks :: PrintingInformation -> Doc
- mkTableReferencedChunks :: PrintingInformation -> Doc
- renderUsedUIDs :: [(UID, String)] -> Doc
Main Function
printAllDebugInfo :: PrintingInformation -> [Doc] Source #
Gathers all printing functions and creates the debugging tables from them.
Helpers
Separators
cdbSection :: Doc -> Doc Source #
Debugging table separator.
Table Generators
mkTableFromLenses :: IsChunk a => PrintingInformation -> Proxy a -> String -> [PrintingInformation -> (String, a -> Doc)] -> Doc Source #
General function to make the debugging tables. Takes in printing
information, a function that extracts a certain field from the printing
information, a title, three column headers, and three functions that sort the
data from the printing information field into the required display formats
(often UIDs, terms, shortnames, definitions, etc.).
openSymbol :: HasSymbol a => PrintingInformation -> (String, a -> Doc) Source #
openDefSymbol :: DefinesQuantity s => PrintingInformation -> (String, s -> Doc) Source #
openAbbreviation :: Idea a => PrintingInformation -> (String, a -> Doc) Source #
openDefinition :: Definition a => PrintingInformation -> (String, a -> Doc) Source #
openUnitSymbol :: HasUnitSymbol a => PrintingInformation -> (String, a -> Doc) Source #
openShortName :: HasShortName a => PrintingInformation -> (String, a -> Doc) Source #
cntntToStr :: RawContent -> String Source #
openContentType :: HasContents s => p -> (String, s -> Doc) Source #
mkTableSymb :: PrintingInformation -> Doc Source #
Makes a table with all symbolic quantities in the SRS.
mkTableOfTerms :: PrintingInformation -> Doc Source #
Makes a table with terms in the SRS.
mkTableConcepts :: PrintingInformation -> Doc Source #
Makes a table with all concepts in the SRS.
mkTableUnitDefn :: PrintingInformation -> Doc Source #
Makes a table with all units used in the SRS.
mkTableDataDef :: PrintingInformation -> Doc Source #
Makes a table with all data definitions in the SRS.
mkTableGenDef :: PrintingInformation -> Doc Source #
Makes a table with all general definitions in the SRS.
mkTableTMod :: PrintingInformation -> Doc Source #
Makes a table with all theoretical models in the SRS.
mkTableIMod :: PrintingInformation -> Doc Source #
Makes a table with all instance models in the SRS.
mkTableCI :: PrintingInformation -> Doc Source #
Makes a table with all concept instances in the SRS.
mkTableLC :: PrintingInformation -> Doc Source #
Makes a table with all labelled content in the SRS.
mkTableRef :: PrintingInformation -> Doc Source #
Makes a table with all references in the SRS.
mkTableDepChunks :: PrintingInformation -> Doc Source #
Chunks that depend on other chunks. An empty list means the chunks do not depend on anything.
mkTableReferencedChunks :: PrintingInformation -> Doc Source #
Chunks that are referenced and used by other chunks. Those chunks build on top of the ones listed here.