| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Language.Drasil.Code.Imperative.FunctionCalls
Synopsis
- genAllInputCalls :: (Argument r, Literal r, MathConstant r, OOTypeSym r, VariableSym r, OOVariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, SelfSym r, InternalValueExp r, OOValueExpression r, List r, Reference r, Set r, ValueStatement r stmt, FuncAppStatement r stmt, OOFuncAppStatement r stmt, TypeElim r, VariableElim r) => GenState [MS (r stmt)]
- genAllInputCallsProc :: (Literal r, MathConstant r, VariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, NativeVector r, FuncAppStatement r stmt, Argument r, List r, Reference r, Set r, ValueStatement r stmt, TypeElim r) => GenState [MS (r stmt)]
- genInputCall :: (OOTypeSym r, VariableSym r, OOVariableSym r, VariableValue r, SelfSym r, FuncAppStatement r stmt, OOFuncAppStatement r stmt, VariableElim r) => GenState (Maybe (MS (r stmt)))
- genInputCallProc :: (FuncAppStatement r stmt, VariableSym r, VariableValue r) => GenState (Maybe (MS (r stmt)))
- genDerivedCall :: (OOTypeSym r, VariableSym r, OOVariableSym r, VariableValue r, SelfSym r, FuncAppStatement r stmt, OOFuncAppStatement r stmt, VariableElim r) => GenState (Maybe (MS (r stmt)))
- genDerivedCallProc :: (FuncAppStatement r stmt, VariableSym r, VariableValue r) => GenState (Maybe (MS (r stmt)))
- genConstraintCall :: (Argument r, Literal r, MathConstant r, OOTypeSym r, VariableSym r, OOVariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, SelfSym r, InternalValueExp r, OOValueExpression r, List r, Reference r, Set r, ValueStatement r stmt, TypeElim r, VariableElim r) => GenState (Maybe (MS (r stmt)))
- genConstraintCallProc :: (Literal r, MathConstant r, VariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, NativeVector r, Argument r, List r, Reference r, Set r, ValueStatement r stmt, TypeElim r) => GenState (Maybe (MS (r stmt)))
- genCalcCall :: (Argument r, Literal r, MathConstant r, OOTypeSym r, VariableSym r, OOVariableSym r, ScopeSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, SelfSym r, InternalValueExp r, OOValueExpression r, List r, Reference r, Set r, DeclStatement r stmt bod, TypeElim r, VariableElim r) => CodeDefinition -> GenState (Maybe (MS (r stmt)))
- genCalcCallProc :: (Literal r, MathConstant r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, VariableSym r, ScopeSym r, ValueExpression r, DeclStatement r stmt bod, Argument r, List r, NativeVector r, Reference r, Set r, TypeElim r) => CodeDefinition -> GenState (Maybe (MS (r stmt)))
- genOutputCall :: (Argument r, Literal r, MathConstant r, OOTypeSym r, VariableSym r, OOVariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, SelfSym r, InternalValueExp r, OOValueExpression r, List r, Reference r, Set r, ValueStatement r stmt, TypeElim r, VariableElim r) => GenState (Maybe (MS (r stmt)))
- genOutputCallProc :: (Literal r, MathConstant r, VariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, Argument r, List r, NativeVector r, Reference r, Set r, ValueStatement r stmt, TypeElim r) => GenState (Maybe (MS (r stmt)))
Documentation
genAllInputCalls :: (Argument r, Literal r, MathConstant r, OOTypeSym r, VariableSym r, OOVariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, SelfSym r, InternalValueExp r, OOValueExpression r, List r, Reference r, Set r, ValueStatement r stmt, FuncAppStatement r stmt, OOFuncAppStatement r stmt, TypeElim r, VariableElim r) => GenState [MS (r stmt)] 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 :: (Literal r, MathConstant r, VariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, NativeVector r, FuncAppStatement r stmt, Argument r, List r, Reference r, Set r, ValueStatement r stmt, TypeElim r) => GenState [MS (r stmt)] 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 :: (OOTypeSym r, VariableSym r, OOVariableSym r, VariableValue r, SelfSym r, FuncAppStatement r stmt, OOFuncAppStatement r stmt, VariableElim r) => GenState (Maybe (MS (r stmt))) Source #
Generates a call to the function for reading inputs from a file.
genInputCallProc :: (FuncAppStatement r stmt, VariableSym r, VariableValue r) => GenState (Maybe (MS (r stmt))) Source #
Generates a call to the function for reading inputs from a file.
genDerivedCall :: (OOTypeSym r, VariableSym r, OOVariableSym r, VariableValue r, SelfSym r, FuncAppStatement r stmt, OOFuncAppStatement r stmt, VariableElim r) => GenState (Maybe (MS (r stmt))) Source #
Generates a call to the function for calculating derived inputs.
genDerivedCallProc :: (FuncAppStatement r stmt, VariableSym r, VariableValue r) => GenState (Maybe (MS (r stmt))) Source #
Generates a call to the function for calculating derived inputs.
genConstraintCall :: (Argument r, Literal r, MathConstant r, OOTypeSym r, VariableSym r, OOVariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, SelfSym r, InternalValueExp r, OOValueExpression r, List r, Reference r, Set r, ValueStatement r stmt, TypeElim r, VariableElim r) => GenState (Maybe (MS (r stmt))) Source #
Generates a call to the function for checking constraints on the input.
genConstraintCallProc :: (Literal r, MathConstant r, VariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, NativeVector r, Argument r, List r, Reference r, Set r, ValueStatement r stmt, TypeElim r) => GenState (Maybe (MS (r stmt))) Source #
Generates a call to the function for checking constraints on the input.
genCalcCall :: (Argument r, Literal r, MathConstant r, OOTypeSym r, VariableSym r, OOVariableSym r, ScopeSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, SelfSym r, InternalValueExp r, OOValueExpression r, List r, Reference r, Set r, DeclStatement r stmt bod, TypeElim r, VariableElim r) => CodeDefinition -> GenState (Maybe (MS (r stmt))) Source #
Generates a call to a calculation function, given the CodeDefinition for the
value being calculated.
genCalcCallProc :: (Literal r, MathConstant r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, VariableSym r, ScopeSym r, ValueExpression r, DeclStatement r stmt bod, Argument r, List r, NativeVector r, Reference r, Set r, TypeElim r) => CodeDefinition -> GenState (Maybe (MS (r stmt))) Source #
Generates a call to a calculation function, given the CodeDefinition for the
value being calculated.
genOutputCall :: (Argument r, Literal r, MathConstant r, OOTypeSym r, VariableSym r, OOVariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, SelfSym r, InternalValueExp r, OOValueExpression r, List r, Reference r, Set r, ValueStatement r stmt, TypeElim r, VariableElim r) => GenState (Maybe (MS (r stmt))) Source #
Generates a call to the function for printing outputs.
genOutputCallProc :: (Literal r, MathConstant r, VariableSym r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, ValueExpression r, Argument r, List r, NativeVector r, Reference r, Set r, ValueStatement r stmt, TypeElim r) => GenState (Maybe (MS (r stmt))) Source #
Generates a call to the function for printing outputs.