Safe Haskell	None
Language	GHC2024

Language.Drasil.Code.Imperative.FunctionCalls

Synopsis

genAllInputCalls :: forall {k} r (val :: k) (typ :: k) (var :: k) (binder :: k) (stmt :: k). (ValueSym r val typ, Argument r val, Literal r val typ, MathConstant r val, TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, SelfSym r var, InternalValueExp r var val typ, OOValueExpression r var val typ, List r val, Reference r val, Set r val, ValueStatement r stmt val, FuncAppStatement r stmt var val, OOFuncAppStatement r stmt var val, TypeElim r typ, VariableElim r var typ) => GenState [MS (r stmt)]
genAllInputCallsProc :: forall {k} r (typ :: k) (val :: k) (var :: k) (binder :: k) (stmt :: k). (TypeSym r typ, ValueSym r val typ, Literal r val typ, MathConstant r val, VariableSym r var typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, NativeVector r val typ, FuncAppStatement r stmt var val, Argument r val, List r val, Reference r val, Set r val, ValueStatement r stmt val, TypeElim r typ) => GenState [MS (r stmt)]
genInputCall :: forall {k} r (typ :: k) (var :: k) (val :: k) (stmt :: k). (TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, VariableValue r var val, SelfSym r var, FuncAppStatement r stmt var val, OOFuncAppStatement r stmt var val, VariableElim r var typ) => GenState (Maybe (MS (r stmt)))
genInputCallProc :: forall {k} r (stmt :: k) (var :: k) (val :: k) (typ :: k). (FuncAppStatement r stmt var val, TypeSym r typ, VariableSym r var typ, VariableValue r var val) => GenState (Maybe (MS (r stmt)))
genDerivedCall :: forall {k} r (typ :: k) (var :: k) (val :: k) (stmt :: k). (TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, VariableValue r var val, SelfSym r var, FuncAppStatement r stmt var val, OOFuncAppStatement r stmt var val, VariableElim r var typ) => GenState (Maybe (MS (r stmt)))
genDerivedCallProc :: forall {k} r (stmt :: k) (var :: k) (val :: k) (typ :: k). (FuncAppStatement r stmt var val, TypeSym r typ, VariableSym r var typ, VariableValue r var val) => GenState (Maybe (MS (r stmt)))
genConstraintCall :: forall {k} r (val :: k) (typ :: k) (var :: k) (binder :: k) (stmt :: k). (ValueSym r val typ, Argument r val, Literal r val typ, MathConstant r val, TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, SelfSym r var, InternalValueExp r var val typ, OOValueExpression r var val typ, List r val, Reference r val, Set r val, ValueStatement r stmt val, TypeElim r typ, VariableElim r var typ) => GenState (Maybe (MS (r stmt)))
genConstraintCallProc :: forall {k} r (typ :: k) (val :: k) (var :: k) (binder :: k) (stmt :: k). (TypeSym r typ, ValueSym r val typ, Literal r val typ, MathConstant r val, VariableSym r var typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, NativeVector r val typ, Argument r val, List r val, Reference r val, Set r val, ValueStatement r stmt val, TypeElim r typ) => GenState (Maybe (MS (r stmt)))
genCalcCall :: forall {k} r (val :: k) (typ :: k) (var :: k) (scope :: k) (binder :: k) (bod :: k) (stmt :: k). (ValueSym r val typ, Argument r val, Literal r val typ, MathConstant r val, TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, ScopeSym r scope, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, SelfSym r var, InternalValueExp r var val typ, OOValueExpression r var val typ, List r val, Reference r val, Set r val, DeclStatement r bod stmt var scope val, TypeElim r typ, VariableElim r var typ) => CodeDefinition -> GenState (Maybe (MS (r stmt)))
genCalcCallProc :: forall {k} r (typ :: k) (val :: k) (var :: k) (scope :: k) (binder :: k) (bod :: k) (stmt :: k). (TypeSym r typ, ValueSym r val typ, Literal r val typ, MathConstant r val, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, VariableSym r var typ, ScopeSym r scope, ValueExpression r var val binder typ, DeclStatement r bod stmt var scope val, Argument r val, List r val, NativeVector r val typ, Reference r val, Set r val, TypeElim r typ) => CodeDefinition -> GenState (Maybe (MS (r stmt)))
genOutputCall :: forall {k} r (val :: k) (typ :: k) (var :: k) (binder :: k) (stmt :: k). (ValueSym r val typ, Argument r val, Literal r val typ, MathConstant r val, TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, SelfSym r var, InternalValueExp r var val typ, OOValueExpression r var val typ, List r val, Reference r val, Set r val, ValueStatement r stmt val, TypeElim r typ, VariableElim r var typ) => GenState (Maybe (MS (r stmt)))
genOutputCallProc :: forall {k} r (typ :: k) (val :: k) (var :: k) (binder :: k) (stmt :: k). (TypeSym r typ, ValueSym r val typ, Literal r val typ, MathConstant r val, VariableSym r var typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, Argument r val, List r val, NativeVector r val typ, Reference r val, Set r val, ValueStatement r stmt val, TypeElim r typ) => GenState (Maybe (MS (r stmt)))

Documentation

genAllInputCalls :: forall {k} r (val :: k) (typ :: k) (var :: k) (binder :: k) (stmt :: k). (ValueSym r val typ, Argument r val, Literal r val typ, MathConstant r val, TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, SelfSym r var, InternalValueExp r var val typ, OOValueExpression r var val typ, List r val, Reference r val, Set r val, ValueStatement r stmt val, FuncAppStatement r stmt var val, OOFuncAppStatement r stmt var val, TypeElim r typ, VariableElim r var typ) => 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 :: forall {k} r (typ :: k) (val :: k) (var :: k) (binder :: k) (stmt :: k). (TypeSym r typ, ValueSym r val typ, Literal r val typ, MathConstant r val, VariableSym r var typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, NativeVector r val typ, FuncAppStatement r stmt var val, Argument r val, List r val, Reference r val, Set r val, ValueStatement r stmt val, TypeElim r typ) => 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 :: forall {k} r (typ :: k) (var :: k) (val :: k) (stmt :: k). (TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, VariableValue r var val, SelfSym r var, FuncAppStatement r stmt var val, OOFuncAppStatement r stmt var val, VariableElim r var typ) => GenState (Maybe (MS (r stmt))) Source #

Generates a call to the function for reading inputs from a file.

genInputCallProc :: forall {k} r (stmt :: k) (var :: k) (val :: k) (typ :: k). (FuncAppStatement r stmt var val, TypeSym r typ, VariableSym r var typ, VariableValue r var val) => GenState (Maybe (MS (r stmt))) Source #

Generates a call to the function for reading inputs from a file.

genDerivedCall :: forall {k} r (typ :: k) (var :: k) (val :: k) (stmt :: k). (TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, VariableValue r var val, SelfSym r var, FuncAppStatement r stmt var val, OOFuncAppStatement r stmt var val, VariableElim r var typ) => GenState (Maybe (MS (r stmt))) Source #

Generates a call to the function for calculating derived inputs.

genDerivedCallProc :: forall {k} r (stmt :: k) (var :: k) (val :: k) (typ :: k). (FuncAppStatement r stmt var val, TypeSym r typ, VariableSym r var typ, VariableValue r var val) => GenState (Maybe (MS (r stmt))) Source #

Generates a call to the function for calculating derived inputs.

genConstraintCall :: forall {k} r (val :: k) (typ :: k) (var :: k) (binder :: k) (stmt :: k). (ValueSym r val typ, Argument r val, Literal r val typ, MathConstant r val, TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, SelfSym r var, InternalValueExp r var val typ, OOValueExpression r var val typ, List r val, Reference r val, Set r val, ValueStatement r stmt val, TypeElim r typ, VariableElim r var typ) => GenState (Maybe (MS (r stmt))) Source #

Generates a call to the function for checking constraints on the input.

genConstraintCallProc :: forall {k} r (typ :: k) (val :: k) (var :: k) (binder :: k) (stmt :: k). (TypeSym r typ, ValueSym r val typ, Literal r val typ, MathConstant r val, VariableSym r var typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, NativeVector r val typ, Argument r val, List r val, Reference r val, Set r val, ValueStatement r stmt val, TypeElim r typ) => GenState (Maybe (MS (r stmt))) Source #

Generates a call to the function for checking constraints on the input.

genCalcCall :: forall {k} r (val :: k) (typ :: k) (var :: k) (scope :: k) (binder :: k) (bod :: k) (stmt :: k). (ValueSym r val typ, Argument r val, Literal r val typ, MathConstant r val, TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, ScopeSym r scope, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, SelfSym r var, InternalValueExp r var val typ, OOValueExpression r var val typ, List r val, Reference r val, Set r val, DeclStatement r bod stmt var scope val, TypeElim r typ, VariableElim r var typ) => CodeDefinition -> GenState (Maybe (MS (r stmt))) Source #

Generates a call to a calculation function, given the CodeDefinition for the value being calculated.

genCalcCallProc :: forall {k} r (typ :: k) (val :: k) (var :: k) (scope :: k) (binder :: k) (bod :: k) (stmt :: k). (TypeSym r typ, ValueSym r val typ, Literal r val typ, MathConstant r val, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, VariableSym r var typ, ScopeSym r scope, ValueExpression r var val binder typ, DeclStatement r bod stmt var scope val, Argument r val, List r val, NativeVector r val typ, Reference r val, Set r val, TypeElim r typ) => CodeDefinition -> GenState (Maybe (MS (r stmt))) Source #

Generates a call to a calculation function, given the CodeDefinition for the value being calculated.

genOutputCall :: forall {k} r (val :: k) (typ :: k) (var :: k) (binder :: k) (stmt :: k). (ValueSym r val typ, Argument r val, Literal r val typ, MathConstant r val, TypeSym r typ, OOTypeSym r typ, VariableSym r var typ, OOVariableSym r var val typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, SelfSym r var, InternalValueExp r var val typ, OOValueExpression r var val typ, List r val, Reference r val, Set r val, ValueStatement r stmt val, TypeElim r typ, VariableElim r var typ) => GenState (Maybe (MS (r stmt))) Source #

Generates a call to the function for printing outputs.

genOutputCallProc :: forall {k} r (typ :: k) (val :: k) (var :: k) (binder :: k) (stmt :: k). (TypeSym r typ, ValueSym r val typ, Literal r val typ, MathConstant r val, VariableSym r var typ, VariableValue r var val, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueExpression r var val binder typ, Argument r val, List r val, NativeVector r val typ, Reference r val, Set r val, ValueStatement r stmt val, TypeElim r typ) => GenState (Maybe (MS (r stmt))) Source #

Generates a call to the function for printing outputs.