Safe Haskell	Safe-Infered

Language.Modelica.Syntax.Modelica

Documentation

type EitherOrOr a b c = Either a (Either b c)Source

type TypeSpecifier = Name Source

data Ident Source

Constructors

Ident SourcePos String
QIdent SourcePos String

Instances

Eq Ident
Show Ident
ToString Ident

data Dot Source

Constructors

Dot

Instances

Eq Dot
Show Dot
ToString Dot

data Star Source

Constructors

Star

Instances

Eq Star
Show Star
ToString Star

data Colon Source

Constructors

Colon

Instances

Eq Colon
Show Colon
ToString Colon

data Each Source

Constructors

Each

Instances

Eq Each
Show Each
ToString Each

data Final Source

Constructors

Final

Instances

Eq Final
Show Final
ToString Final

data Partial Source

Constructors

Partial

Instances

Eq Partial
Show Partial
ToString Partial

data Redeclare Source

Constructors

Redeclare

Instances

Eq Redeclare
Show Redeclare
ToString Redeclare

data Inner Source

Constructors

Inner

Instances

Eq Inner
Show Inner
ToString Inner

data Outer Source

Constructors

Outer

Instances

Eq Outer
Show Outer
ToString Outer

data Init Source

Constructors

Init

Instances

Eq Init
Show Init
ToString Init

data Encapsulated Source

Constructors

Encapsulated

Instances

Eq Encapsulated
Show Encapsulated
ToString Encapsulated

data Name Source

Constructors

Name (Maybe Dot) Ident [Ident]

Instances

Eq Name
Show Name
ToString Name

data Modification Source

Constructors

Modification ClassModification (Maybe Expression)
ModificationAssign Expression
ModificationColonAssign Expression

Instances

Eq Modification
Show Modification
ToString Modification

data ClassModification Source

Constructors

ClassModification (Maybe ArgumentList)

Instances

Eq ClassModification
Show ClassModification
ToString ClassModification

data ArgumentList Source

Constructors

ArgumentList Argument [Argument]

Instances

Eq ArgumentList
Show ArgumentList
ToString ArgumentList

data Argument Source

Constructors

ArgElementModOrRep ElementModOrRep
ArgElementRedeclaration ElementRedeclaration

Instances

Eq Argument
Show Argument
ToString Argument

data ElementModOrRep Source

Constructors

ElementModOrRep (Maybe Each) (Maybe Final) (Either ElementModification ElementReplaceableShort)

Instances

Eq ElementModOrRep
Show ElementModOrRep
ToString ElementModOrRep

data ElementModification Source

Constructors

ElementModification Name (Maybe Modification) (Maybe StringComment)

Instances

Eq ElementModification
Show ElementModification
ToString ElementModification

data ElementRedeclaration Source

Constructors

ElementRedeclaration (Maybe Each) (Maybe Final) (EitherOrOr ShortClassDefinition ComponentClause1 ElementReplaceableShort)

Instances

Eq ElementRedeclaration
Show ElementRedeclaration
ToString ElementRedeclaration

data ElementReplaceableShort Source

Constructors

ElementReplaceableShort (Either ShortClassDefinition ComponentClause1) (Maybe ConstrainingClause)

Instances

Eq ElementReplaceableShort
Show ElementReplaceableShort
ToString ElementReplaceableShort

data ShortClassDefinition Source

Constructors

ShortClassDefinition ClassPrefixes Ident ShortClassDef

Instances

Eq ShortClassDefinition
Show ShortClassDefinition
ToString ShortClassDefinition

data ShortClassDef Source

Constructors

ShortClassDef1 (Either Colon (Maybe EnumList)) Comment
ShortClassDef2 TypePrefix Name (Maybe ArraySubscripts) (Maybe ClassModification) Comment

Instances

Eq ShortClassDef
Show ShortClassDef
ToString ShortClassDef

data ComponentClause1 Source

Constructors

ComponentClause1 TypePrefix TypeSpecifier ComponentDeclaration1

Instances

Eq ComponentClause1
Show ComponentClause1
ToString ComponentClause1

data ComponentDeclaration1 Source

Constructors

ComponentDeclaration1 Declaration Comment

Instances

Eq ComponentDeclaration1
Show ComponentDeclaration1
ToString ComponentDeclaration1

data ConstrainingClause Source

Constructors

ConstrainingClause Name (Maybe ClassModification)

Instances

Eq ConstrainingClause
Show ConstrainingClause
ToString ConstrainingClause

data ExtendsClause Source

Constructors

ExtendsClause Name (Maybe ClassModification) (Maybe Annotation)

Instances

Eq ExtendsClause
Show ExtendsClause
ToString ExtendsClause

data Comment Source

Constructors

Comment (Maybe StringComment) (Maybe Annotation)

Instances

Eq Comment
Show Comment
ToString Comment

data StringComment Source

Constructors

StringComment (Maybe (String, [String]))

Instances

Eq StringComment
Show StringComment
ToString StringComment

newtype Annotation Source

Constructors

Annotation ClassModification

Instances

Eq Annotation
Show Annotation
ToString Annotation

data Expression Source

Constructors

IfExpression Expression Expression [ElseIfExpression] Expression
Expression SimpleExpression

Instances

Eq Expression
Show Expression
ToString Expression

data ElseIfExpression Source

Constructors

ElseIfExpression Expression Expression

Instances

Eq ElseIfExpression
Show ElseIfExpression
ToString ElseIfExpression

data SimpleExpression Source

Constructors

SimpleExpression1 LogicalExpression
SimpleExpression2 LogicalExpression LogicalExpression
SimpleExpression3 LogicalExpression LogicalExpression LogicalExpression

Instances

Eq SimpleExpression
Show SimpleExpression
ToString SimpleExpression

data LogicalExpression Source

Constructors

LogicalExpression LogicalTerm [LogicalTerm]

Instances

Eq LogicalExpression
Show LogicalExpression
ToString LogicalExpression

data LogicalTerm Source

Constructors

LogicalTerm LogicalFactor [LogicalFactor]

Instances

Eq LogicalTerm
Show LogicalTerm
ToString LogicalTerm

data Not Source

Constructors

Not

Instances

Eq Not
Show Not

data LogicalFactor Source

Constructors

LogicalFactor (Maybe Not) Relation

Instances

Eq LogicalFactor
Show LogicalFactor
ToString LogicalFactor

data Relation Source

Constructors

Relation ArithmeticExpression (Maybe (RelOp, ArithmeticExpression))

Instances

Eq Relation
Show Relation
ToString Relation

data RelOp Source

Constructors

Equal
UnEqual
GTH
LTH
GEQ
LEQ

Instances

Eq RelOp
Show RelOp
ToString RelOp

data ArithmeticExpression Source

Constructors

ArithmeticExpression (Maybe AddOp) Term [(AddOp, Term)]

Instances

Eq ArithmeticExpression
Show ArithmeticExpression
ToString ArithmeticExpression

data AddOp Source

Constructors

Plus
Minus
DotPlus
DotMinus

Instances

Eq AddOp
Show AddOp
ToString AddOp

data Term Source

Constructors

Term Factor [(MulOp, Factor)]

Instances

Eq Term
Show Term
ToString Term

data MulOp Source

Constructors

Mul
Div
DotMul
DotDiv

Instances

Eq MulOp
Show MulOp
ToString MulOp

data Factor Source

Constructors

Factor Primary (Maybe (PotOp, Primary))

Instances

Eq Factor
Show Factor
ToString Factor

data PotOp Source

Constructors

Pot
DotPot

Instances

Eq PotOp
Show PotOp
ToString PotOp

data DIN Source

Constructors

Der
Initial
FuncCallName Name

Instances

Eq DIN
Show DIN
ToString DIN

data NamedArguments Source

Constructors

NamedArguments NamedArgument [NamedArgument]

Instances

Eq NamedArguments
Show NamedArguments
ToString NamedArguments

data FunctionCallArgs Source

Constructors

FunctionCallArgs (Maybe FunctionArguments)

Instances

Eq FunctionCallArgs
Show FunctionCallArgs
ToString FunctionCallArgs

data FunctionArguments Source

Constructors

FunctionArguments FunctionArgument (Maybe (Either FunctionArguments ForIndices))
FANamedArguments NamedArguments

Instances

Eq FunctionArguments
Show FunctionArguments
ToString FunctionArguments

data FunctionArgument Source

Constructors

FAExpression Expression
Function Name (Maybe NamedArguments)

Instances

Eq FunctionArgument
Show FunctionArgument
ToString FunctionArgument

data NamedArgument Source

Constructors

NamedArgument Ident FunctionArgument

Instances

Eq NamedArgument
Show NamedArgument
ToString NamedArgument

data OutputExpressionList Source

Constructors

OutputExpressionList [Maybe Expression]

Instances

Eq OutputExpressionList
Show OutputExpressionList
ToString OutputExpressionList

data ExpressionList Source

Constructors

ExpressionList Expression [Expression]

Instances

Eq ExpressionList
Show ExpressionList
ToString ExpressionList

data Subscript Source

Constructors

Subscript Expression
SubscriptColon

Instances

Eq Subscript
Show Subscript
ToString Subscript

data ArraySubscripts Source

Constructors

ArraySubscripts Subscript [Subscript]

Instances

Eq ArraySubscripts
Show ArraySubscripts
ToString ArraySubscripts

data ComponentReference Source

Constructors

ComponentReference (Maybe Dot) Ident (Maybe ArraySubscripts) [(Ident, Maybe ArraySubscripts)]

Instances

Eq ComponentReference
Show ComponentReference
ToString ComponentReference

data ForIndices Source

Constructors

ForIndices ForIndex [ForIndex]

Instances

Eq ForIndices
Show ForIndices
ToString ForIndices

data ForIndex Source

Constructors

ForIndex Ident (Maybe Expression)

Instances

Eq ForIndex
Show ForIndex
ToString ForIndex

data TypePrefix Source

Constructors

TypePrefix (Maybe FS) (Maybe DPC) (Maybe OI)

Instances

Eq TypePrefix
Show TypePrefix
ToString TypePrefix

type BasePrefix = TypePrefix Source

data FS Source

Constructors

Flow
Stream

Instances

Eq FS
Show FS
ToString FS

data DPC Source

Constructors

Discrete
Parameter
Constant

Instances

Eq DPC
Show DPC
ToString DPC

data OI Source

Constructors

Output
Input

Instances

Eq OI
Show OI
ToString OI

data ClassPrefixes Source

Constructors

ClassPrefixes (Maybe Partial) Prefix

Instances

Eq ClassPrefixes
Show ClassPrefixes
ToString ClassPrefixes

data Prefix Source

Constructors

Class
Model
Block
Type
Package
Operator
Record (Maybe OperatorRecord)
Connector (Maybe Expandable)
FunctionPrefix (Maybe PureImpure) (Maybe OperatorFunction)

Instances

Eq Prefix
Show Prefix
ToString Prefix

data PureImpure Source

Constructors

Pure
Impure

Instances

Eq PureImpure
Show PureImpure
ToString PureImpure

data OperatorFunction Source

Constructors

OperatorFunction

Instances

Eq OperatorFunction
Show OperatorFunction
ToString OperatorFunction

data OperatorRecord Source

Constructors

OperatorRecord

Instances

Eq OperatorRecord
Show OperatorRecord
ToString OperatorRecord

data Expandable Source

Constructors

Expandable

Instances

Eq Expandable
Show Expandable
ToString Expandable

data Declaration Source

Constructors

Declaration Ident (Maybe ArraySubscripts) (Maybe Modification)

Instances

Eq Declaration
Show Declaration
ToString Declaration

data ConditionAttribute Source

Constructors

ConditionAttribute Expression

Instances

Eq ConditionAttribute
Show ConditionAttribute
ToString ConditionAttribute

data ComponentDeclaration Source

Constructors

ComponentDeclaration Declaration (Maybe ConditionAttribute) Comment

Instances

Eq ComponentDeclaration
Show ComponentDeclaration
ToString ComponentDeclaration

data ComponentList Source

Constructors

ComponentList ComponentDeclaration [ComponentDeclaration]

Instances

Eq ComponentList
Show ComponentList
ToString ComponentList

data ComponentClause Source

Constructors

ComponentClause TypePrefix TypeSpecifier (Maybe ArraySubscripts) ComponentList

Instances

Eq ComponentClause
Show ComponentClause
ToString ComponentClause

data EnumerationLiteral Source

Constructors

EnumerationLiteral Ident Comment

Instances

Eq EnumerationLiteral
Show EnumerationLiteral
ToString EnumerationLiteral

data EnumList Source

Constructors

EnumList EnumerationLiteral [EnumerationLiteral]

Instances

Eq EnumList
Show EnumList
ToString EnumList

data EquationSection Source

Constructors

EquationSection (Maybe Init) [Equation]

Instances

Eq EquationSection
Show EquationSection
ToString EquationSection

data Equation Source

Constructors

Equation Eqn Comment

Instances

Eq Equation
Show Equation
ToString Equation

data Eqn Source

Instances

Eq Eqn
Show Eqn
ToString Eqn

data ElseIfEquation Source

Constructors

ElseIfEquation Expression [Equation]

Instances

Eq ElseIfEquation
Show ElseIfEquation
ToString ElseIfEquation

data ElseWhenEquation Source

Constructors

ElseWhenEquation Expression [Equation]

Instances

Eq ElseWhenEquation
Show ElseWhenEquation
ToString ElseWhenEquation

data AlgorithmSection Source

Constructors

AlgorithmSection (Maybe Init) [Statement]

Instances

Eq AlgorithmSection
Show AlgorithmSection
ToString AlgorithmSection

data Statement Source

Constructors

Statement Stmt Comment

Instances

Eq Statement
Show Statement
ToString Statement

data ElseIfStatement Source

Constructors

ElseIfStatement Expression [Statement]

Instances

Eq ElseIfStatement
Show ElseIfStatement
ToString ElseIfStatement

data ElseWhenStatement Source

Constructors

ElseWhenStatement Expression [Statement]

Instances

Eq ElseWhenStatement
Show ElseWhenStatement
ToString ElseWhenStatement

data ImportList Source

Constructors

ImportList Ident [Ident]

Instances

Eq ImportList
Show ImportList
ToString ImportList

data Import Source

Constructors

Assign Ident Name
IList Name (Maybe (Either Star ImportList))

Instances

Eq Import
Show Import
ToString Import

data ImportClause Source

Constructors

ImportClause Import Comment

Instances

Eq ImportClause
Show ImportClause
ToString ImportClause

data ElementOptions Source

Constructors

ElementOptions (Maybe Redeclare) (Maybe Final) (Maybe Inner) (Maybe Outer)

Instances

Eq ElementOptions
Show ElementOptions
ToString ElementOptions

data ElementList Source

Constructors

ElementList [Element]

Instances

Eq ElementList
Show ElementList
ToString ElementList

data ExternalFunctionCall Source

Constructors

ExternalFunctionCall (Maybe ComponentReference) Ident (Maybe ExpressionList)

Instances

Eq ExternalFunctionCall
Show ExternalFunctionCall
ToString ExternalFunctionCall

type LanguageSpecification = String Source

data Composition Source

Constructors

Composition ElementList [CompositionList] (Maybe CompositionExternal) (Maybe Annotation)

Instances

Eq Composition
Show Composition
ToString Composition

data CompositionList Source

Constructors

PublicElementList ElementList
ProtectedElementList ElementList
ESec EquationSection
ASec AlgorithmSection

Instances

Eq CompositionList
Show CompositionList
ToString CompositionList
ToString [CompositionList]

data CompositionExternal Source

Constructors

CompositionExternal (Maybe LanguageSpecification) (Maybe ExternalFunctionCall) (Maybe Annotation)

Instances

Eq CompositionExternal
Show CompositionExternal
ToString CompositionExternal

data ClassDefinition Source

Constructors

ClassDefinition (Maybe Encapsulated) ClassPrefixes ClassSpecifier

Instances

Eq ClassDefinition
Show ClassDefinition
ToString ClassDefinition

data StoredDefinition Source

Constructors

StoredDefinition (Maybe (Maybe Name)) [(Maybe Final, ClassDefinition)]

Instances

Eq StoredDefinition
Show StoredDefinition
ToString StoredDefinition

PUnsignedNumber SourcePos Double
PModelicaStr SourcePos String
PBoolValue SourcePos Bool
PFuncCall DIN FunctionCallArgs
PCompRef ComponentReference
PFuncArgs FunctionArguments
POutputExprList OutputExpressionList
PExpressionList ExpressionList [ExpressionList]
PEnd

IfEquation Expression [Equation] [ElseIfEquation] (Maybe [Equation])
ForEquation ForIndices [Equation]
WhenEquation Expression [Equation] [ElseWhenEquation]
ConnectClause ComponentReference ComponentReference
EqFunctionCall Name FunctionCallArgs
Eqn SimpleExpression Expression

Break
Return
IfStatement Expression [Statement] [ElseIfStatement] (Maybe [Statement])
ForStatement ForIndices [Statement]
WhenStatement Expression [Statement] [ElseWhenStatement]
WhileStatement Expression [Statement]
CompRefStatement ComponentReference (Either Expression FunctionCallArgs)
OutputListStatement OutputExpressionList ComponentReference FunctionCallArgs

ElementImportClause ImportClause
ElementExtendsClause ExtendsClause
Element ElementOptions (Either ClassDefinition ComponentClause)
ElementReplaceable ElementOptions (Either ClassDefinition ComponentClause) (Maybe (ConstrainingClause, Comment))

ClassSpecifierEnd Ident StringComment Composition Ident
ClassSpecifierA Ident BasePrefix Name (Maybe ArraySubscripts) (Maybe ClassModification) Comment
ClassSpecifierEnum Ident (Either Colon (Maybe EnumList)) Comment
ClassSpecifierDer Ident (Name, Ident, [Ident]) Comment
ClassSpecifierExtends Ident (Maybe ClassModification) StringComment Composition Ident