License	MIT
Safe Haskell	None
Language	GHC2021

Language.Egison.IExpr

Description

This module defines internal representation of Egison language.

Documentation

data ITopExpr Source #

Constructors

IDefine Var IExpr
ITest IExpr
IExecute IExpr
ILoadFile String
ILoad String

Instances

Instances details

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

data IExpr Source #

Constructors

IConstantExpr ConstantExpr
IVarExpr String
IIndexedExpr Bool IExpr [Index IExpr]
ISubrefsExpr Bool IExpr IExpr
ISuprefsExpr Bool IExpr IExpr
IUserrefsExpr Bool IExpr IExpr
IInductiveDataExpr String [IExpr]
ITupleExpr [IExpr]
ICollectionExpr [IExpr]
IConsExpr IExpr IExpr
IJoinExpr IExpr IExpr
IHashExpr [(IExpr, IExpr)]
IVectorExpr [IExpr]
ILambdaExpr (Maybe Var) [Var] IExpr
IMemoizedLambdaExpr [String] IExpr
ICambdaExpr String IExpr
IPatternFunctionExpr [String] IPattern
IIfExpr IExpr IExpr IExpr
ILetRecExpr [IBindingExpr] IExpr
ILetExpr [IBindingExpr] IExpr
IWithSymbolsExpr [String] IExpr
IMatchExpr PMMode IExpr IExpr [IMatchClause]
IMatchAllExpr PMMode IExpr IExpr [IMatchClause]
IMatcherExpr [IPatternDef]
IQuoteExpr IExpr
IQuoteSymbolExpr IExpr
IWedgeApplyExpr IExpr [IExpr]
IDoExpr [IBindingExpr] IExpr
ISeqExpr IExpr IExpr
IApplyExpr IExpr [IExpr]
ICApplyExpr IExpr IExpr
IGenerateTensorExpr IExpr IExpr
ITensorExpr IExpr IExpr
ITensorContractExpr IExpr
ITensorMapExpr IExpr IExpr
ITensorMap2Expr IExpr IExpr IExpr
ITransposeExpr IExpr IExpr
IFlipIndicesExpr IExpr
IFunctionExpr [String]

Instances

Instances details

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

data IPattern Source #

Instances

Instances details

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

data ILoopRange Source #

Constructors

ILoopRange IExpr IExpr IPattern

Instances

Instances details

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

type IBindingExpr = (IPrimitiveDataPattern, IExpr) Source #

type IMatchClause = (IPattern, IExpr) Source #

type IPatternDef = (PrimitivePatPattern, IExpr, [(IPrimitiveDataPattern, IExpr)]) Source #

type IPrimitiveDataPattern = PDPatternBase Var Source #

data Var Source #

Constructors

Var String [Index (Maybe Var)]

Instances

Instances details

Generic Var Source #

Instance details

Defined in Language.Egison.IExpr

Associated Types

type Rep Var

Instance details

Defined in Language.Egison.IExpr

type Rep Var = D1 ('MetaData "Var" "Language.Egison.IExpr" "egison-4.2.1-1HsolijfuDl5ZG5Ec9RpuZ" '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 (Maybe Var)])))

Methods

from :: Var -> Rep Var x #

to :: Rep Var x -> Var #

Show Var Source #

Instance details

Defined in Language.Egison.IExpr

Methods

showsPrec :: Int -> Var -> ShowS #

show :: Var -> String #

showList :: [Var] -> ShowS #

Eq Var Source #

Instance details

Defined in Language.Egison.IExpr

Methods

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

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

Hashable Var Source #

Instance details

Defined in Language.Egison.IExpr

Methods

hashWithSalt :: Int -> Var -> Int #

hash :: Var -> Int #

type Rep Var Source #

Instance details

Defined in Language.Egison.IExpr

type Rep Var = D1 ('MetaData "Var" "Language.Egison.IExpr" "egison-4.2.1-1HsolijfuDl5ZG5Ec9RpuZ" '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 (Maybe Var)])))

stringToVar :: String -> Var Source #

extractNameFromVar :: Var -> String Source #

data Index a Source #

Constructors

Sub a
Sup a
MultiSub a Integer a
MultiSup a Integer a
SupSub a
User a
DF Integer Integer

Instances

Instances details

Foldable Index Source #

Instance details

Defined in Language.Egison.IExpr

Methods

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

foldMap :: Monoid m => (a -> m) -> Index a -> 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 Source #

Instance details

Defined in Language.Egison.IExpr

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

Functor Index Source #

Instance details

Defined in Language.Egison.IExpr

Methods

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

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

Generic (Index a) Source #

Instance details

Defined in Language.Egison.IExpr

Associated Types

type Rep (Index a)

Instance details

Defined in Language.Egison.IExpr

Methods

from :: Index a -> Rep (Index a) x #

to :: Rep (Index a) x -> Index a #

Show (Index EgisonValue) Source #

Instance details

Defined in Language.Egison.Data

Methods

showsPrec :: Int -> Index EgisonValue -> ShowS #

show :: Index EgisonValue -> String #

showList :: [Index EgisonValue] -> ShowS #

Show (Index ScalarData) Source #

Instance details

Defined in Language.Egison.Math.Expr

Methods

showsPrec :: Int -> Index ScalarData -> ShowS #

show :: Index ScalarData -> String #

showList :: [Index ScalarData] -> ShowS #

Show (Index String) Source #

Instance details

Defined in Language.Egison.IExpr

Methods

showsPrec :: Int -> Index String -> ShowS #

show :: Index String -> String #

showList :: [Index String] -> ShowS #

Show a => Show (Index a) Source #

Instance details

Defined in Language.Egison.IExpr

Methods

showsPrec :: Int -> Index a -> ShowS #

show :: Index a -> String #

showList :: [Index a] -> ShowS #

Eq a => Eq (Index a) Source #

Instance details

Defined in Language.Egison.IExpr

Methods

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

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

Hashable a => Hashable (Index a) Source #

Instance details

Defined in Language.Egison.IExpr

Methods

hashWithSalt :: Int -> Index a -> Int #

hash :: Index a -> Int #

type Rep (Index a) Source #

Instance details

Defined in Language.Egison.IExpr

extractSupOrSubIndex :: Index a -> Maybe a Source #

extractIndex :: Index a -> a Source #

makeIApply :: String -> [IExpr] -> IExpr Source #

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

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

IWildCard
IPatVar String
IValuePat IExpr
IPredPat IExpr
IIndexedPat IPattern [IExpr]
ILetPat [IBindingExpr] IPattern
INotPat IPattern
IAndPat IPattern IPattern
IOrPat IPattern IPattern
IForallPat IPattern IPattern
ITuplePat [IPattern]
IInductivePat String [IPattern]
ILoopPat String ILoopRange IPattern IPattern
IContPat
IPApplyPat IExpr [IPattern]
IVarPat String
IInductiveOrPApplyPat String [IPattern]
ISeqNilPat
ISeqConsPat IPattern IPattern
ILaterPatVar
IDApplyPat IPattern [IPattern]