License	MIT
Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Egison.AST

Description

This module defines the syntax of Egison.

Documentation

data TopExpr Source #

Constructors

Define VarWithIndices Expr
Test Expr
Execute Expr
LoadFile String
Load String
InfixDecl Bool Op

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

Instances details

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

data VarWithIndices Source #

Constructors

VarWithIndices String [VarIndex]

Instances

Instances details

Eq VarWithIndices Source #
Instance details Defined in Language.Egison.AST Methods (==) :: VarWithIndices -> VarWithIndices -> Bool # (/=) :: VarWithIndices -> VarWithIndices -> Bool #
Show VarWithIndices Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> VarWithIndices -> ShowS # show :: VarWithIndices -> String # showList :: [VarWithIndices] -> ShowS #
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

ScalarArg a
InvertedScalarArg a
TensorArg 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

Functor IndexExpr Source #
Instance details Defined in Language.Egison.AST Methods fmap :: (a -> b) -> IndexExpr a -> IndexExpr b # (<$) :: a -> IndexExpr b -> IndexExpr a #
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) #
Eq a => Eq (IndexExpr a) Source #
Instance details Defined in Language.Egison.AST Methods (==) :: IndexExpr a -> IndexExpr a -> Bool # (/=) :: IndexExpr a -> IndexExpr a -> Bool #
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 #
(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 #
Pretty (IndexExpr String) Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: IndexExpr String -> Doc ann # prettyList :: [IndexExpr String] -> 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

Eq VarIndex Source #
Instance details Defined in Language.Egison.AST Methods (==) :: VarIndex -> VarIndex -> Bool # (/=) :: VarIndex -> VarIndex -> Bool #
Show VarIndex Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> VarIndex -> ShowS # show :: VarIndex -> String # showList :: [VarIndex] -> ShowS #
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

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 #

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

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

Instances

Instances details

Functor PDPatternBase Source #
Instance details Defined in Language.Egison.AST Methods fmap :: (a -> b) -> PDPatternBase a -> PDPatternBase b # (<$) :: a -> PDPatternBase b -> PDPatternBase a #
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 #
Pretty PrimitiveDataPattern Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: PrimitiveDataPattern -> Doc ann # prettyList :: [PrimitiveDataPattern] -> 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

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 #
Show Op Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Op -> ShowS # show :: Op -> String # showList :: [Op] -> ShowS #
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

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 #
Show Assoc Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Assoc -> ShowS # show :: Assoc -> String # showList :: [Assoc] -> ShowS #

reservedExprOp :: [Op] Source #

reservedPatternOp :: [Op] Source #

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

stringToVarWithIndices :: String -> VarWithIndices Source #

extractNameFromVarWithIndices :: VarWithIndices -> String Source #

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]