| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Language.Drasil.Code.Imperative.FunctionCalls
Synopsis
- genAllInputCalls :: (Argument r, Literal r, MathConstant r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, SelfSym r, InternalValueExp r, OOValueExpression r, List r, Reference r, Set r, ValueStatement r stmt, OOFuncAppStatement r stmt, TypeElim r, VariableElim r) => GenState [MS (r stmt)]
- genAllInputCallsProc :: (MathConstant 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 :: (VariableValue r, SelfSym r, OOFuncAppStatement r stmt, VariableElim r) => GenState (Maybe (MS (r stmt)))
- genInputCallProc :: (FuncAppStatement r stmt, VariableValue r) => GenState (Maybe (MS (r stmt)))
- genDerivedCall :: (VariableValue r, SelfSym r, OOFuncAppStatement r stmt, VariableElim r) => GenState (Maybe (MS (r stmt)))
- genDerivedCallProc :: (FuncAppStatement r stmt, VariableValue r) => GenState (Maybe (MS (r stmt)))
- genConstraintCall :: (Argument r, Literal r, MathConstant r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression 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 :: (MathConstant 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, VariableValue r, BooleanExpression r, Comparison r, NumericExpression 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 :: (MathConstant r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression 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, VariableValue r, BooleanExpression r, Comparison r, NumericExpression 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 :: (MathConstant 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, VariableValue r, BooleanExpression r, Comparison r, NumericExpression r, SelfSym r, InternalValueExp r, OOValueExpression r, List r, Reference r, Set r, ValueStatement 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 :: (MathConstant 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 :: (VariableValue r, SelfSym r, 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, VariableValue r) => GenState (Maybe (MS (r stmt))) Source #
Generates a call to the function for reading inputs from a file.
genDerivedCall :: (VariableValue r, SelfSym r, 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, 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, VariableValue r, BooleanExpression r, Comparison r, NumericExpression 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 :: (MathConstant 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, VariableValue r, BooleanExpression r, Comparison r, NumericExpression 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 :: (MathConstant r, VariableValue r, BooleanExpression r, Comparison r, NumericExpression 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, VariableValue r, BooleanExpression r, Comparison r, NumericExpression 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 :: (MathConstant 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.