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