Copyright	Satoshi Egi
License	MIT
Safe Haskell	Safe
Language	Haskell98

Language.Egison.AST

Description

This module defines the syntax of Egison.

Documentation

data EgisonTopExpr Source #

Constructors

Define Var EgisonExpr
Redefine Var EgisonExpr
Test EgisonExpr
Execute EgisonExpr
LoadFile String
Load String

Instances

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

data EgisonExpr Source #

Constructors

CharExpr Char
StringExpr Text
BoolExpr Bool
IntegerExpr Integer
FloatExpr Double
VarExpr Var
FreshVarExpr
IndexedExpr Bool EgisonExpr [Index EgisonExpr]
SubrefsExpr Bool EgisonExpr EgisonExpr
SuprefsExpr Bool EgisonExpr EgisonExpr
UserrefsExpr Bool EgisonExpr EgisonExpr
PowerExpr EgisonExpr EgisonExpr
InductiveDataExpr String [EgisonExpr]
TupleExpr [EgisonExpr]
CollectionExpr [InnerExpr]
ArrayExpr [EgisonExpr]
HashExpr [(EgisonExpr, EgisonExpr)]
VectorExpr [EgisonExpr]
LambdaExpr [Arg] EgisonExpr
LambdaArgExpr [Char]
MemoizedLambdaExpr [String] EgisonExpr
MemoizeExpr [(EgisonExpr, EgisonExpr, EgisonExpr)] EgisonExpr
CambdaExpr String EgisonExpr
ProcedureExpr [String] EgisonExpr
MacroExpr [String] EgisonExpr
PatternFunctionExpr [String] EgisonPattern
IfExpr EgisonExpr EgisonExpr EgisonExpr
LetRecExpr [BindingExpr] EgisonExpr
LetExpr [BindingExpr] EgisonExpr
LetStarExpr [BindingExpr] EgisonExpr
WithSymbolsExpr [String] EgisonExpr
MatchExpr PMMode EgisonExpr EgisonExpr [MatchClause]
MatchAllExpr PMMode EgisonExpr EgisonExpr [MatchClause]
MatchLambdaExpr EgisonExpr [MatchClause]
MatchAllLambdaExpr EgisonExpr [MatchClause]
MatcherExpr [PatternDef]
AlgebraicDataMatcherExpr [(String, [EgisonExpr])]
QuoteExpr EgisonExpr
QuoteSymbolExpr EgisonExpr
WedgeApplyExpr EgisonExpr EgisonExpr
DoExpr [BindingExpr] EgisonExpr
IoExpr EgisonExpr
UnaryOpExpr String EgisonExpr
BinaryOpExpr EgisonBinOp EgisonExpr EgisonExpr
SeqExpr EgisonExpr EgisonExpr
ApplyExpr EgisonExpr EgisonExpr
CApplyExpr EgisonExpr EgisonExpr
PartialExpr Integer EgisonExpr
PartialVarExpr Integer
GenerateArrayExpr EgisonExpr (EgisonExpr, EgisonExpr)
ArrayBoundsExpr EgisonExpr
ArrayRefExpr EgisonExpr EgisonExpr
GenerateTensorExpr EgisonExpr EgisonExpr
TensorExpr EgisonExpr EgisonExpr EgisonExpr EgisonExpr
TensorContractExpr EgisonExpr EgisonExpr
TensorMapExpr EgisonExpr EgisonExpr
TensorMap2Expr EgisonExpr EgisonExpr EgisonExpr
TransposeExpr EgisonExpr EgisonExpr
FlipIndicesExpr EgisonExpr
FunctionExpr [EgisonExpr]
SomethingExpr
UndefinedExpr

Instances

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

data EgisonPattern Source #

Instances

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

data Var Source #

Constructors

Var [String] [Index ()]

Instances

Eq Var Source #
Instance details Defined in Language.Egison.AST Methods (==) :: Var -> Var -> Bool # (/=) :: Var -> Var -> Bool #
Show Var Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Var -> ShowS # show :: Var -> String # showList :: [Var] -> ShowS #
Generic Var Source #
Instance details Defined in Language.Egison.AST Associated Types type Rep Var :: Type -> Type # Methods from :: Var -> Rep Var x # to :: Rep Var x -> Var #
Hashable Var Source #
Instance details Defined in Language.Egison.AST Methods hashWithSalt :: Int -> Var -> Int # hash :: Var -> Int #
Pretty BindingExpr Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: BindingExpr -> Doc ann # prettyList :: [BindingExpr] -> Doc ann #
Pretty Var Source #
Instance details Defined in Language.Egison.Pretty Methods pretty :: Var -> Doc ann # prettyList :: [Var] -> Doc ann #
PrettyS Var Source #
Instance details Defined in Language.Egison.Pretty Methods prettyS :: Var -> String Source #
type Rep Var Source #
Instance details Defined in Language.Egison.AST type Rep Var = D1 (MetaData "Var" "Language.Egison.AST" "egison-3.10.1-1CoeIFISJriC1SnHBnyqXP" False) (C1 (MetaCons "Var" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Index ()])))

data Arg Source #

Constructors

ScalarArg String
InvertedScalarArg String
TensorArg String

Instances

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

data Index a Source #

Constructors

Subscript a
Superscript a
SupSubscript a
MultiSubscript a a
MultiSuperscript a a
DFscript Integer Integer
Userscript a
DotSubscript a
DotSupscript a

Instances

Eq a => Eq (Index a) Source #
Instance details Defined in Language.Egison.AST Methods (==) :: Index a -> Index a -> Bool # (/=) :: Index a -> Index a -> Bool #
Show (Index ()) Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Index () -> ShowS # show :: Index () -> String # showList :: [Index ()] -> ShowS #
Show (Index String) Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Index String -> ShowS # show :: Index String -> String # showList :: [Index String] -> ShowS #
Show (Index EgisonExpr) Source #
Instance details Defined in Language.Egison.AST Methods showsPrec :: Int -> Index EgisonExpr -> ShowS # show :: Index EgisonExpr -> String # showList :: [Index EgisonExpr] -> ShowS #
Show (Index ScalarData) Source #
Instance details Defined in Language.Egison.Types Methods showsPrec :: Int -> Index ScalarData -> ShowS # show :: Index ScalarData -> String # showList :: [Index ScalarData] -> ShowS #
Show (Index EgisonValue) Source #
Instance details Defined in Language.Egison.Types Methods showsPrec :: Int -> Index EgisonValue -> ShowS # show :: Index EgisonValue -> String # showList :: [Index EgisonValue] -> ShowS #
Generic (Index a) Source #
Instance details Defined in Language.Egison.AST Associated Types type Rep (Index a) :: Type -> Type # Methods from :: Index a -> Rep (Index a) x # to :: Rep (Index a) x -> Index a #
Hashable (Index ()) Source #
Instance details Defined in Language.Egison.AST Methods hashWithSalt :: Int -> Index () -> Int # hash :: Index () -> Int #
PrettyS (Index EgisonExpr) Source #
Instance details Defined in Language.Egison.Pretty Methods prettyS :: Index EgisonExpr -> String Source #
PrettyS (Index ScalarData) Source #
Instance details Defined in Language.Egison.Pretty Methods prettyS :: Index ScalarData -> String Source #
PrettyS (Index EgisonValue) Source #
Instance details Defined in Language.Egison.Pretty Methods prettyS :: Index EgisonValue -> String Source #
type Rep (Index a) Source #
Instance details Defined in Language.Egison.AST type Rep (Index a) = D1 (MetaData "Index" "Language.Egison.AST" "egison-3.10.1-1CoeIFISJriC1SnHBnyqXP" False) (((C1 (MetaCons "Subscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "Superscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: (C1 (MetaCons "SupSubscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "MultiSubscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :+: ((C1 (MetaCons "MultiSuperscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "DFscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) :+: (C1 (MetaCons "Userscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: (C1 (MetaCons "DotSubscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "DotSupscript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))))

data PMMode Source #

Constructors

BFSMode
DFSMode

Instances

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

data InnerExpr Source #

Constructors

ElementExpr EgisonExpr
SubCollectionExpr EgisonExpr

Instances

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

type BindingExpr = ([Var], EgisonExpr) Source #

type MatchClause = (EgisonPattern, EgisonExpr) Source #

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

data LoopRange Source #

Constructors

LoopRange EgisonExpr EgisonExpr EgisonPattern

Instances

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

data PrimitivePatPattern Source #

Constructors

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

Instances

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

data PrimitiveDataPattern Source #

Constructors

PDWildCard
PDPatVar String
PDInductivePat String [PrimitiveDataPattern]
PDTuplePat [PrimitiveDataPattern]
PDEmptyPat
PDConsPat PrimitiveDataPattern PrimitiveDataPattern
PDSnocPat PrimitiveDataPattern PrimitiveDataPattern
PDConstantPat EgisonExpr

Instances

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

data EgisonBinOp Source #

Constructors

EgisonBinOp
Fields repr :: String func :: String priority :: Int assoc :: BinOpAssoc isWedge :: Bool

Instances

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

data BinOpAssoc Source #

Constructors

LeftAssoc
RightAssoc
NonAssoc

Instances

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

reservedBinops :: [EgisonBinOp] Source #

stringToVar :: String -> Var Source #

stringToVarExpr :: String -> EgisonExpr Source #

WildCard
PatVar Var
ValuePat EgisonExpr
PredPat EgisonExpr
IndexedPat EgisonPattern [EgisonExpr]
LetPat [BindingExpr] EgisonPattern
LaterPat EgisonPattern
NotPat EgisonPattern
AndPat [EgisonPattern]
OrPat [EgisonPattern]
TuplePat [EgisonPattern]
InductivePat String [EgisonPattern]
LoopPat Var LoopRange EgisonPattern EgisonPattern
ContPat
PApplyPat EgisonExpr [EgisonPattern]
VarPat String
SeqNilPat
SeqConsPat EgisonPattern EgisonPattern
LaterPatVar
DApplyPat EgisonPattern [EgisonPattern]
DivPat EgisonPattern EgisonPattern
PlusPat [EgisonPattern]
MultPat [EgisonPattern]
PowerPat EgisonPattern EgisonPattern