| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Drasil.Debug.Print
Synopsis
- printAllDebugInfo :: PrintingInformation -> [Doc]
- cdbSection :: Doc -> Doc
- header :: Doc -> Doc
- mkTableFromLenses :: HasUID a => PrintingInformation -> (ChunkDB -> UMap 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
- mkTableSec :: PrintingInformation -> Doc
- mkTableLC :: PrintingInformation -> Doc
- mkTableRef :: PrintingInformation -> Doc
- mkTableDepChunks :: PrintingInformation -> Doc
- mkTableReferencedChunks :: PrintingInformation -> Doc
- mkTableDepReffedChunks :: PrintingInformation -> Doc
- renderUsedUIDs :: [(UID, String)] -> Doc
- mkListShowUsedUIDs :: PrintingInformation -> [(UID, String)]
- mkListAll :: ChunkDB -> [UID]
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 :: HasUID a => PrintingInformation -> (ChunkDB -> UMap 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.
mkTableSec :: PrintingInformation -> Doc Source #
Makes a table with all sections 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.
mkTableDepReffedChunks :: PrintingInformation -> Doc Source #
Chunks that use and are used by other chunks.
UID Manipulation
renderUsedUIDs :: [(UID, String)] -> Doc Source #
Creates a table of all UIDs and their "highest" recorded level of information. See mkListShowUsedUIDs
for more details.
mkListShowUsedUIDs :: PrintingInformation -> [(UID, String)] Source #
For the last section of the log output. Shows which chunk UID is being used at which stage.
Note that chunks used at a "higher stage" (like Concepts and QuantityDicts) will still be built off of the
more basic types (like IdeaDicts), they are just not explicitly used in that manner.
Also, some chunks may have been "downgraded" when put into the database (for example, mapping a
QuantityDict wrapper onto things like Constrained and Unital chunks happens often).