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

Contents

Types
Field Accessors
Resolvers

Synopsis

data TermAbbr
data DomDefn
longForm :: TermAbbr -> NP
shortForm :: TermAbbr -> Maybe String
domain :: DomDefn -> [UID]
definition :: DomDefn -> Sentence
termResolve :: (NP -> Maybe String -> c) -> ChunkDB -> UID -> c
termResolve' :: ChunkDB -> UID -> TermAbbr
defResolve :: ([UID] -> Sentence -> c) -> ChunkDB -> UID -> c
defResolve' :: ChunkDB -> UID -> DomDefn
findAllConcInsts :: ChunkDB -> [ConceptInstance]

Types

data TermAbbr Source #

data DomDefn Source #

Field Accessors

longForm :: TermAbbr -> NP Source #

shortForm :: TermAbbr -> Maybe String Source #

domain :: DomDefn -> [UID] Source #

definition :: DomDefn -> Sentence Source #

Resolvers

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.

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 #