Language.Egison.AST

This module defines the syntax of Egison.

Documentation

data TopExpr

Constructors

Define VarWithIndices Expr

Test Expr

Execute Expr

LoadFile String

Load String

InfixDecl Bool Op

Instances

Show TopExpr

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> TopExpr -> ShowS

show :: TopExpr -> String

showList :: [TopExpr] -> ShowS

Pretty TopExpr

Defined in Language.Egison.Pretty

Methods

pretty :: TopExpr -> Doc ann

prettyList :: [TopExpr] -> Doc ann

data ConstantExpr

Constructors

CharExpr Char

StringExpr Text

BoolExpr Bool

IntegerExpr Integer

FloatExpr Double

SomethingExpr

UndefinedExpr

Instances

Show ConstantExpr

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> ConstantExpr -> ShowS

show :: ConstantExpr -> String

showList :: [ConstantExpr] -> ShowS

Pretty ConstantExpr

Defined in Language.Egison.Pretty

Methods

pretty :: ConstantExpr -> Doc ann

prettyList :: [ConstantExpr] -> Doc ann

data Expr

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

MemoizedLambdaExpr [String] 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]

CApplyExpr 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]

Instances

Show Expr

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

Pretty MatchClause

Defined in Language.Egison.Pretty

Methods

pretty :: MatchClause -> Doc ann

prettyList :: [MatchClause] -> Doc ann

Pretty Expr

Defined in Language.Egison.Pretty

Methods

pretty :: Expr -> Doc ann

prettyList :: [Expr] -> Doc ann

data Pattern

Constructors

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]

Instances

Show Pattern

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Pattern -> ShowS

show :: Pattern -> String

showList :: [Pattern] -> ShowS

Pretty Pattern

Defined in Language.Egison.Pretty

Methods

pretty :: Pattern -> Doc ann

prettyList :: [Pattern] -> Doc ann

Pretty MatchClause

Defined in Language.Egison.Pretty

Methods

pretty :: MatchClause -> Doc ann

prettyList :: [MatchClause] -> Doc ann

data VarWithIndices

Constructors

VarWithIndices String [VarIndex]

Instances

Eq VarWithIndices

Defined in Language.Egison.AST

Methods

(==) :: VarWithIndices -> VarWithIndices -> Bool

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

Show VarWithIndices

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> VarWithIndices -> ShowS

show :: VarWithIndices -> String

showList :: [VarWithIndices] -> ShowS

Pretty VarWithIndices

Defined in Language.Egison.Pretty

Methods

pretty :: VarWithIndices -> Doc ann

prettyList :: [VarWithIndices] -> Doc ann

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

data Arg a

Constructors

ScalarArg a

InvertedScalarArg a

TensorArg a

Instances

Show a => Show (Arg a)

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)

Defined in Language.Egison.Pretty

Methods

pretty :: Arg a -> Doc ann

prettyList :: [Arg a] -> Doc ann

data ArgPattern

Constructors

APWildCard

APPatVar VarWithIndices

APInductivePat String [Arg ArgPattern]

APTuplePat [Arg ArgPattern]

APEmptyPat

APConsPat (Arg ArgPattern) ArgPattern

APSnocPat ArgPattern (Arg ArgPattern)

Instances

Show ArgPattern

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> ArgPattern -> ShowS

show :: ArgPattern -> String

showList :: [ArgPattern] -> ShowS

Pretty ArgPattern

Defined in Language.Egison.Pretty

Methods

pretty :: ArgPattern -> Doc ann

prettyList :: [ArgPattern] -> Doc ann

data IndexExpr a

Constructors

Subscript a

Superscript a

SupSubscript a

MultiSubscript a a

MultiSuperscript a a

Userscript a

Instances

Functor IndexExpr

Defined in Language.Egison.AST

Methods

fmap :: (a -> b) -> IndexExpr a -> IndexExpr b

(<$) :: a -> IndexExpr b -> IndexExpr a

Foldable IndexExpr

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

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)

Eq a => Eq (IndexExpr a)

Defined in Language.Egison.AST

Methods

(==) :: IndexExpr a -> IndexExpr a -> Bool

(/=) :: IndexExpr a -> IndexExpr a -> Bool

Show a => Show (IndexExpr a)

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> IndexExpr a -> ShowS

show :: IndexExpr a -> String

showList :: [IndexExpr a] -> ShowS

(Pretty a, Complex a) => Pretty (IndexExpr a)

Defined in Language.Egison.Pretty

Methods

pretty :: IndexExpr a -> Doc ann

prettyList :: [IndexExpr a] -> Doc ann

Pretty (IndexExpr String)

Defined in Language.Egison.Pretty

Methods

pretty :: IndexExpr String -> Doc ann

prettyList :: [IndexExpr String] -> Doc ann

data VarIndex

Constructors

VSubscript String

VSuperscript String

VMultiSubscript String Integer String

VMultiSuperscript String Integer String

VGroupScripts [VarIndex]

VSymmScripts [VarIndex]

VAntiSymmScripts [VarIndex]

Instances

Eq VarIndex

Defined in Language.Egison.AST

Methods

(==) :: VarIndex -> VarIndex -> Bool

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

Show VarIndex

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> VarIndex -> ShowS

show :: VarIndex -> String

showList :: [VarIndex] -> ShowS

Pretty VarIndex

Defined in Language.Egison.Pretty

Methods

pretty :: VarIndex -> Doc ann

prettyList :: [VarIndex] -> Doc ann

data PMMode

Constructors

BFSMode

DFSMode

Instances

Show PMMode

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> PMMode -> ShowS

show :: PMMode -> String

showList :: [PMMode] -> ShowS

data BindingExpr

Constructors

Bind PrimitiveDataPattern Expr

BindWithIndices VarWithIndices Expr

Instances

Show BindingExpr

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> BindingExpr -> ShowS

show :: BindingExpr -> String

showList :: [BindingExpr] -> ShowS

Pretty BindingExpr

Defined in Language.Egison.Pretty

Methods

pretty :: BindingExpr -> Doc ann

prettyList :: [BindingExpr] -> Doc ann

type MatchClause = (Pattern, Expr)

type PatternDef = (PrimitivePatPattern, Expr, [(PrimitiveDataPattern, Expr)])

data LoopRange

Constructors

LoopRange Expr Expr Pattern

Instances

Show LoopRange

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> LoopRange -> ShowS

show :: LoopRange -> String

showList :: [LoopRange] -> ShowS

Pretty LoopRange

Defined in Language.Egison.Pretty

Methods

pretty :: LoopRange -> Doc ann

prettyList :: [LoopRange] -> Doc ann

data PrimitivePatPattern

Constructors

PPWildCard

PPPatVar

PPValuePat String

PPInductivePat String [PrimitivePatPattern]

PPTuplePat [PrimitivePatPattern]

Instances

Show PrimitivePatPattern

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> PrimitivePatPattern -> ShowS

show :: PrimitivePatPattern -> String

showList :: [PrimitivePatPattern] -> ShowS

Pretty PrimitivePatPattern

Defined in Language.Egison.Pretty

Methods

pretty :: PrimitivePatPattern -> Doc ann

prettyList :: [PrimitivePatPattern] -> Doc ann

data PDPatternBase var

Constructors

PDWildCard

PDPatVar var

PDInductivePat String [PDPatternBase var]

PDTuplePat [PDPatternBase var]

PDEmptyPat

PDConsPat (PDPatternBase var) (PDPatternBase var)

PDSnocPat (PDPatternBase var) (PDPatternBase var)

PDConstantPat ConstantExpr

Instances

Functor PDPatternBase

Defined in Language.Egison.AST

Methods

fmap :: (a -> b) -> PDPatternBase a -> PDPatternBase b

(<$) :: a -> PDPatternBase b -> PDPatternBase a

Foldable PDPatternBase

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

Pretty PrimitiveDataPattern

Defined in Language.Egison.Pretty

Methods

pretty :: PrimitiveDataPattern -> Doc ann

prettyList :: [PrimitiveDataPattern] -> Doc ann

Show var => Show (PDPatternBase var)

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> PDPatternBase var -> ShowS

show :: PDPatternBase var -> String

showList :: [PDPatternBase var] -> ShowS

type PrimitiveDataPattern = PDPatternBase String

data Op

Constructors

Op

Fields

• repr :: String
• priority :: Int
• assoc :: Assoc
• isWedge :: Bool

Instances

Eq Op

Defined in Language.Egison.AST

Methods

(==) :: Op -> Op -> Bool

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

Ord Op

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

Show Op

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Op -> ShowS

show :: Op -> String

showList :: [Op] -> ShowS

Pretty Op

Defined in Language.Egison.Pretty

Methods

pretty :: Op -> Doc ann

prettyList :: [Op] -> Doc ann

data Assoc

Constructors

InfixL

InfixR

InfixN

Prefix

Instances

Eq Assoc

Defined in Language.Egison.AST

Methods

(==) :: Assoc -> Assoc -> Bool

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

Ord Assoc

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

Show Assoc

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Assoc -> ShowS

show :: Assoc -> String

showList :: [Assoc] -> ShowS

reservedExprOp :: [Op]

reservedPatternOp :: [Op]

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

stringToVarWithIndices :: String -> VarWithIndices

extractNameFromVarWithIndices :: VarWithIndices -> String