Language.Egison.AST

This module defines the syntax of Egison.

Documentation

data EgisonTopExpr

Constructors

Define Var EgisonExpr

DefineWithIndices VarWithIndices EgisonExpr

Redefine Var EgisonExpr

Test EgisonExpr

Execute EgisonExpr

LoadFile String

Load String

InfixDecl Bool Infix

Instances

Eq EgisonTopExpr

Defined in Language.Egison.AST

Methods

(==) :: EgisonTopExpr -> EgisonTopExpr -> Bool

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

Show EgisonTopExpr

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> EgisonTopExpr -> ShowS

show :: EgisonTopExpr -> String

showList :: [EgisonTopExpr] -> ShowS

Pretty EgisonTopExpr

Defined in Language.Egison.Pretty

Methods

pretty :: EgisonTopExpr -> Doc ann

prettyList :: [EgisonTopExpr] -> Doc ann

data EgisonExpr

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

MemoizedLambdaExpr [String] EgisonExpr

MemoizeExpr [(EgisonExpr, EgisonExpr, EgisonExpr)] EgisonExpr

CambdaExpr String EgisonExpr

ProcedureExpr [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 Infix EgisonExpr EgisonExpr

SectionExpr Infix (Maybe EgisonExpr) (Maybe 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

TensorContractExpr EgisonExpr EgisonExpr

TensorMapExpr EgisonExpr EgisonExpr

TensorMap2Expr EgisonExpr EgisonExpr EgisonExpr

TransposeExpr EgisonExpr EgisonExpr

FlipIndicesExpr EgisonExpr

FunctionExpr [EgisonExpr]

SomethingExpr

UndefinedExpr

Instances

Eq EgisonExpr

Defined in Language.Egison.AST

Methods

(==) :: EgisonExpr -> EgisonExpr -> Bool

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

Show EgisonExpr

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> EgisonExpr -> ShowS

show :: EgisonExpr -> String

showList :: [EgisonExpr] -> ShowS

Pretty MatchClause

Defined in Language.Egison.Pretty

Methods

pretty :: MatchClause -> Doc ann

prettyList :: [MatchClause] -> Doc ann

Pretty BindingExpr

Defined in Language.Egison.Pretty

Methods

pretty :: BindingExpr -> Doc ann

prettyList :: [BindingExpr] -> Doc ann

Pretty EgisonExpr

Defined in Language.Egison.Pretty

Methods

pretty :: EgisonExpr -> Doc ann

prettyList :: [EgisonExpr] -> Doc ann

PrettyS EgisonExpr

Defined in Language.Egison.Pretty

Methods

prettyS :: EgisonExpr -> String

Show (Index EgisonExpr)

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Index EgisonExpr -> ShowS

show :: Index EgisonExpr -> String

showList :: [Index EgisonExpr] -> ShowS

data EgisonPattern

Constructors

WildCard

PatVar Var

ValuePat EgisonExpr

PredPat EgisonExpr

IndexedPat EgisonPattern [EgisonExpr]

LetPat [BindingExpr] EgisonPattern

InfixPat Infix EgisonPattern EgisonPattern

NotPat EgisonPattern

AndPat [EgisonPattern]

OrPat [EgisonPattern]

ForallPat EgisonPattern EgisonPattern

TuplePat [EgisonPattern]

InductivePat String [EgisonPattern]

LoopPat Var LoopRange EgisonPattern EgisonPattern

ContPat

PApplyPat EgisonExpr [EgisonPattern]

VarPat String

InductiveOrPApplyPat String [EgisonPattern]

SeqNilPat

SeqConsPat EgisonPattern EgisonPattern

LaterPatVar

DApplyPat EgisonPattern [EgisonPattern]

DivPat EgisonPattern EgisonPattern

PlusPat [EgisonPattern]

MultPat [EgisonPattern]

PowerPat EgisonPattern EgisonPattern

Instances

Eq EgisonPattern

Defined in Language.Egison.AST

Methods

(==) :: EgisonPattern -> EgisonPattern -> Bool

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

Show EgisonPattern

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> EgisonPattern -> ShowS

show :: EgisonPattern -> String

showList :: [EgisonPattern] -> ShowS

Pretty EgisonPattern

Defined in Language.Egison.Pretty

Methods

pretty :: EgisonPattern -> Doc ann

prettyList :: [EgisonPattern] -> Doc ann

Pretty MatchClause

Defined in Language.Egison.Pretty

Methods

pretty :: MatchClause -> Doc ann

prettyList :: [MatchClause] -> Doc ann

PrettyS EgisonPattern

Defined in Language.Egison.Pretty

Methods

prettyS :: EgisonPattern -> String

data Var

Constructors

Var [String] [Index ()]

Instances

Eq Var

Defined in Language.Egison.AST

Methods

(==) :: Var -> Var -> Bool

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

Show Var

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Generic Var

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

Defined in Language.Egison.AST

Methods

hashWithSalt :: Int -> Var -> Int

hash :: Var -> Int

Pretty BindingExpr

Defined in Language.Egison.Pretty

Methods

pretty :: BindingExpr -> Doc ann

prettyList :: [BindingExpr] -> Doc ann

Pretty Var

Defined in Language.Egison.Pretty

Methods

pretty :: Var -> Doc ann

prettyList :: [Var] -> Doc ann

PrettyS Var

Defined in Language.Egison.Pretty

Methods

prettyS :: Var -> String

type Rep Var

Defined in Language.Egison.AST

type Rep Var = D1 (MetaData "Var" "Language.Egison.AST" "egison-3.10.3-F2tdfMR79oB8V0iE1m8L4C" 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 VarWithIndices

Constructors

VarWithIndices [String] [Index String]

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

PrettyS VarWithIndices

Defined in Language.Egison.Pretty

Methods

prettyS :: VarWithIndices -> String

varToVarWithIndices :: Var -> VarWithIndices

data Arg

Constructors

ScalarArg String

InvertedScalarArg String

TensorArg String

Instances

Eq Arg

Defined in Language.Egison.AST

Methods

(==) :: Arg -> Arg -> Bool

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

Show Arg

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Arg -> ShowS

show :: Arg -> String

showList :: [Arg] -> ShowS

Pretty Arg

Defined in Language.Egison.Pretty

Methods

pretty :: Arg -> Doc ann

prettyList :: [Arg] -> Doc ann

PrettyS Arg

Defined in Language.Egison.Pretty

Methods

prettyS :: Arg -> String

data Index a

Constructors

Subscript a

Superscript a

SupSubscript a

MultiSubscript a a

MultiSuperscript a a

DFscript Integer Integer

Userscript a

Instances

Functor Index

Defined in Language.Egison.AST

Methods

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

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

Foldable Index

Defined in Language.Egison.AST

Methods

fold :: Monoid m => Index m -> m

foldMap :: Monoid m => (a -> m) -> Index a -> m

foldr :: (a -> b -> b) -> b -> Index a -> b

foldr' :: (a -> b -> b) -> b -> Index a -> b

foldl :: (b -> a -> b) -> b -> Index a -> b

foldl' :: (b -> a -> b) -> b -> Index a -> b

foldr1 :: (a -> a -> a) -> Index a -> a

foldl1 :: (a -> a -> a) -> Index a -> a

toList :: Index a -> [a]

null :: Index a -> Bool

length :: Index a -> Int

elem :: Eq a => a -> Index a -> Bool

maximum :: Ord a => Index a -> a

minimum :: Ord a => Index a -> a

sum :: Num a => Index a -> a

product :: Num a => Index a -> a

Traversable Index

Defined in Language.Egison.AST

Methods

traverse :: Applicative f => (a -> f b) -> Index a -> f (Index b)

sequenceA :: Applicative f => Index (f a) -> f (Index a)

mapM :: Monad m => (a -> m b) -> Index a -> m (Index b)

sequence :: Monad m => Index (m a) -> m (Index a)

Eq a => Eq (Index a)

Defined in Language.Egison.AST

Methods

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

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

Show (Index ())

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Index () -> ShowS

show :: Index () -> String

showList :: [Index ()] -> ShowS

Show (Index String)

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Index String -> ShowS

show :: Index String -> String

showList :: [Index String] -> ShowS

Show (Index EgisonExpr)

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Index EgisonExpr -> ShowS

show :: Index EgisonExpr -> String

showList :: [Index EgisonExpr] -> ShowS

Show (Index ScalarData)

Defined in Language.Egison.MathExpr

Methods

showsPrec :: Int -> Index ScalarData -> ShowS

show :: Index ScalarData -> String

showList :: [Index ScalarData] -> ShowS

Show (Index EgisonValue)

Defined in Language.Egison.Data

Methods

showsPrec :: Int -> Index EgisonValue -> ShowS

show :: Index EgisonValue -> String

showList :: [Index EgisonValue] -> ShowS

Generic (Index a)

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

Defined in Language.Egison.AST

Methods

hashWithSalt :: Int -> Index () -> Int

hash :: Index () -> Int

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

Defined in Language.Egison.Pretty

Methods

pretty :: Index a -> Doc ann

prettyList :: [Index a] -> Doc ann

PrettyS a => PrettyS (Index a)

Defined in Language.Egison.Pretty

Methods

prettyS :: Index a -> String

PrettyS (Index EgisonValue)

Defined in Language.Egison.Pretty

Methods

prettyS :: Index EgisonValue -> String

type Rep (Index a)

Defined in Language.Egison.AST

type Rep (Index a) = D1 (MetaData "Index" "Language.Egison.AST" "egison-3.10.3-F2tdfMR79oB8V0iE1m8L4C" 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)))))

extractIndex :: Index a -> a

data PMMode

Constructors

BFSMode

DFSMode

Instances

Eq PMMode

Defined in Language.Egison.AST

Methods

(==) :: PMMode -> PMMode -> Bool

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

Show PMMode

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> PMMode -> ShowS

show :: PMMode -> String

showList :: [PMMode] -> ShowS

data InnerExpr

Constructors

ElementExpr EgisonExpr

SubCollectionExpr EgisonExpr

Instances

Eq InnerExpr

Defined in Language.Egison.AST

Methods

(==) :: InnerExpr -> InnerExpr -> Bool

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

Show InnerExpr

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> InnerExpr -> ShowS

show :: InnerExpr -> String

showList :: [InnerExpr] -> ShowS

Pretty InnerExpr

Defined in Language.Egison.Pretty

Methods

pretty :: InnerExpr -> Doc ann

prettyList :: [InnerExpr] -> Doc ann

PrettyS InnerExpr

Defined in Language.Egison.Pretty

Methods

prettyS :: InnerExpr -> String

type BindingExpr = ([Var], EgisonExpr)

type MatchClause = (EgisonPattern, EgisonExpr)

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

data LoopRange

Constructors

LoopRange EgisonExpr EgisonExpr EgisonPattern

Instances

Eq LoopRange

Defined in Language.Egison.AST

Methods

(==) :: LoopRange -> LoopRange -> Bool

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

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

PrettyS LoopRange

Defined in Language.Egison.Pretty

Methods

prettyS :: LoopRange -> String

data PrimitivePatPattern

Constructors

PPWildCard

PPPatVar

PPValuePat String

PPInductivePat String [PrimitivePatPattern]

PPTuplePat [PrimitivePatPattern]

Instances

Eq PrimitivePatPattern

Defined in Language.Egison.AST

Methods

(==) :: PrimitivePatPattern -> PrimitivePatPattern -> Bool

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

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 PrimitiveDataPattern

Constructors

PDWildCard

PDPatVar String

PDInductivePat String [PrimitiveDataPattern]

PDTuplePat [PrimitiveDataPattern]

PDEmptyPat

PDConsPat PrimitiveDataPattern PrimitiveDataPattern

PDSnocPat PrimitiveDataPattern PrimitiveDataPattern

PDConstantPat EgisonExpr

Instances

Eq PrimitiveDataPattern

Defined in Language.Egison.AST

Methods

(==) :: PrimitiveDataPattern -> PrimitiveDataPattern -> Bool

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

Show PrimitiveDataPattern

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> PrimitiveDataPattern -> ShowS

show :: PrimitiveDataPattern -> String

showList :: [PrimitiveDataPattern] -> ShowS

Pretty PrimitiveDataPattern

Defined in Language.Egison.Pretty

Methods

pretty :: PrimitiveDataPattern -> Doc ann

prettyList :: [PrimitiveDataPattern] -> Doc ann

data Infix

Constructors

Infix

Fields

• repr :: String
• func :: String
• priority :: Int
• assoc :: BinOpAssoc
• isWedge :: Bool

Instances

Eq Infix

Defined in Language.Egison.AST

Methods

(==) :: Infix -> Infix -> Bool

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

Ord Infix

Defined in Language.Egison.AST

Methods

compare :: Infix -> Infix -> Ordering

(<) :: Infix -> Infix -> Bool

(<=) :: Infix -> Infix -> Bool

(>) :: Infix -> Infix -> Bool

(>=) :: Infix -> Infix -> Bool

max :: Infix -> Infix -> Infix

min :: Infix -> Infix -> Infix

Show Infix

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> Infix -> ShowS

show :: Infix -> String

showList :: [Infix] -> ShowS

PrettyS Infix

Defined in Language.Egison.Pretty

Methods

prettyS :: Infix -> String

data BinOpAssoc

Constructors

LeftAssoc

RightAssoc

NonAssoc

Instances

Eq BinOpAssoc

Defined in Language.Egison.AST

Methods

(==) :: BinOpAssoc -> BinOpAssoc -> Bool

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

Ord BinOpAssoc

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

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> BinOpAssoc -> ShowS

show :: BinOpAssoc -> String

showList :: [BinOpAssoc] -> ShowS

reservedExprInfix :: [Infix]

reservedPatternInfix :: [Infix]

stringToVar :: String -> Var

stringToVarExpr :: String -> EgisonExpr