Types.Procedure

Documentation

data ArgValues c

Constructors

ArgValues

Fields

• avContext :: [c]
• avNames :: Positional (InputValue c)

Instances

Show c => Show (ArgValues c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> ArgValues c -> ShowS

show :: ArgValues c -> String

showList :: [ArgValues c] -> ShowS

ParseFromSource (ArgValues SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (ArgValues SourceContext)

data Assignable c

Constructors

CreateVariable [c] ValueType VariableName

ExistingVariable (InputValue c)

Instances

Show c => Show (Assignable c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> Assignable c -> ShowS

show :: Assignable c -> String

showList :: [Assignable c] -> ShowS

ParseFromSource (Assignable SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (Assignable SourceContext)

data AssignmentType

Constructors

AlwaysAssign

AssignIfEmpty

Instances

Show AssignmentType

Defined in Types.Procedure

Methods

showsPrec :: Int -> AssignmentType -> ShowS

show :: AssignmentType -> String

showList :: [AssignmentType] -> ShowS

Eq AssignmentType

Defined in Types.Procedure

Methods

(==) :: AssignmentType -> AssignmentType -> Bool

(/=) :: AssignmentType -> AssignmentType -> Bool

data ExecutableProcedure c

Constructors

ExecutableProcedure

Fields

• epContext :: [c]
• epPragmas :: [PragmaProcedure c]
• epEnd :: [c]
• epName :: FunctionName
• epArgs :: ArgValues c
• epReturns :: ReturnValues c
• epProcedure :: Procedure c

Instances

Show c => Show (ExecutableProcedure c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> ExecutableProcedure c -> ShowS

show :: ExecutableProcedure c -> String

showList :: [ExecutableProcedure c] -> ShowS

ParseFromSource (ExecutableProcedure SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (ExecutableProcedure SourceContext)

data Expression c

Constructors

Expression [c] (ExpressionStart c) [ValueOperation c]

Literal (ValueLiteral c)

UnaryExpression [c] (Operator c) (Expression c)

InfixExpression [c] (Expression c) (Operator c) (Expression c)

RawExpression ExpressionType ExpressionValue

DelegatedFunctionCall [c] (FunctionSpec c)

DelegatedInitializeValue [c] (Maybe TypeInstance)

Instances

Show c => Show (Expression c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> Expression c -> ShowS

show :: Expression c -> String

showList :: [Expression c] -> ShowS

ParseFromSource (Expression SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (Expression SourceContext)

data ExpressionStart c

Constructors

NamedVariable (OutputValue c)

NamedMacro [c] MacroName

ExpressionMacro [c] MacroExpression

CategoryCall [c] CategoryName (FunctionCall c)

TypeCall [c] TypeInstanceOrParam (FunctionCall c)

UnqualifiedCall [c] (FunctionCall c)

BuiltinCall [c] (FunctionCall c)

ParensExpression [c] (Expression c)

InlineAssignment [c] VariableName AssignmentType (Expression c)

InitializeValue [c] (Maybe TypeInstance) (Positional (Expression c))

UnambiguousLiteral (ValueLiteral c)

Instances

Show c => Show (ExpressionStart c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> ExpressionStart c -> ShowS

show :: ExpressionStart c -> String

showList :: [ExpressionStart c] -> ShowS

ParseFromSource (ExpressionStart SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (ExpressionStart SourceContext)

type ExpressionType = Positional ValueType

data FunctionCall c

Constructors

FunctionCall [c] FunctionName (Positional (InstanceOrInferred c)) (Positional (Maybe (CallArgLabel c), Expression c))

Instances

Show c => Show (FunctionCall c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> FunctionCall c -> ShowS

show :: FunctionCall c -> String

showList :: [FunctionCall c] -> ShowS

data FunctionQualifier c

Constructors

CategoryFunction [c] CategoryName

TypeFunction [c] TypeInstanceOrParam

ValueFunction [c] ValueCallType (Expression c)

UnqualifiedFunction

Instances

Show c => Show (FunctionQualifier c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> FunctionQualifier c -> ShowS

show :: FunctionQualifier c -> String

showList :: [FunctionQualifier c] -> ShowS

ParseFromSource (FunctionQualifier SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (FunctionQualifier SourceContext)

data FunctionSpec c

Constructors

FunctionSpec [c] (FunctionQualifier c) FunctionName (Positional (InstanceOrInferred c))

Instances

Show c => Show (FunctionSpec c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> FunctionSpec c -> ShowS

show :: FunctionSpec c -> String

showList :: [FunctionSpec c] -> ShowS

ParseFromSource (FunctionSpec SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (FunctionSpec SourceContext)

data IfElifElse c

Constructors

IfStatement [c] (Expression c) (Procedure c) (IfElifElse c)

ElseStatement [c] (Procedure c)

TerminateConditional

Instances

Show c => Show (IfElifElse c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> IfElifElse c -> ShowS

show :: IfElifElse c -> String

showList :: [IfElifElse c] -> ShowS

ParseFromSource (IfElifElse SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (IfElifElse SourceContext)

data InputValue c

Constructors

InputValue

Fields

• ivContext :: [c]
• ivName :: VariableName

DiscardInput

Fields

• iiContext :: [c]

Instances

Show c => Show (InputValue c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> InputValue c -> ShowS

show :: InputValue c -> String

showList :: [InputValue c] -> ShowS

ParseFromSource (InputValue SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (InputValue SourceContext)

data InstanceOrInferred c

Constructors

AssignedInstance [c] GeneralInstance

InferredInstance [c]

Instances

Show c => Show (InstanceOrInferred c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> InstanceOrInferred c -> ShowS

show :: InstanceOrInferred c -> String

showList :: [InstanceOrInferred c] -> ShowS

ParseFromSource (InstanceOrInferred SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (InstanceOrInferred SourceContext)

data IteratedLoop c

Constructors

WhileLoop [c] (Expression c) (Procedure c) (Maybe (Procedure c))

TraverseLoop [c] (Expression c) [c] (Assignable c) (Procedure c) (Maybe (Procedure c))

Instances

Show c => Show (IteratedLoop c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> IteratedLoop c -> ShowS

show :: IteratedLoop c -> String

showList :: [IteratedLoop c] -> ShowS

ParseFromSource (IteratedLoop SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (IteratedLoop SourceContext)

data MacroExpression

Constructors

MacroCallTrace

Instances

Show MacroExpression

Defined in Types.Procedure

Methods

showsPrec :: Int -> MacroExpression -> ShowS

show :: MacroExpression -> String

showList :: [MacroExpression] -> ShowS

newtype MacroName

Constructors

MacroName

Fields

• mnName :: String

Instances

Show MacroName

Defined in Types.Procedure

Methods

showsPrec :: Int -> MacroName -> ShowS

show :: MacroName -> String

showList :: [MacroName] -> ShowS

Eq MacroName

Defined in Types.Procedure

Methods

(==) :: MacroName -> MacroName -> Bool

(/=) :: MacroName -> MacroName -> Bool

Ord MacroName

Defined in Types.Procedure

Methods

compare :: MacroName -> MacroName -> Ordering

(<) :: MacroName -> MacroName -> Bool

(<=) :: MacroName -> MacroName -> Bool

(>) :: MacroName -> MacroName -> Bool

(>=) :: MacroName -> MacroName -> Bool

max :: MacroName -> MacroName -> MacroName

min :: MacroName -> MacroName -> MacroName

ParseFromSource MacroName

Defined in Parser.Procedure

Methods

sourceParser :: TextParser MacroName

data Operator c

Constructors

NamedOperator [c] String

FunctionOperator [c] (FunctionSpec c)

Instances

Show c => Show (Operator c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> Operator c -> ShowS

show :: Operator c -> String

showList :: [Operator c] -> ShowS

data OutputValue c

Constructors

OutputValue

Fields

• ovContext :: [c]
• ovName :: VariableName

Instances

Show c => Show (OutputValue c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> OutputValue c -> ShowS

show :: OutputValue c -> String

showList :: [OutputValue c] -> ShowS

ParseFromSource (OutputValue SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (OutputValue SourceContext)

data PragmaProcedure c

Constructors

PragmaTracing

Fields

• ptContext :: [c]
• ptType :: TraceType

Instances

Show c => Show (PragmaProcedure c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> PragmaProcedure c -> ShowS

show :: PragmaProcedure c -> String

showList :: [PragmaProcedure c] -> ShowS

data Procedure c

Constructors

Procedure [c] [Statement c]

Instances

Show c => Show (Procedure c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> Procedure c -> ShowS

show :: Procedure c -> String

showList :: [Procedure c] -> ShowS

ParseFromSource (Procedure SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (Procedure SourceContext)

data ReturnValues c

Constructors

NamedReturns

Fields

• nrContext :: [c]
• nrNames :: Positional (OutputValue c)

UnnamedReturns

Fields

• urContext :: [c]

Instances

Show c => Show (ReturnValues c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> ReturnValues c -> ShowS

show :: ReturnValues c -> String

showList :: [ReturnValues c] -> ShowS

ParseFromSource (ReturnValues SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (ReturnValues SourceContext)

data ScopedBlock c

Constructors

ScopedBlock [c] (Procedure c) (Maybe (Procedure c)) [c] (Statement c)

Instances

Show c => Show (ScopedBlock c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> ScopedBlock c -> ShowS

show :: ScopedBlock c -> String

showList :: [ScopedBlock c] -> ShowS

ParseFromSource (ScopedBlock SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (ScopedBlock SourceContext)

data Statement c

Constructors

EmptyReturn [c]

ExplicitReturn [c] (Positional (Expression c))

LoopBreak [c]

LoopContinue [c]

FailCall [c] (Expression c)

ExitCall [c] (Expression c)

RawFailCall String

IgnoreValues [c] (Expression c)

Assignment [c] (Positional (Assignable c)) (Expression c)

AssignmentEmpty [c] VariableName (Expression c)

VariableSwap [c] (OutputValue c) (OutputValue c)

DeferredVariables [c] [Assignable c]

NoValueExpression [c] (VoidExpression c)

MarkReadOnly [c] [VariableName]

MarkHidden [c] [VariableName]

ValidateRefs [c] [VariableName]

ShowVariable [c] ValueType VariableName

RawCodeLine String

Instances

Show c => Show (Statement c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> Statement c -> ShowS

show :: Statement c -> String

showList :: [Statement c] -> ShowS

ParseFromSource (Statement SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (Statement SourceContext)

data TestProcedure c

Constructors

TestProcedure

Fields

• tpContext :: [c]
• tpName :: FunctionName
• tpDisableCoverage :: Bool
• tpProcedure :: Procedure c

Instances

Show c => Show (TestProcedure c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> TestProcedure c -> ShowS

show :: TestProcedure c -> String

showList :: [TestProcedure c] -> ShowS

ParseFromSource (TestProcedure SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (TestProcedure SourceContext)

data TraceType

Constructors

NoTrace

TraceCreation

Instances

Show TraceType

Defined in Types.Procedure

Methods

showsPrec :: Int -> TraceType -> ShowS

show :: TraceType -> String

showList :: [TraceType] -> ShowS

data ValueCallType

Constructors

AlwaysCall

CallUnlessEmpty

Instances

Show ValueCallType

Defined in Types.Procedure

Methods

showsPrec :: Int -> ValueCallType -> ShowS

show :: ValueCallType -> String

showList :: [ValueCallType] -> ShowS

Eq ValueCallType

Defined in Types.Procedure

Methods

(==) :: ValueCallType -> ValueCallType -> Bool

(/=) :: ValueCallType -> ValueCallType -> Bool

data ValueLiteral c

Constructors

StringLiteral [c] String

CharLiteral [c] Char

IntegerLiteral [c] Bool Integer

DecimalLiteral [c] Integer Integer Integer

BoolLiteral [c] Bool

EmptyLiteral [c]

Instances

Show c => Show (ValueLiteral c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> ValueLiteral c -> ShowS

show :: ValueLiteral c -> String

showList :: [ValueLiteral c] -> ShowS

ParseFromSource (ValueLiteral SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (ValueLiteral SourceContext)

data ValueOperation c

Constructors

TypeConversion [c] GeneralInstance

ValueCall [c] ValueCallType (FunctionCall c)

SelectReturn [c] Int

Instances

Show c => Show (ValueOperation c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> ValueOperation c -> ShowS

show :: ValueOperation c -> String

showList :: [ValueOperation c] -> ShowS

ParseFromSource (ValueOperation SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (ValueOperation SourceContext)

data VariableName

Constructors

VariableName

Fields

• vnName :: String

VariableSelf

Instances

Show VariableName

Defined in Types.Procedure

Methods

showsPrec :: Int -> VariableName -> ShowS

show :: VariableName -> String

showList :: [VariableName] -> ShowS

Eq VariableName

Defined in Types.Procedure

Methods

(==) :: VariableName -> VariableName -> Bool

(/=) :: VariableName -> VariableName -> Bool

Ord VariableName

Defined in Types.Procedure

Methods

compare :: VariableName -> VariableName -> Ordering

(<) :: VariableName -> VariableName -> Bool

(<=) :: VariableName -> VariableName -> Bool

(>) :: VariableName -> VariableName -> Bool

(>=) :: VariableName -> VariableName -> Bool

max :: VariableName -> VariableName -> VariableName

min :: VariableName -> VariableName -> VariableName

ParseFromSource VariableName

Defined in Parser.Procedure

Methods

sourceParser :: TextParser VariableName

data VoidExpression c

Constructors

Conditional (IfElifElse c)

Loop (IteratedLoop c)

WithScope (ScopedBlock c)

Unconditional (Procedure c)

LineComment String

Instances

Show c => Show (VoidExpression c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> VoidExpression c -> ShowS

show :: VoidExpression c -> String

showList :: [VoidExpression c] -> ShowS

ParseFromSource (VoidExpression SourceContext)

Defined in Parser.Procedure

Methods

sourceParser :: TextParser (VoidExpression SourceContext)

assignableName :: Assignable c -> VariableName

getExpressionContext :: Expression c -> [c]

getOperatorContext :: Operator c -> [c]

getOperatorName :: Operator c -> FunctionName

getStatementContext :: Statement c -> [c]

inputValueName :: InputValue c -> VariableName

isAssignableDiscard :: Assignable c -> Bool

isDiscardedInput :: InputValue c -> Bool

isFunctionOperator :: Operator c -> Bool

isNoTrace :: PragmaProcedure c -> Bool

isTraceCreation :: PragmaProcedure c -> Bool

isRawCodeLine :: Statement c -> Bool

isUnnamedReturns :: ReturnValues c -> Bool