Language.Egison.IExpr

This module defines internal representation of Egison language.

Documentation

data ITopExpr

Constructors

IDefine Var IExpr

ITest IExpr

IExecute IExpr

ILoadFile String

ILoad String

Instances

Show ITopExpr

Defined in Language.Egison.IExpr

Methods

showsPrec :: Int -> ITopExpr -> ShowS

show :: ITopExpr -> String

showList :: [ITopExpr] -> ShowS

data IExpr

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

Show IExpr

Defined in Language.Egison.IExpr

Methods

showsPrec :: Int -> IExpr -> ShowS

show :: IExpr -> String

showList :: [IExpr] -> ShowS

Pretty IExpr

Defined in Language.Egison.Pretty

Methods

pretty :: IExpr -> Doc ann

prettyList :: [IExpr] -> Doc ann

data IPattern

Constructors

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]

Instances

Show IPattern

Defined in Language.Egison.IExpr

Methods

showsPrec :: Int -> IPattern -> ShowS

show :: IPattern -> String

showList :: [IPattern] -> ShowS

data ILoopRange

Constructors

ILoopRange IExpr IExpr IPattern

Instances

Show ILoopRange

Defined in Language.Egison.IExpr

Methods

showsPrec :: Int -> ILoopRange -> ShowS

show :: ILoopRange -> String

showList :: [ILoopRange] -> ShowS

type IBindingExpr = (IPrimitiveDataPattern, IExpr)

type IMatchClause = (IPattern, IExpr)

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

type IPrimitiveDataPattern = PDPatternBase Var

data Var

Constructors

Var String [Index (Maybe Var)]

Instances

Eq Var

Defined in Language.Egison.IExpr

Methods

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

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

Show Var

Defined in Language.Egison.IExpr

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Generic Var

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

Defined in Language.Egison.IExpr

Methods

hashWithSalt :: Int -> Var -> Int

hash :: Var -> Int

type Rep Var

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

extractNameFromVar :: Var -> String

data Index a

Constructors

Sub a

Sup a

MultiSub a Integer a

MultiSup a Integer a

SupSub a

User a

DF Integer Integer

Instances

Functor Index

Defined in Language.Egison.IExpr

Methods

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

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

Foldable Index

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

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)

Defined in Language.Egison.IExpr

Methods

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

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

Show a => Show (Index a)

Defined in Language.Egison.IExpr

Methods

showsPrec :: Int -> Index a -> ShowS

show :: Index a -> String

showList :: [Index a] -> ShowS

Show (Index String)

Defined in Language.Egison.IExpr

Methods

showsPrec :: Int -> Index String -> ShowS

show :: Index String -> String

showList :: [Index String] -> ShowS

Show (Index ScalarData)

Defined in Language.Egison.Math.Expr

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

Defined in Language.Egison.IExpr

Methods

hashWithSalt :: Int -> Index a -> Int

hash :: Index a -> Int

type Rep (Index a)

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

extractIndex :: Index a -> a

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

data ConstantExpr

Constructors

CharExpr Char

StringExpr Text

BoolExpr Bool

IntegerExpr Integer

FloatExpr Double

SomethingExpr

UndefinedExpr

Instances

Show ConstantExpr

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> ConstantExpr -> ShowS

show :: ConstantExpr -> String

showList :: [ConstantExpr] -> ShowS

Pretty ConstantExpr

Defined in Language.Egison.Pretty

Methods

pretty :: ConstantExpr -> Doc ann

prettyList :: [ConstantExpr] -> Doc ann

data PMMode

Constructors

BFSMode

DFSMode

Instances

Show PMMode

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> PMMode -> ShowS

show :: PMMode -> String

showList :: [PMMode] -> ShowS

data PrimitivePatPattern

Constructors

PPWildCard

PPPatVar

PPValuePat String

PPInductivePat String [PrimitivePatPattern]

PPTuplePat [PrimitivePatPattern]

Instances

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

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

Functor PDPatternBase

Defined in Language.Egison.AST

Methods

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

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

Foldable PDPatternBase

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

Defined in Language.Egison.Pretty

Methods

pretty :: PrimitiveDataPattern -> Doc ann

prettyList :: [PrimitiveDataPattern] -> Doc ann

Show var => Show (PDPatternBase var)

Defined in Language.Egison.AST

Methods

showsPrec :: Int -> PDPatternBase var -> ShowS

show :: PDPatternBase var -> String

showList :: [PDPatternBase var] -> ShowS