| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Drasil.Code.Imperative.FunctionCalls
Synopsis
- genAllInputCalls :: (OOStatement r smt, TypeElim r, VariableElim r) => GenState [MS (r smt)]
- genAllInputCallsProc :: (NativeVector r, SharedStatement r smt, TypeElim r) => GenState [MS (r smt)]
- genInputCall :: (OOStatement r smt, VariableElim r) => GenState (Maybe (MS (r smt)))
- genInputCallProc :: (FuncAppStatement r smt, VariableValue r) => GenState (Maybe (MS (r smt)))
- genDerivedCall :: (OOStatement r smt, VariableElim r) => GenState (Maybe (MS (r smt)))
- genDerivedCallProc :: (FuncAppStatement r smt, VariableValue r) => GenState (Maybe (MS (r smt)))
- genConstraintCall :: (OOStatement r smt, TypeElim r, VariableElim r) => GenState (Maybe (MS (r smt)))
- genConstraintCallProc :: (NativeVector r, SharedStatement r smt, TypeElim r) => GenState (Maybe (MS (r smt)))
- genCalcCall :: (OOStatement r smt, TypeElim r, VariableElim r) => CodeDefinition -> GenState (Maybe (MS (r smt)))
- genCalcCallProc :: (NativeVector r, SharedStatement r smt, TypeElim r) => CodeDefinition -> GenState (Maybe (MS (r smt)))
- genOutputCall :: (OOStatement r smt, TypeElim r, VariableElim r) => GenState (Maybe (MS (r smt)))
- genOutputCallProc :: (NativeVector r, SharedStatement r smt, TypeElim r) => GenState (Maybe (MS (r smt)))
Documentation
genAllInputCalls :: (OOStatement r smt, TypeElim r, VariableElim r) => GenState [MS (r smt)] Source #
Generates calls to all of the input-related functions. First is the call to the function for reading inputs, then the function for calculating derived inputs, then the function for checking input constraints.
genAllInputCallsProc :: (NativeVector r, SharedStatement r smt, TypeElim r) => GenState [MS (r smt)] Source #
Generates calls to all of the input-related functions. First is the call to the function for reading inputs, then the function for calculating derived inputs, then the function for checking input constraints.
genInputCall :: (OOStatement r smt, VariableElim r) => GenState (Maybe (MS (r smt))) Source #
Generates a call to the function for reading inputs from a file.
genInputCallProc :: (FuncAppStatement r smt, VariableValue r) => GenState (Maybe (MS (r smt))) Source #
Generates a call to the function for reading inputs from a file.
genDerivedCall :: (OOStatement r smt, VariableElim r) => GenState (Maybe (MS (r smt))) Source #
Generates a call to the function for calculating derived inputs.
genDerivedCallProc :: (FuncAppStatement r smt, VariableValue r) => GenState (Maybe (MS (r smt))) Source #
Generates a call to the function for calculating derived inputs.
genConstraintCall :: (OOStatement r smt, TypeElim r, VariableElim r) => GenState (Maybe (MS (r smt))) Source #
Generates a call to the function for checking constraints on the input.
genConstraintCallProc :: (NativeVector r, SharedStatement r smt, TypeElim r) => GenState (Maybe (MS (r smt))) Source #
Generates a call to the function for checking constraints on the input.
genCalcCall :: (OOStatement r smt, TypeElim r, VariableElim r) => CodeDefinition -> GenState (Maybe (MS (r smt))) Source #
Generates a call to a calculation function, given the CodeDefinition for the
value being calculated.
genCalcCallProc :: (NativeVector r, SharedStatement r smt, TypeElim r) => CodeDefinition -> GenState (Maybe (MS (r smt))) Source #
Generates a call to a calculation function, given the CodeDefinition for the
value being calculated.
genOutputCall :: (OOStatement r smt, TypeElim r, VariableElim r) => GenState (Maybe (MS (r smt))) Source #
Generates a call to the function for printing outputs.
genOutputCallProc :: (NativeVector r, SharedStatement r smt, TypeElim r) => GenState (Maybe (MS (r smt))) Source #
Generates a call to the function for printing outputs.