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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (ArgValues SourcePos)

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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (Assignable SourcePos)

data ExecutableProcedure c

Constructors

ExecutableProcedure

Fields

• epContext :: [c]
• epPragmas :: [Pragma 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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (ExecutableProcedure SourcePos)

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)

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

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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (Expression SourcePos)

data ExpressionStart c

Constructors

NamedVariable (OutputValue c)

NamedMacro [c] String

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 (Expression 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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (ExpressionStart SourcePos)

data FunctionCall c

Constructors

FunctionCall [c] FunctionName (Positional (InstanceOrInferred c)) (Positional (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] (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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (FunctionQualifier SourcePos)

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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (FunctionSpec SourcePos)

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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (IfElifElse SourcePos)

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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (InputValue SourcePos)

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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (InstanceOrInferred SourcePos)

data Operator c

Constructors

NamedOperator 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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (OutputValue SourcePos)

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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (Procedure SourcePos)

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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (ReturnValues SourcePos)

data ScopedBlock c

Constructors

ScopedBlock [c] (Procedure c) (Maybe (Procedure 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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (ScopedBlock SourcePos)

data Statement c

Constructors

EmptyReturn [c]

ExplicitReturn [c] (Positional (Expression c))

LoopBreak [c]

LoopContinue [c]

FailCall [c] (Expression c)

IgnoreValues [c] (Expression c)

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

NoValueExpression [c] (VoidExpression c)

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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (Statement SourcePos)

data ValueLiteral c

Constructors

StringLiteral [c] String

CharLiteral [c] Char

IntegerLiteral [c] Bool Integer

DecimalLiteral [c] 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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (ValueLiteral SourcePos)

data ValueOperation c

Constructors

ConvertedCall [c] TypeInstance (FunctionCall c)

ValueCall [c] (FunctionCall c)

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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (ValueOperation SourcePos)

data VariableName

Constructors

VariableName

Fields

• vnName :: String

Instances

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

Show VariableName

Defined in Types.Procedure

Methods

showsPrec :: Int -> VariableName -> ShowS

show :: VariableName -> String

showList :: [VariableName] -> ShowS

ParseFromSource VariableName

Defined in Parser.Procedure

Methods

sourceParser :: Parser VariableName

data VoidExpression c

Constructors

Conditional (IfElifElse c)

Loop (WhileLoop 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 SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (VoidExpression SourcePos)

data WhileLoop c

Constructors

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

Instances

Show c => Show (WhileLoop c)

Defined in Types.Procedure

Methods

showsPrec :: Int -> WhileLoop c -> ShowS

show :: WhileLoop c -> String

showList :: [WhileLoop c] -> ShowS

ParseFromSource (WhileLoop SourcePos)

Defined in Parser.Procedure

Methods

sourceParser :: Parser (WhileLoop SourcePos)

assignableName :: Assignable c -> VariableName

getExpressionContext :: Expression c -> [c]

getStatementContext :: Statement c -> [c]

isDiscardedInput :: InputValue c -> Bool

isUnnamedReturns :: ReturnValues c -> Bool