| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Database.SearchTools
Synopsis
- data TermAbbr = TermAbbr {}
- termResolve :: (NP -> Maybe String -> c) -> ChunkDB -> UID -> c
- termResolve' :: ChunkDB -> UID -> TermAbbr
- data DomDefn = DomDefn {
- domain :: [UID]
- definition :: Sentence
- defResolve :: ([UID] -> Sentence -> c) -> ChunkDB -> UID -> c
- defResolve' :: ChunkDB -> UID -> DomDefn
- findAllDataDefns :: ChunkDB -> [DataDefinition]
- findAllGenDefns :: ChunkDB -> [GenDefn]
- findAllInstMods :: ChunkDB -> [InstanceModel]
- findAllTheoryMods :: ChunkDB -> [TheoryModel]
- findAllConcInsts :: ChunkDB -> [ConceptInstance]
- findAllIdeaDicts :: ChunkDB -> [IdeaDict]
- findAllDefinedQuantities :: ChunkDB -> [DefinedQuantityDict]
- findAllCitations :: ChunkDB -> [Citation]
- findAllLabelledContent :: ChunkDB -> [LabelledContent]
Documentation
termResolve :: (NP -> Maybe String -> c) -> ChunkDB -> UID -> c Source #
Search for a chunk that is an instance of Idea and return its "term" and
abbreviation, erroring out if it doesn't exist.
termResolve' :: ChunkDB -> UID -> TermAbbr Source #
Find a chunk's "term" and abbreviation, erroring out if it doesn't exist.
findAllDataDefns :: ChunkDB -> [DataDefinition] Source #
findAllGenDefns :: ChunkDB -> [GenDefn] Source #
findAllInstMods :: ChunkDB -> [InstanceModel] Source #
findAllTheoryMods :: ChunkDB -> [TheoryModel] Source #
findAllConcInsts :: ChunkDB -> [ConceptInstance] Source #
findAllIdeaDicts :: ChunkDB -> [IdeaDict] Source #
findAllCitations :: ChunkDB -> [Citation] Source #