| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
Language.Drasil.ICOSolutionSearch
Synopsis
- type Def = CodeDefinition
 - type Known = CodeVarChunk
 - type Need = CodeVarChunk
 - getExecOrder :: [Def] -> [Known] -> [Need] -> ChunkDB -> [Def]
 
Documentation
type Def = CodeDefinition Source #
Mathematical definition.
type Known = CodeVarChunk Source #
Known values.
type Need = CodeVarChunk Source #
Calculated values.