License	MIT
Safe Haskell	None
Language	GHC2021

Language.Egison.AST

Description

This module defines the syntax of Egison.

Synopsis

data TopExpr
- = Define VarWithIndices Expr
- | DefineWithType TypedVarWithIndices Expr
- | Test Expr
- | Execute Expr
- | LoadFile String
- | Load String
- | InfixDecl Bool Op
- | InductiveDecl String [String] [InductiveConstructor]
- | ClassDeclExpr ClassDecl
- | InstanceDeclExpr InstanceDecl
- | PatternInductiveDecl String [String] [PatternConstructor]
- | PatternFunctionDecl String [String] [(String, TypeExpr)] TypeExpr Pattern
- | DeclareSymbol [String] (Maybe TypeExpr)
data ConstantExpr
- = CharExpr Char
- | StringExpr Text
- | BoolExpr Bool
- | IntegerExpr Integer
- | FloatExpr Double
- | SomethingExpr
- | UndefinedExpr
data Expr
- = ConstantExpr ConstantExpr
- | VarExpr String
- | FreshVarExpr
- | IndexedExpr Bool Expr [IndexExpr Expr]
- | SubrefsExpr Bool Expr Expr
- | SuprefsExpr Bool Expr Expr
- | UserrefsExpr Bool Expr Expr
- | TupleExpr [Expr]
- | CollectionExpr [Expr]
- | ConsExpr Expr Expr
- | JoinExpr Expr Expr
- | HashExpr [(Expr, Expr)]
- | VectorExpr [Expr]
- | LambdaExpr [Arg ArgPattern] Expr
- | LambdaExpr' [Arg VarWithIndices] Expr
- | TypedLambdaExpr [(String, TypeExpr)] TypeExpr Expr
- | MemoizedLambdaExpr [String] Expr
- | TypedMemoizedLambdaExpr [TypedParam] TypeExpr Expr
- | CambdaExpr String Expr
- | PatternFunctionExpr [String] Pattern
- | IfExpr Expr Expr Expr
- | LetExpr [BindingExpr] Expr
- | LetRecExpr [BindingExpr] Expr
- | WithSymbolsExpr [String] Expr
- | MatchExpr PMMode Expr Expr [MatchClause]
- | MatchAllExpr PMMode Expr Expr [MatchClause]
- | MatchLambdaExpr Expr [MatchClause]
- | MatchAllLambdaExpr Expr [MatchClause]
- | MatcherExpr [PatternDef]
- | AlgebraicDataMatcherExpr [(String, [Expr])]
- | QuoteExpr Expr
- | QuoteSymbolExpr Expr
- | WedgeApplyExpr Expr [Expr]
- | DoExpr [BindingExpr] Expr
- | PrefixExpr String Expr
- | InfixExpr Op Expr Expr
- | SectionExpr Op (Maybe Expr) (Maybe Expr)
- | SeqExpr Expr Expr
- | ApplyExpr Expr [Expr]
- | AnonParamFuncExpr Integer Expr
- | AnonTupleParamFuncExpr Integer Expr
- | AnonListParamFuncExpr Integer Expr
- | AnonParamExpr Integer
- | GenerateTensorExpr Expr Expr
- | TensorExpr Expr Expr
- | TensorContractExpr Expr
- | TensorMapExpr Expr Expr
- | TensorMap2Expr Expr Expr Expr
- | TransposeExpr Expr Expr
- | FlipIndicesExpr Expr
- | FunctionExpr [String]
- | TypeAnnotation Expr TypeExpr
data Pattern
- = WildCard
- | PatVar String
- | ValuePat Expr
- | PredPat Expr
- | IndexedPat Pattern [Expr]
- | LetPat [BindingExpr] Pattern
- | InfixPat Op Pattern Pattern
- | NotPat Pattern
- | AndPat Pattern Pattern
- | OrPat Pattern Pattern
- | ForallPat Pattern Pattern
- | TuplePat [Pattern]
- | InductivePat String [Pattern]
- | LoopPat String LoopRange Pattern Pattern
- | ContPat
- | PApplyPat Expr [Pattern]
- | VarPat String
- | InductiveOrPApplyPat String [Pattern]
- | SeqNilPat
- | SeqConsPat Pattern Pattern
- | LaterPatVar
- | DApplyPat Pattern [Pattern]
data VarWithIndices = VarWithIndices String [VarIndex]
makeApply :: String -> [Expr] -> Expr
data Arg a
- = Arg a
- | InvertedArg a
data ArgPattern
- = APWildCard
- | APPatVar VarWithIndices
- | APInductivePat String [Arg ArgPattern]
- | APTuplePat [Arg ArgPattern]
- | APEmptyPat
- | APConsPat (Arg ArgPattern) ArgPattern
- | APSnocPat ArgPattern (Arg ArgPattern)
data IndexExpr a
- = Subscript a
- | Superscript a
- | SupSubscript a
- | MultiSubscript a a
- | MultiSuperscript a a
- | Userscript a
data VarIndex
- = VSubscript String
- | VSuperscript String
- | VMultiSubscript String Integer String
- | VMultiSuperscript String Integer String
- | VGroupScripts [VarIndex]
- | VSymmScripts [VarIndex]
- | VAntiSymmScripts [VarIndex]
data PMMode
- = BFSMode
- | DFSMode
data BindingExpr
- = Bind PrimitiveDataPattern Expr
- | BindWithIndices VarWithIndices Expr
- | BindWithType TypedVarWithIndices Expr
type MatchClause = (Pattern, Expr)
data PatternDef = PatternDef {
- patDefPattern :: PrimitivePatPattern
- patDefMatcher :: Expr
- patDefClauses :: [(PrimitiveDataPattern, Expr)]
}
data LoopRange = LoopRange Expr Expr Pattern
data PrimitivePatPattern
- = PPWildCard
- | PPPatVar
- | PPValuePat String
- | PPInductivePat String [PrimitivePatPattern]
- | PPTuplePat [PrimitivePatPattern]
data PDPatternBase var
- = PDWildCard
- | PDPatVar var
- | PDInductivePat String [PDPatternBase var]
- | PDTuplePat [PDPatternBase var]
- | PDEmptyPat
- | PDConsPat (PDPatternBase var) (PDPatternBase var)
- | PDSnocPat (PDPatternBase var) (PDPatternBase var)
- | PDConstantPat ConstantExpr
- | PDDivPat (PDPatternBase var) (PDPatternBase var)
- | PDPlusPat (PDPatternBase var)
- | PDTermPat (PDPatternBase var) (PDPatternBase var)
- | PDSymbolPat (PDPatternBase var) (PDPatternBase var)
- | PDApply1Pat (PDPatternBase var) (PDPatternBase var)
- | PDApply2Pat (PDPatternBase var) (PDPatternBase var) (PDPatternBase var)
- | PDApply3Pat (PDPatternBase var) (PDPatternBase var) (PDPatternBase var) (PDPatternBase var)
- | PDApply4Pat (PDPatternBase var) (PDPatternBase var) (PDPatternBase var) (PDPatternBase var) (PDPatternBase var)
- | PDQuotePat (PDPatternBase var)
- | PDFunctionPat (PDPatternBase var) (PDPatternBase var)
- | PDSubPat (PDPatternBase var)
- | PDSupPat (PDPatternBase var)
- | PDUserPat (PDPatternBase var)
type PrimitiveDataPattern = PDPatternBase String
data Op = Op {
- repr :: String
- priority :: Int
- assoc :: Assoc
- isWedge :: Bool
}
data Assoc
- = InfixL
- | InfixR
- | InfixN
- | Prefix
reservedExprOp :: [Op]
reservedPatternOp :: [Op]
findOpFrom :: String -> [Op] -> Op
stringToVarWithIndices :: String -> VarWithIndices
extractNameFromVarWithIndices :: VarWithIndices -> String
data TypeExpr
- = TEInt
- | TEMathExpr
- | TEFloat
- | TEBool
- | TEChar
- | TEString
- | TEVar String
- | TEList TypeExpr
- | TETuple [TypeExpr]
- | TEFun TypeExpr TypeExpr
- | TEMatcher TypeExpr
- | TEPattern TypeExpr
- | TEIO TypeExpr
- | TETensor TypeExpr
- | TEVector TypeExpr
- | TEMatrix TypeExpr
- | TEDiffForm TypeExpr
- | TEApp TypeExpr [TypeExpr]
- | TEConstrained [ConstraintExpr] TypeExpr
data TensorShapeExpr
- = TSLit [Integer]
- | TSVar String
- | TSMixed [ShapeDim]
data ShapeDim
- = SDLit Integer
- | SDVar String
data TensorIndexExpr
- = TISub String
- | TISup String
- | TIPlaceholderSub
- | TIPlaceholderSup
data TypedParam
- = TPVar String TypeExpr
- | TPInvertedVar String TypeExpr
- | TPTuple [TypedParam]
- | TPWildcard TypeExpr
- | TPUntypedVar String
- | TPUntypedWildcard
data TypedVarWithIndices = TypedVarWithIndices {
- typedVarName :: String
- typedVarIndices :: [VarIndex]
- typedVarConstraints :: [ConstraintExpr]
- typedVarParams :: [TypedParam]
- typedVarRetType :: TypeExpr
}
data InductiveConstructor = InductiveConstructor {
- inductiveCtorName :: String
- inductiveCtorArgs :: [TypeExpr]
}
data PatternConstructor = PatternConstructor {
- patternCtorName :: String
- patternCtorArgs :: [TypeExpr]
}
data ClassDecl = ClassDecl {
- className :: String
- classTypeParams :: [String]
- classSuperclasses :: [ConstraintExpr]
- classMethods :: [ClassMethod]
}
data ClassMethod = ClassMethod {
- methodName :: String
- methodParams :: [TypedParam]
- methodRetType :: TypeExpr
- methodDefault :: Maybe Expr
}
data InstanceDecl = InstanceDecl {
- instanceConstraints :: [ConstraintExpr]
- instanceClass :: String
- instanceTypes :: [TypeExpr]
- instanceMethods :: [InstanceMethod]
}
data InstanceMethod = InstanceMethod {
- instMethodName :: String
- instMethodParams :: [String]
- instMethodBody :: Expr
}
data ConstraintExpr = ConstraintExpr {
- constraintClass :: String
- constraintTypes :: [TypeExpr]
}

Documentation

data TopExpr Source #

Constructors

Define VarWithIndices Expr
DefineWithType TypedVarWithIndices Expr	Definition with type annotation
Test Expr
Execute Expr
LoadFile String
Load String
InfixDecl Bool Op
InductiveDecl String [String] [InductiveConstructor]	Inductive data type declaration with type parameters e.g., inductive Ordering := \| Less \| Equal \| Greater inductive Maybe a := \| Nothing \| Just a String: type name, [String]: type parameters, [InductiveConstructor]: constructors
ClassDeclExpr ClassDecl	Type class declaration e.g., class Eq a where (==) (x: a) (y: a) : Bool
InstanceDeclExpr InstanceDecl	Type class instance declaration e.g., instance Eq Integer where (==) x y := x = y
PatternInductiveDecl String [String] [PatternConstructor]	Pattern inductive type declaration e.g., inductive pattern MyList a := \| myNil \| myCons a (MyList a) String: pattern type name, [String]: type parameters, [PatternConstructor]: constructors
PatternFunctionDecl String [String] [(String, TypeExpr)] TypeExpr Pattern	Pattern function declaration e.g., def pattern twin {a} (p1 : a) (p2 : MyList a) : MyList a := ... String: function name, [String]: type parameters, [(String, TypeExpr)]: parameters, TypeExpr: return type, Pattern: body
DeclareSymbol [String] (Maybe TypeExpr)	Symbol declaration e.g., declare symbol a11, a12, a21, a22 declare symbol x, y, z : Float [String]: symbol names, Maybe TypeExpr: optional type (defaults to Integer)

Instances

Instances details

Show TopExpr Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> TopExpr -> ShowS # show :: TopExpr -> String # showList :: [TopExpr] -> ShowS #
Pretty TopExpr Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: TopExpr -> Doc ann # prettyList :: [TopExpr] -> Doc ann #

data ConstantExpr Source #

Constructors

CharExpr Char
StringExpr Text
BoolExpr Bool
IntegerExpr Integer
FloatExpr Double
SomethingExpr
UndefinedExpr

Instances

Instances details

Show ConstantExpr Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> ConstantExpr -> ShowS # show :: ConstantExpr -> String # showList :: [ConstantExpr] -> ShowS #
Pretty ConstantExpr Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: ConstantExpr -> Doc ann # prettyList :: [ConstantExpr] -> Doc ann #

data Expr Source #

Constructors

ConstantExpr ConstantExpr
VarExpr String
FreshVarExpr
IndexedExpr Bool Expr [IndexExpr Expr]
SubrefsExpr Bool Expr Expr
SuprefsExpr Bool Expr Expr
UserrefsExpr Bool Expr Expr
TupleExpr [Expr]
CollectionExpr [Expr]
ConsExpr Expr Expr
JoinExpr Expr Expr
HashExpr [(Expr, Expr)]
VectorExpr [Expr]
LambdaExpr [Arg ArgPattern] Expr
LambdaExpr' [Arg VarWithIndices] Expr
TypedLambdaExpr [(String, TypeExpr)] TypeExpr Expr	Lambda with typed parameters and return type
MemoizedLambdaExpr [String] Expr
TypedMemoizedLambdaExpr [TypedParam] TypeExpr Expr	Memoized lambda with typed parameters
CambdaExpr String Expr
PatternFunctionExpr [String] Pattern
IfExpr Expr Expr Expr
LetExpr [BindingExpr] Expr
LetRecExpr [BindingExpr] Expr
WithSymbolsExpr [String] Expr
MatchExpr PMMode Expr Expr [MatchClause]
MatchAllExpr PMMode Expr Expr [MatchClause]
MatchLambdaExpr Expr [MatchClause]
MatchAllLambdaExpr Expr [MatchClause]
MatcherExpr [PatternDef]
AlgebraicDataMatcherExpr [(String, [Expr])]
QuoteExpr Expr
QuoteSymbolExpr Expr
WedgeApplyExpr Expr [Expr]
DoExpr [BindingExpr] Expr
PrefixExpr String Expr
InfixExpr Op Expr Expr
SectionExpr Op (Maybe Expr) (Maybe Expr)
SeqExpr Expr Expr
ApplyExpr Expr [Expr]
AnonParamFuncExpr Integer Expr
AnonTupleParamFuncExpr Integer Expr
AnonListParamFuncExpr Integer Expr
AnonParamExpr Integer
GenerateTensorExpr Expr Expr
TensorExpr Expr Expr
TensorContractExpr Expr
TensorMapExpr Expr Expr
TensorMap2Expr Expr Expr Expr
TransposeExpr Expr Expr
FlipIndicesExpr Expr
FunctionExpr [String]
TypeAnnotation Expr TypeExpr	Expression with type annotation (expr : type)

Instances

Instances details

Show Expr Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Pretty Expr Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: Expr -> Doc ann # prettyList :: [Expr] -> Doc ann #
Pretty MatchClause Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: MatchClause -> Doc ann # prettyList :: [MatchClause] -> Doc ann #

data Pattern Source #

Instances

Instances details

Show Pattern Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Pattern -> ShowS # show :: Pattern -> String # showList :: [Pattern] -> ShowS #
Pretty MatchClause Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: MatchClause -> Doc ann # prettyList :: [MatchClause] -> Doc ann #
Pretty Pattern Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: Pattern -> Doc ann # prettyList :: [Pattern] -> Doc ann #

data VarWithIndices Source #

Constructors

VarWithIndices String [VarIndex]

Instances

Instances details

Show VarWithIndices Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> VarWithIndices -> ShowS # show :: VarWithIndices -> String # showList :: [VarWithIndices] -> ShowS #
Eq VarWithIndices Source #
Instance details Defined in Language.Egison.AST Methods (==) :: VarWithIndices -> VarWithIndices -> Bool # (/=) :: VarWithIndices -> VarWithIndices -> Bool #
Pretty VarWithIndices Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: VarWithIndices -> Doc ann # prettyList :: [VarWithIndices] -> Doc ann #

makeApply :: String -> [Expr] -> Expr Source #

data Arg a Source #

Constructors

Arg a
InvertedArg a

Instances

Instances details

Show a => Show (Arg a) Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Arg a -> ShowS # show :: Arg a -> String # showList :: [Arg a] -> ShowS #
(Pretty a, Complex a) => Pretty (Arg a) Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: Arg a -> Doc ann # prettyList :: [Arg a] -> Doc ann #

data ArgPattern Source #

Constructors

APWildCard
APPatVar VarWithIndices
APInductivePat String [Arg ArgPattern]
APTuplePat [Arg ArgPattern]
APEmptyPat
APConsPat (Arg ArgPattern) ArgPattern
APSnocPat ArgPattern (Arg ArgPattern)

Instances

Instances details

Show ArgPattern Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> ArgPattern -> ShowS # show :: ArgPattern -> String # showList :: [ArgPattern] -> ShowS #
Pretty ArgPattern Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: ArgPattern -> Doc ann # prettyList :: [ArgPattern] -> Doc ann #

data IndexExpr a Source #

Constructors

Subscript a
Superscript a
SupSubscript a
MultiSubscript a a
MultiSuperscript a a
Userscript a

Instances

Instances details

Foldable IndexExpr Source #
Instance details Defined in Language.Egison.AST Methods fold :: Monoid m => IndexExpr m -> m # foldMap :: Monoid m => (a -> m) -> IndexExpr a -> m # foldMap' :: Monoid m => (a -> m) -> IndexExpr a -> m # foldr :: (a -> b -> b) -> b -> IndexExpr a -> b # foldr' :: (a -> b -> b) -> b -> IndexExpr a -> b # foldl :: (b -> a -> b) -> b -> IndexExpr a -> b # foldl' :: (b -> a -> b) -> b -> IndexExpr a -> b # foldr1 :: (a -> a -> a) -> IndexExpr a -> a # foldl1 :: (a -> a -> a) -> IndexExpr a -> a # toList :: IndexExpr a -> [a] # null :: IndexExpr a -> Bool # length :: IndexExpr a -> Int # elem :: Eq a => a -> IndexExpr a -> Bool # maximum :: Ord a => IndexExpr a -> a # minimum :: Ord a => IndexExpr a -> a # sum :: Num a => IndexExpr a -> a # product :: Num a => IndexExpr a -> a #
Traversable IndexExpr Source #
Instance details Defined in Language.Egison.AST Methods traverse :: Applicative f => (a -> f b) -> IndexExpr a -> f (IndexExpr b) # sequenceA :: Applicative f => IndexExpr (f a) -> f (IndexExpr a) # mapM :: Monad m => (a -> m b) -> IndexExpr a -> m (IndexExpr b) # sequence :: Monad m => IndexExpr (m a) -> m (IndexExpr a) #
Functor IndexExpr Source #
Instance details Defined in Language.Egison.AST Methods fmap :: (a -> b) -> IndexExpr a -> IndexExpr b # (<$) :: a -> IndexExpr b -> IndexExpr a #
Show a => Show (IndexExpr a) Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> IndexExpr a -> ShowS # show :: IndexExpr a -> String # showList :: [IndexExpr a] -> ShowS #
Eq a => Eq (IndexExpr a) Source #
Instance details Defined in Language.Egison.AST Methods (==) :: IndexExpr a -> IndexExpr a -> Bool # (/=) :: IndexExpr a -> IndexExpr a -> Bool #
Pretty (IndexExpr String) Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: IndexExpr String -> Doc ann # prettyList :: [IndexExpr String] -> Doc ann #
(Pretty a, Complex a) => Pretty (IndexExpr a) Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: IndexExpr a -> Doc ann # prettyList :: [IndexExpr a] -> Doc ann #

data VarIndex Source #

Constructors

VSubscript String
VSuperscript String
VMultiSubscript String Integer String
VMultiSuperscript String Integer String
VGroupScripts [VarIndex]
VSymmScripts [VarIndex]
VAntiSymmScripts [VarIndex]

Instances

Instances details

Show VarIndex Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> VarIndex -> ShowS # show :: VarIndex -> String # showList :: [VarIndex] -> ShowS #
Eq VarIndex Source #
Instance details Defined in Language.Egison.AST Methods (==) :: VarIndex -> VarIndex -> Bool # (/=) :: VarIndex -> VarIndex -> Bool #
Pretty VarIndex Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: VarIndex -> Doc ann # prettyList :: [VarIndex] -> Doc ann #

data PMMode Source #

Constructors

BFSMode
DFSMode

Instances

Instances details

Show PMMode Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> PMMode -> ShowS # show :: PMMode -> String # showList :: [PMMode] -> ShowS #

data BindingExpr Source #

Constructors

Bind PrimitiveDataPattern Expr
BindWithIndices VarWithIndices Expr
BindWithType TypedVarWithIndices Expr	Binding with type annotation (for where clauses)

Instances

Instances details

Show BindingExpr Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> BindingExpr -> ShowS # show :: BindingExpr -> String # showList :: [BindingExpr] -> ShowS #
Pretty BindingExpr Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: BindingExpr -> Doc ann # prettyList :: [BindingExpr] -> Doc ann #

type MatchClause = (Pattern, Expr) Source #

data PatternDef Source #

Pattern definition in a matcher (with optional type class constraints)

Constructors

PatternDef
Fields patDefPattern :: PrimitivePatPattern patDefMatcher :: Expr patDefClauses :: [(PrimitiveDataPattern, Expr)]

Instances

Instances details

Show PatternDef Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> PatternDef -> ShowS # show :: PatternDef -> String # showList :: [PatternDef] -> ShowS #

data LoopRange Source #

Constructors

LoopRange Expr Expr Pattern

Instances

Instances details

Show LoopRange Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> LoopRange -> ShowS # show :: LoopRange -> String # showList :: [LoopRange] -> ShowS #
Pretty LoopRange Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: LoopRange -> Doc ann # prettyList :: [LoopRange] -> Doc ann #

data PrimitivePatPattern Source #

Constructors

PPWildCard
PPPatVar
PPValuePat String
PPInductivePat String [PrimitivePatPattern]
PPTuplePat [PrimitivePatPattern]

Instances

Instances details

Show PrimitivePatPattern Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> PrimitivePatPattern -> ShowS # show :: PrimitivePatPattern -> String # showList :: [PrimitivePatPattern] -> ShowS #
Pretty PrimitivePatPattern Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: PrimitivePatPattern -> Doc ann # prettyList :: [PrimitivePatPattern] -> Doc ann #

data PDPatternBase var Source #

Constructors

PDWildCard
PDPatVar var
PDInductivePat String [PDPatternBase var]
PDTuplePat [PDPatternBase var]
PDEmptyPat
PDConsPat (PDPatternBase var) (PDPatternBase var)
PDSnocPat (PDPatternBase var) (PDPatternBase var)
PDConstantPat ConstantExpr
PDDivPat (PDPatternBase var) (PDPatternBase var)
PDPlusPat (PDPatternBase var)
PDTermPat (PDPatternBase var) (PDPatternBase var)
PDSymbolPat (PDPatternBase var) (PDPatternBase var)
PDApply1Pat (PDPatternBase var) (PDPatternBase var)
PDApply2Pat (PDPatternBase var) (PDPatternBase var) (PDPatternBase var)
PDApply3Pat (PDPatternBase var) (PDPatternBase var) (PDPatternBase var) (PDPatternBase var)
PDApply4Pat (PDPatternBase var) (PDPatternBase var) (PDPatternBase var) (PDPatternBase var) (PDPatternBase var)
PDQuotePat (PDPatternBase var)
PDFunctionPat (PDPatternBase var) (PDPatternBase var)
PDSubPat (PDPatternBase var)
PDSupPat (PDPatternBase var)
PDUserPat (PDPatternBase var)

Instances

Instances details

Foldable PDPatternBase Source #
Instance details Defined in Language.Egison.AST Methods fold :: Monoid m => PDPatternBase m -> m # foldMap :: Monoid m => (a -> m) -> PDPatternBase a -> m # foldMap' :: Monoid m => (a -> m) -> PDPatternBase a -> m # foldr :: (a -> b -> b) -> b -> PDPatternBase a -> b # foldr' :: (a -> b -> b) -> b -> PDPatternBase a -> b # foldl :: (b -> a -> b) -> b -> PDPatternBase a -> b # foldl' :: (b -> a -> b) -> b -> PDPatternBase a -> b # foldr1 :: (a -> a -> a) -> PDPatternBase a -> a # foldl1 :: (a -> a -> a) -> PDPatternBase a -> a # toList :: PDPatternBase a -> [a] # null :: PDPatternBase a -> Bool # length :: PDPatternBase a -> Int # elem :: Eq a => a -> PDPatternBase a -> Bool # maximum :: Ord a => PDPatternBase a -> a # minimum :: Ord a => PDPatternBase a -> a # sum :: Num a => PDPatternBase a -> a # product :: Num a => PDPatternBase a -> a #
Functor PDPatternBase Source #
Instance details Defined in Language.Egison.AST Methods fmap :: (a -> b) -> PDPatternBase a -> PDPatternBase b # (<$) :: a -> PDPatternBase b -> PDPatternBase a #
Pretty PrimitiveDataPattern Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: PrimitiveDataPattern -> Doc ann # prettyList :: [PrimitiveDataPattern] -> Doc ann #
Pretty IPrimitiveDataPattern Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: IPrimitiveDataPattern -> Doc ann # prettyList :: [IPrimitiveDataPattern] -> Doc ann #
Show var => Show (PDPatternBase var) Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> PDPatternBase var -> ShowS # show :: PDPatternBase var -> String # showList :: [PDPatternBase var] -> ShowS #

type PrimitiveDataPattern = PDPatternBase String Source #

data Op Source #

Constructors

Op
Fields repr :: String priority :: Int assoc :: Assoc isWedge :: Bool

Instances

Instances details

Show Op Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Op -> ShowS # show :: Op -> String # showList :: [Op] -> ShowS #
Eq Op Source #
Instance details Defined in Language.Egison.AST Methods (==) :: Op -> Op -> Bool # (/=) :: Op -> Op -> Bool #
Ord Op Source #
Instance details Defined in Language.Egison.AST Methods compare :: Op -> Op -> Ordering # (<) :: Op -> Op -> Bool # (<=) :: Op -> Op -> Bool # (>) :: Op -> Op -> Bool # (>=) :: Op -> Op -> Bool # max :: Op -> Op -> Op # min :: Op -> Op -> Op #
Pretty Op Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: Op -> Doc ann # prettyList :: [Op] -> Doc ann #

data Assoc Source #

Constructors

InfixL
InfixR
InfixN
Prefix

Instances

Instances details

Show Assoc Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Assoc -> ShowS # show :: Assoc -> String # showList :: [Assoc] -> ShowS #
Eq Assoc Source #
Instance details Defined in Language.Egison.AST Methods (==) :: Assoc -> Assoc -> Bool # (/=) :: Assoc -> Assoc -> Bool #
Ord Assoc Source #
Instance details Defined in Language.Egison.AST Methods compare :: Assoc -> Assoc -> Ordering # (<) :: Assoc -> Assoc -> Bool # (<=) :: Assoc -> Assoc -> Bool # (>) :: Assoc -> Assoc -> Bool # (>=) :: Assoc -> Assoc -> Bool # max :: Assoc -> Assoc -> Assoc # min :: Assoc -> Assoc -> Assoc #

reservedExprOp :: [Op] Source #

reservedPatternOp :: [Op] Source #

findOpFrom :: String -> [Op] -> Op Source #

stringToVarWithIndices :: String -> VarWithIndices Source #

extractNameFromVarWithIndices :: VarWithIndices -> String Source #

data TypeExpr Source #

Type expression in source code

Constructors

TEInt	Integer (= MathExpr)
TEMathExpr	MathExpr (= Integer)
TEFloat	Float
TEBool	Bool
TEChar	Char
TEString	String
TEVar String	Type variable, e.g., a
TEList TypeExpr	List type, e.g., [a]
TETuple [TypeExpr]	Tuple type, e.g., (a, b)
TEFun TypeExpr TypeExpr	Function type, e.g., a -> b
TEMatcher TypeExpr	Matcher type
TEPattern TypeExpr	Pattern type, e.g., Pattern a
TEIO TypeExpr	IO type, e.g., IO ()
TETensor TypeExpr	Tensor type, e.g., Tensor a
TEVector TypeExpr	Vector type, e.g., Vector a (1D tensor)
TEMatrix TypeExpr	Matrix type, e.g., Matrix a (2D tensor)
TEDiffForm TypeExpr	DiffForm type, e.g., DiffForm a (differential form, alias for Tensor)
TEApp TypeExpr [TypeExpr]	Type application, e.g., List a
TEConstrained [ConstraintExpr] TypeExpr	Constrained type, e.g., Eq a => a

Instances

Instances details

Show TypeExpr Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> TypeExpr -> ShowS # show :: TypeExpr -> String # showList :: [TypeExpr] -> ShowS #
Eq TypeExpr Source #
Instance details Defined in Language.Egison.AST Methods (==) :: TypeExpr -> TypeExpr -> Bool # (/=) :: TypeExpr -> TypeExpr -> Bool #
Pretty TypeExpr Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: TypeExpr -> Doc ann # prettyList :: [TypeExpr] -> Doc ann #

data TensorShapeExpr Source #

Tensor shape expression

Constructors

TSLit [Integer]	Concrete shape, e.g., [2, 2]
TSVar String	Shape variable
TSMixed [ShapeDim]	Mixed shape, e.g., [n, m, 2]

Instances

Instances details

Show TensorShapeExpr Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> TensorShapeExpr -> ShowS # show :: TensorShapeExpr -> String # showList :: [TensorShapeExpr] -> ShowS #
Eq TensorShapeExpr Source #
Instance details Defined in Language.Egison.AST Methods (==) :: TensorShapeExpr -> TensorShapeExpr -> Bool # (/=) :: TensorShapeExpr -> TensorShapeExpr -> Bool #

data ShapeDim Source #

Shape dimension (can be concrete or variable)

Constructors

SDLit Integer	Concrete dimension, e.g., 2
SDVar String	Dimension variable, e.g., n

Instances

Instances details

Show ShapeDim Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> ShapeDim -> ShowS # show :: ShapeDim -> String # showList :: [ShapeDim] -> ShowS #
Eq ShapeDim Source #
Instance details Defined in Language.Egison.AST Methods (==) :: ShapeDim -> ShapeDim -> Bool # (/=) :: ShapeDim -> ShapeDim -> Bool #

data TensorIndexExpr Source #

Tensor index expression

Constructors

TISub String	Subscript, e.g., _i
TISup String	Superscript, e.g., ~i
TIPlaceholderSub	Subscript placeholder, _#
TIPlaceholderSup	Superscript placeholder, ~#

Instances

Instances details

Show TensorIndexExpr Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> TensorIndexExpr -> ShowS # show :: TensorIndexExpr -> String # showList :: [TensorIndexExpr] -> ShowS #
Eq TensorIndexExpr Source #
Instance details Defined in Language.Egison.AST Methods (==) :: TensorIndexExpr -> TensorIndexExpr -> Bool # (/=) :: TensorIndexExpr -> TensorIndexExpr -> Bool #

data TypedParam Source #

Typed parameter pattern

Constructors

TPVar String TypeExpr	Simple variable with type: (x: a)
TPInvertedVar String TypeExpr	Inverted variable with type: (!x: a)
TPTuple [TypedParam]	Tuple pattern: ((x: a), (y: b)) or (x: a, y: b)
TPWildcard TypeExpr	Wildcard with type: (_: a)
TPUntypedVar String	Untyped variable in tuple: x (inferred)
TPUntypedWildcard	Untyped wildcard: _

Instances

Instances details

Show TypedParam Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> TypedParam -> ShowS # show :: TypedParam -> String # showList :: [TypedParam] -> ShowS #
Eq TypedParam Source #
Instance details Defined in Language.Egison.AST Methods (==) :: TypedParam -> TypedParam -> Bool # (/=) :: TypedParam -> TypedParam -> Bool #
Pretty TypedParam Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: TypedParam -> Doc ann # prettyList :: [TypedParam] -> Doc ann #

data TypedVarWithIndices Source #

Variable with type annotation

Constructors

TypedVarWithIndices
Fields typedVarName :: String typedVarIndices :: [VarIndex] typedVarConstraints :: [ConstraintExpr] Type class constraints typedVarParams :: [TypedParam] Typed parameters (can include tuples) typedVarRetType :: TypeExpr Return type

Instances

Instances details

Show TypedVarWithIndices Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> TypedVarWithIndices -> ShowS # show :: TypedVarWithIndices -> String # showList :: [TypedVarWithIndices] -> ShowS #
Eq TypedVarWithIndices Source #
Instance details Defined in Language.Egison.AST Methods (==) :: TypedVarWithIndices -> TypedVarWithIndices -> Bool # (/=) :: TypedVarWithIndices -> TypedVarWithIndices -> Bool #

data InductiveConstructor Source #

Constructor for inductive data type e.g., Less, S Nat, Node Tree Tree

Constructors

InductiveConstructor
Fields inductiveCtorName :: String Constructor name (e.g., Less, S, Node) inductiveCtorArgs :: [TypeExpr] Constructor argument types (e.g., [], [Nat], [Tree, Tree])

Instances

Instances details

Show InductiveConstructor Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> InductiveConstructor -> ShowS # show :: InductiveConstructor -> String # showList :: [InductiveConstructor] -> ShowS #
Eq InductiveConstructor Source #
Instance details Defined in Language.Egison.AST Methods (==) :: InductiveConstructor -> InductiveConstructor -> Bool # (/=) :: InductiveConstructor -> InductiveConstructor -> Bool #

data PatternConstructor Source #

Constructor for pattern inductive type e.g., myNil, myCons a (MyList a)

Constructors

PatternConstructor
Fields patternCtorName :: String Pattern constructor name (e.g., "myNil", "myCons") patternCtorArgs :: [TypeExpr] Pattern constructor argument types (e.g., [], [a, MyList a])

Instances

Instances details

Show PatternConstructor Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> PatternConstructor -> ShowS # show :: PatternConstructor -> String # showList :: [PatternConstructor] -> ShowS #
Eq PatternConstructor Source #
Instance details Defined in Language.Egison.AST Methods (==) :: PatternConstructor -> PatternConstructor -> Bool # (/=) :: PatternConstructor -> PatternConstructor -> Bool #

data ClassDecl Source #

Type class declaration e.g., class Eq a where ... class Eq a => Ord a where ...

Constructors

ClassDecl
Fields className :: String Class name (e.g., Eq, Ord) classTypeParams :: [String] Type parameters (e.g., ["a"]) classSuperclasses :: [ConstraintExpr] Superclass constraints (e.g., [Eq a] for Ord) classMethods :: [ClassMethod] Method declarations

Instances

Instances details

Show ClassDecl Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> ClassDecl -> ShowS # show :: ClassDecl -> String # showList :: [ClassDecl] -> ShowS #

data ClassMethod Source #

Type class method declaration e.g., (==) (x: a) (y: a) : Bool (/=) (x: a) (y: a) : Bool := not (x == y)

Constructors

ClassMethod
Fields methodName :: String Method name (e.g., "==") methodParams :: [TypedParam] Method parameters with types methodRetType :: TypeExpr Return type methodDefault :: Maybe Expr Optional default implementation

Instances

Instances details

Show ClassMethod Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> ClassMethod -> ShowS # show :: ClassMethod -> String # showList :: [ClassMethod] -> ShowS #

data InstanceDecl Source #

Type class instance declaration e.g., instance Eq Integer where ... instance Eq a => Eq [a] where ...

Constructors

InstanceDecl
Fields instanceConstraints :: [ConstraintExpr] Instance constraints (e.g., [Eq a] for Eq [a]) instanceClass :: String Class name (e.g., Eq) instanceTypes :: [TypeExpr] Instance types (e.g., [Integer] or [[a]]) instanceMethods :: [InstanceMethod] Method implementations

Instances

Instances details

Show InstanceDecl Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> InstanceDecl -> ShowS # show :: InstanceDecl -> String # showList :: [InstanceDecl] -> ShowS #

data InstanceMethod Source #

Instance method implementation e.g., (==) x y := x = y

Constructors

InstanceMethod
Fields instMethodName :: String Method name instMethodParams :: [String] Parameter names instMethodBody :: Expr Method body

Instances

Instances details

Show InstanceMethod Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> InstanceMethod -> ShowS # show :: InstanceMethod -> String # showList :: [InstanceMethod] -> ShowS #

data ConstraintExpr Source #

Type constraint expression e.g., Eq a, Ord a

Constructors

ConstraintExpr
Fields constraintClass :: String Class name constraintTypes :: [TypeExpr] Type arguments

Instances

Instances details

Show ConstraintExpr Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> ConstraintExpr -> ShowS # show :: ConstraintExpr -> String # showList :: [ConstraintExpr] -> ShowS #
Eq ConstraintExpr Source #
Instance details Defined in Language.Egison.AST Methods (==) :: ConstraintExpr -> ConstraintExpr -> Bool # (/=) :: ConstraintExpr -> ConstraintExpr -> Bool #
Pretty ConstraintExpr Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: ConstraintExpr -> Doc ann # prettyList :: [ConstraintExpr] -> Doc ann #

WildCard
PatVar String
ValuePat Expr
PredPat Expr
IndexedPat Pattern [Expr]
LetPat [BindingExpr] Pattern
InfixPat Op Pattern Pattern
NotPat Pattern
AndPat Pattern Pattern
OrPat Pattern Pattern
ForallPat Pattern Pattern
TuplePat [Pattern]
InductivePat String [Pattern]
LoopPat String LoopRange Pattern Pattern
ContPat
PApplyPat Expr [Pattern]
VarPat String
InductiveOrPApplyPat String [Pattern]
SeqNilPat
SeqConsPat Pattern Pattern
LaterPatVar
DApplyPat Pattern [Pattern]