Module erg_parser::ast

defines Expr (Expression, the minimum executing unit of Erg).

Structs

• AST
• Args
• ArrayComprehension
• ArrayTypeSpec
• ArrayWithLength
• Attribute
• BinOp
• Block
• Call
• ClassAttrs
• ClassDef
• ConstApp
  Application ex. Vec Int of Option Vec Int
• ConstArgs
• ConstArray
• ConstAttribute
• ConstBinOp
• ConstBlock
• ConstDef
• ConstDefBody
• ConstDict
• ConstKeyValue
• ConstKwArg
• ConstLambda
• ConstPosArg
• ConstRecord
• ConstSet
• ConstSubscript
• ConstTuple
• ConstTupleAttribute
• ConstTypeAsc
• ConstUnaryOp
• DataPack
  e.g. Data::{x = 1; y = 2}
• Decorator
  デコレータは関数を返す関数オブジェクトならば何でも指定できる e.g. @(x -> x)
• Def
• DefBody
• DefId
• DefaultParamSignature
  Once the default_value is set to Some, all subsequent values must be Some
• DefaultParamTySpec
• DictComprehension
• Dummy
• Identifier
• KeyValue
• KwArg
• Lambda
• LambdaSignature
• Literal
  リテラルに実際の値が格納された構造体(定数畳み込み用) ArrayやDictはまた別に
• Methods
  e.g.
• MixedRecord
  Record can be defined with shorthend/normal mixed style, i.e. {x; y=expr; z; …}
• Module
• NonDefaultParamSignature
  Once the default_value is set to Some, all subsequent values must be Some
• NormalArray
• NormalDict
• NormalRecord
• NormalSet
• NormalTuple
• ParamArrayPattern
• ParamRecordAttr
• ParamRecordAttrs
• ParamRecordPattern
• ParamTuplePattern
• ParamTySpec
• Params
• PatchDef
• PosArg
• ReDef
  This is not necessary for Erg syntax, but necessary for mapping ASTs in Python
• RecordAttrs
• SetWithLenTypeSpec
• SetWithLength
• SimpleTypeSpec
• SubrSignature
  引数を取るならTypeでもSubr扱い
• SubrTypeSpec
• Subscript
• TupleAttribute
  e.g. obj.0, obj.1
• TupleTypeSpec
• TypeApp
  f|T := Int|
• TypeAppArgs
• TypeAscription
  type_ascription ::= expr ‘:’ type | expr ‘<:’ type | expr ‘:>’ type
• TypeBoundSpecs
• TypeSpecWithOp
• UnaryOp
• VarArrayPattern
• VarDataPackPattern
• VarName
  symbol as a left value
• VarRecordAttr
• VarRecordAttrs
• VarRecordPattern
• VarSignature
• VarTuplePattern
• Vars

Enums

• Accessor
• Array
• ClassAttr
• ConstAccessor
• ConstExpr
  valid expression for an argument of polymorphic types 多相型の実引数として有効な式
• DefKind
• Dict
• Expr
  Expression(式)
• OperationKind
  Some Erg functions require additional operation by the compiler.
• ParamPattern
  関数定義や無名関数で使えるパターン
• PreDeclTypeSpec
• Record
• RecordAttrOrIdent
• Set
• Signature
  represents a declaration of a variable
• Tuple
• TypeBoundSpec
• TypeSpec
• Array: [Int; 3], [Int, Ratio, Complex], etc.
• Dict: [Str: Str], etc.
• And (Intersection type): Add and Sub and Mul (== Num), etc.
• Not (Diff type): Pos == Nat not {0}, etc.
• Or (Union type): Int or None (== Option Int), etc.
• Enum: {0, 1} (== Binary), etc.
• Range: 1..12, 0.0<..1.0, etc.
• Record: {.into_s: Self.() -> Str }, etc.
• Subr: Int -> Int, Int => None, T.(X) -> Int, etc.
• TypeApp: F|…|