License	MIT
Safe Haskell	Safe-Inferred
Language	Haskell2010

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

Eq Var Source #
Instance details Defined in Language.Egison.IExpr Methods (==) :: Var -> Var -> Bool # (/=) :: Var -> Var -> Bool #
Show Var Source #
Instance details Defined in Language.Egison.IExpr Methods showsPrec :: Int -> Var -> ShowS # show :: Var -> String # showList :: [Var] -> ShowS #
Generic Var Source #
Instance details Defined in Language.Egison.IExpr 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.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.1.3-AbSXwqf1eoC89Dna88zirU" '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

Functor Index Source #
Instance details Defined in Language.Egison.IExpr Methods fmap :: (a -> b) -> Index a -> Index b # (<$) :: a -> Index b -> Index a #
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) #
Eq a => Eq (Index a) Source #
Instance details Defined in Language.Egison.IExpr Methods (==) :: Index a -> Index a -> Bool # (/=) :: Index a -> Index a -> Bool #
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 #
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 (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 EgisonValue) Source #
Instance details Defined in Language.Egison.Data Methods showsPrec :: Int -> Index EgisonValue -> ShowS # show :: Index EgisonValue -> String # showList :: [Index EgisonValue] -> ShowS #
Generic (Index a) Source #
Instance details Defined in Language.Egison.IExpr Associated Types type Rep (Index a) :: Type -> Type # Methods from :: Index a -> Rep (Index a) x # to :: Rep (Index a) x -> Index a #
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 type Rep (Index a) = D1 ('MetaData "Index" "Language.Egison.IExpr" "egison-4.1.3-AbSXwqf1eoC89Dna88zirU" 'False) ((C1 ('MetaCons "Sub" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Sup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "MultiSub" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))) :+: ((C1 ('MetaCons "MultiSup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: C1 ('MetaCons "SupSub" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "User" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "DF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))))

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

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 #

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]