drasil-theory-0.1.0.0: A framework for code and document generation for scientific software - Theory SubPackage

Safe Haskell	Safe-Inferred
Language	Haskell2010

Drasil.Database.SearchTools

Synopsis

data TermAbbr = TermAbbr {
- longForm :: NP
- shortForm :: Maybe String
}
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
findAllConcInsts :: ChunkDB -> [ConceptInstance]
findAllDefinedQuantities :: ChunkDB -> [DefinedQuantityDict]
findAllCitations :: ChunkDB -> [Citation]
findAllLabelledContent :: ChunkDB -> [LabelledContent]

Documentation

data TermAbbr Source #

Constructors

TermAbbr
Fields longForm :: NP shortForm :: Maybe String

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.

data DomDefn Source #

Constructors

DomDefn
Fields domain :: [UID] definition :: Sentence

defResolve :: ([UID] -> Sentence -> c) -> ChunkDB -> UID -> c Source #

Looks up a UID in all tables with concepts from the ChunkDB. If nothing is found, an error is thrown.

defResolve' :: ChunkDB -> UID -> DomDefn Source #

findAllConcInsts :: ChunkDB -> [ConceptInstance] Source #

findAllDefinedQuantities :: ChunkDB -> [DefinedQuantityDict] Source #

findAllCitations :: ChunkDB -> [Citation] Source #

findAllLabelledContent :: ChunkDB -> [LabelledContent] Source #