Copyright | Satoshi Egi |
---|---|
License | MIT |
Safe Haskell | None |
Language | Haskell98 |
This module contains type definitions of Egison Data.
Synopsis
- data EgisonTopExpr
- data EgisonExpr
- = 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 EgisonExpr EgisonExpr [MatchClause]
- | MatchDFSExpr EgisonExpr EgisonExpr [MatchClause]
- | MatchAllExpr EgisonExpr EgisonExpr [MatchClause]
- | MatchAllDFSExpr 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]
- | SymbolicTensorExpr [EgisonExpr] EgisonExpr String
- | SomethingExpr
- | UndefinedExpr
- data EgisonPattern
- = 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
- data Arg
- data Index a
- = Subscript a
- | Superscript a
- | SupSubscript a
- | MultiSubscript a a
- | MultiSuperscript a a
- | DFscript Integer Integer
- | Userscript a
- | DotSubscript a
- | DotSupscript a
- data InnerExpr
- type BindingExpr = ([Var], EgisonExpr)
- type MatchClause = (EgisonPattern, EgisonExpr)
- type PatternDef = (PrimitivePatPattern, EgisonExpr, [(PrimitiveDataPattern, EgisonExpr)])
- data LoopRange = LoopRange EgisonExpr EgisonExpr EgisonPattern
- data PrimitivePatPattern
- data PrimitiveDataPattern
- type Matcher = EgisonValue
- type PrimitiveFunc = WHNFData -> EgisonM WHNFData
- class EgisonData a where
- toEgison :: a -> EgisonValue
- fromEgison :: EgisonValue -> EgisonM a
- showTSV :: EgisonValue -> String
- data EgisonBinOp = EgisonBinOp {}
- data BinOpAssoc
- reservedBinops :: [EgisonBinOp]
- data EgisonValue
- = World
- | Char Char
- | String Text
- | Bool Bool
- | ScalarData ScalarData
- | TensorData (Tensor EgisonValue)
- | Float Double
- | InductiveData String [EgisonValue]
- | Tuple [EgisonValue]
- | Collection (Seq EgisonValue)
- | Array (Array Integer EgisonValue)
- | IntHash (HashMap Integer EgisonValue)
- | CharHash (HashMap Char EgisonValue)
- | StrHash (HashMap Text EgisonValue)
- | UserMatcher Env [PatternDef]
- | Func (Maybe Var) Env [String] EgisonExpr
- | PartialFunc Env Integer EgisonExpr
- | CFunc (Maybe Var) Env String EgisonExpr
- | MemoizedFunc (Maybe Var) ObjectRef (IORef (HashMap [Integer] ObjectRef)) Env [String] EgisonExpr
- | Proc (Maybe String) Env [String] EgisonExpr
- | Macro [String] EgisonExpr
- | PatternFunc Env [String] EgisonPattern
- | PrimitiveFunc String PrimitiveFunc
- | IOFunc (EgisonM WHNFData)
- | QuotedFunc EgisonValue
- | Port Handle
- | Something
- | Undefined
- | EOF
- data ScalarData = Div PolyExpr PolyExpr
- newtype PolyExpr = Plus [TermExpr]
- data TermExpr = Term Integer [(SymbolExpr, Integer)]
- data SymbolExpr
- data Tensor a
- class HasTensor a where
- tensorElems :: a -> Vector a
- tensorSize :: a -> [Integer]
- tensorIndices :: a -> [Index EgisonValue]
- fromTensor :: Tensor a -> EgisonM a
- toTensor :: a -> EgisonM (Tensor a)
- undef :: a
- initTensor :: [Integer] -> [a] -> [EgisonValue] -> [EgisonValue] -> Tensor a
- tSize :: Tensor a -> [Integer]
- tToList :: Tensor a -> [a]
- tIndex :: Tensor a -> [Index EgisonValue]
- tref :: HasTensor a => [Index EgisonValue] -> Tensor a -> EgisonM a
- enumTensorIndices :: [Integer] -> [[Integer]]
- changeIndexList :: [Index String] -> [EgisonValue] -> [Index String]
- tTranspose :: HasTensor a => [Index EgisonValue] -> Tensor a -> EgisonM (Tensor a)
- tTranspose' :: HasTensor a => [EgisonValue] -> Tensor a -> EgisonM (Tensor a)
- tFlipIndices :: HasTensor a => Tensor a -> EgisonM (Tensor a)
- appendDFscripts :: Integer -> WHNFData -> EgisonM WHNFData
- removeDFscripts :: WHNFData -> EgisonM WHNFData
- tMap :: HasTensor a => (a -> EgisonM a) -> Tensor a -> EgisonM (Tensor a)
- tMap2 :: HasTensor a => (a -> a -> EgisonM a) -> Tensor a -> Tensor a -> EgisonM (Tensor a)
- tMapN :: HasTensor a => ([a] -> EgisonM a) -> [Tensor a] -> EgisonM (Tensor a)
- tSum :: HasTensor a => (a -> a -> EgisonM a) -> Tensor a -> Tensor a -> EgisonM (Tensor a)
- tProduct :: HasTensor a => (a -> a -> EgisonM a) -> Tensor a -> Tensor a -> EgisonM (Tensor a)
- tContract :: HasTensor a => Tensor a -> EgisonM [Tensor a]
- tContract' :: HasTensor a => Tensor a -> EgisonM (Tensor a)
- tConcat :: HasTensor a => Index EgisonValue -> [Tensor a] -> EgisonM (Tensor a)
- tConcat' :: HasTensor a => [Tensor a] -> EgisonM (Tensor a)
- symbolScalarData :: String -> String -> EgisonValue
- getSymId :: EgisonValue -> String
- getSymName :: EgisonValue -> String
- mathExprToEgison :: ScalarData -> EgisonValue
- egisonToScalarData :: EgisonValue -> EgisonM ScalarData
- mathNormalize' :: ScalarData -> ScalarData
- mathFold :: ScalarData -> ScalarData
- mathSymbolFold :: ScalarData -> ScalarData
- mathTermFold :: ScalarData -> ScalarData
- mathRemoveZero :: ScalarData -> ScalarData
- mathDivide :: ScalarData -> ScalarData
- mathPlus :: ScalarData -> ScalarData -> ScalarData
- mathMult :: ScalarData -> ScalarData -> ScalarData
- mathNegate :: ScalarData -> ScalarData
- mathNumerator :: ScalarData -> ScalarData
- mathDenominator :: ScalarData -> ScalarData
- extractScalar :: EgisonValue -> EgisonM ScalarData
- extractScalar' :: WHNFData -> EgisonM ScalarData
- data Object
- type ObjectRef = IORef Object
- data WHNFData
- data Intermediate
- data Inner
- class EgisonData a => EgisonWHNF a where
- data Env = Env [HashMap Var ObjectRef] (Maybe VarWithIndices)
- data Var = Var [String] [Index ()]
- data VarWithIndices = VarWithIndices [String] [Index String]
- type Binding = (Var, ObjectRef)
- type Id = String
- nullEnv :: Env
- extendEnv :: Env -> [Binding] -> Env
- refVar :: Env -> Var -> Maybe ObjectRef
- type Match = [Binding]
- data PMMode
- data MatchingTree
- data MatchingState = MState Env [LoopPatContext] [SeqPatContext] [Binding] [MatchingTree]
- type PatternBinding = (String, EgisonPattern)
- data LoopPatContext = LoopPatContext Binding ObjectRef EgisonPattern EgisonPattern EgisonPattern
- data SeqPatContext = SeqPatContext [MatchingTree] EgisonPattern [Matcher] [WHNFData]
- data EgisonError
- = UnboundVariable String CallStack
- | TypeMismatch String WHNFData CallStack
- | ArgumentsNumWithNames [String] Int Int CallStack
- | ArgumentsNumPrimitive Int Int CallStack
- | TupleLength Int Int CallStack
- | InconsistentTensorSize CallStack
- | InconsistentTensorIndex CallStack
- | TensorIndexOutOfBounds Integer Integer CallStack
- | NotImplemented String CallStack
- | Assertion String CallStack
- | Parser String
- | ParserUnexpectedEOF
- | EgisonBug String CallStack
- | MatchFailure String CallStack
- | Default String
- liftError :: MonadError e m => Either e a -> m a
- newtype EgisonM a = EgisonM {
- unEgisonM :: ExceptT EgisonError (FreshT IO) a
- runEgisonM :: EgisonM a -> FreshT IO (Either EgisonError a)
- liftEgisonM :: Fresh (Either EgisonError a) -> EgisonM a
- fromEgisonM :: EgisonM a -> IO (Either EgisonError a)
- newtype FreshT m a = FreshT {}
- type Fresh = FreshT Identity
- class (Applicative m, Monad m) => MonadFresh m where
- fresh :: m String
- freshV :: m Var
- pushFuncName :: String -> m ()
- topFuncName :: m String
- popFuncName :: m ()
- getFuncNameStack :: m [String]
- runFreshT :: Monad m => RuntimeState -> FreshT m a -> m (a, RuntimeState)
- type MatchM = MaybeT EgisonM
- matchFail :: MatchM a
- data MList m a
- fromList :: Monad m => [a] -> MList m a
- fromSeq :: Monad m => Seq a -> MList m a
- fromMList :: Monad m => MList m a -> m [a]
- msingleton :: Monad m => a -> MList m a
- mfoldr :: Monad m => (a -> m b -> m b) -> m b -> MList m a -> m b
- mappend :: Monad m => MList m a -> m (MList m a) -> m (MList m a)
- mconcat :: Monad m => MList m (MList m a) -> m (MList m a)
- mmap :: Monad m => (a -> m b) -> MList m a -> m (MList m b)
- mfor :: Monad m => MList m a -> (a -> m b) -> m (MList m b)
- isBool :: EgisonValue -> Bool
- isInteger :: EgisonValue -> Bool
- isRational :: EgisonValue -> Bool
- isSymbol :: EgisonValue -> Bool
- isScalar :: EgisonValue -> Bool
- isTensor :: EgisonValue -> Bool
- isTensorWithIndex :: EgisonValue -> Bool
- isBool' :: PrimitiveFunc
- isInteger' :: PrimitiveFunc
- isRational' :: PrimitiveFunc
- isScalar' :: PrimitiveFunc
- isFloat' :: PrimitiveFunc
- isComplex' :: PrimitiveFunc
- isTensor' :: PrimitiveFunc
- isTensorWithIndex' :: PrimitiveFunc
- isChar' :: PrimitiveFunc
- isString' :: PrimitiveFunc
- isCollection' :: PrimitiveFunc
- isArray' :: PrimitiveFunc
- isHash' :: PrimitiveFunc
- readUTF8File :: FilePath -> IO String
- stringToVar :: String -> Var
- stringToVarExpr :: String -> EgisonExpr
- varToVarWithIndices :: Var -> VarWithIndices
- data EgisonOpts = EgisonOpts {
- optExecFile :: Maybe (String, [String])
- optShowVersion :: Bool
- optEvalString :: Maybe String
- optExecuteString :: Maybe String
- optFieldInfo :: [(String, String)]
- optLoadLibs :: [String]
- optLoadFiles :: [String]
- optSubstituteString :: Maybe String
- optMapTsvInput :: Maybe String
- optFilterTsvInput :: Maybe String
- optTsvOutput :: Bool
- optNoIO :: Bool
- optShowBanner :: Bool
- optTestOnly :: Bool
- optPrompt :: String
- optMathExpr :: Maybe String
- optSExpr :: Bool
- defaultOption :: EgisonOpts
Egison expressions
data EgisonTopExpr Source #
Define Var EgisonExpr | |
Redefine Var EgisonExpr | |
Test EgisonExpr | |
Execute EgisonExpr | |
LoadFile String | |
Load String |
Instances
Eq EgisonTopExpr Source # | |
Defined in Language.Egison.Types (==) :: EgisonTopExpr -> EgisonTopExpr -> Bool # (/=) :: EgisonTopExpr -> EgisonTopExpr -> Bool # | |
Show EgisonTopExpr Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> EgisonTopExpr -> ShowS # show :: EgisonTopExpr -> String # showList :: [EgisonTopExpr] -> ShowS # | |
Pretty EgisonTopExpr Source # | |
Defined in Language.Egison.Pretty pretty :: EgisonTopExpr -> Doc ann # prettyList :: [EgisonTopExpr] -> Doc ann # |
data EgisonExpr Source #
Instances
Eq EgisonExpr Source # | |
Defined in Language.Egison.Types (==) :: EgisonExpr -> EgisonExpr -> Bool # (/=) :: EgisonExpr -> EgisonExpr -> Bool # | |
Show EgisonExpr Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> EgisonExpr -> ShowS # show :: EgisonExpr -> String # showList :: [EgisonExpr] -> ShowS # | |
Pretty EgisonExpr Source # | |
Defined in Language.Egison.Pretty pretty :: EgisonExpr -> Doc ann # prettyList :: [EgisonExpr] -> Doc ann # | |
Show (Index EgisonExpr) Source # | |
Defined in Language.Egison.Types |
data EgisonPattern Source #
Instances
Eq EgisonPattern Source # | |
Defined in Language.Egison.Types (==) :: EgisonPattern -> EgisonPattern -> Bool # (/=) :: EgisonPattern -> EgisonPattern -> Bool # | |
Show EgisonPattern Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> EgisonPattern -> ShowS # show :: EgisonPattern -> String # showList :: [EgisonPattern] -> ShowS # | |
Pretty EgisonPattern Source # | |
Defined in Language.Egison.Pretty pretty :: EgisonPattern -> Doc ann # prettyList :: [EgisonPattern] -> Doc ann # |
Subscript a | |
Superscript a | |
SupSubscript a | |
MultiSubscript a a | |
MultiSuperscript a a | |
DFscript Integer Integer | |
Userscript a | |
DotSubscript a | |
DotSupscript a |
Instances
type BindingExpr = ([Var], EgisonExpr) Source #
type MatchClause = (EgisonPattern, EgisonExpr) Source #
type PatternDef = (PrimitivePatPattern, EgisonExpr, [(PrimitiveDataPattern, EgisonExpr)]) Source #
data PrimitivePatPattern Source #
PPWildCard | |
PPPatVar | |
PPValuePat String | |
PPInductivePat String [PrimitivePatPattern] | |
PPTuplePat [PrimitivePatPattern] |
Instances
Eq PrimitivePatPattern Source # | |
Defined in Language.Egison.Types (==) :: PrimitivePatPattern -> PrimitivePatPattern -> Bool # (/=) :: PrimitivePatPattern -> PrimitivePatPattern -> Bool # | |
Show PrimitivePatPattern Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> PrimitivePatPattern -> ShowS # show :: PrimitivePatPattern -> String # showList :: [PrimitivePatPattern] -> ShowS # |
data PrimitiveDataPattern Source #
Instances
Eq PrimitiveDataPattern Source # | |
Defined in Language.Egison.Types (==) :: PrimitiveDataPattern -> PrimitiveDataPattern -> Bool # (/=) :: PrimitiveDataPattern -> PrimitiveDataPattern -> Bool # | |
Show PrimitiveDataPattern Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> PrimitiveDataPattern -> ShowS # show :: PrimitiveDataPattern -> String # showList :: [PrimitiveDataPattern] -> ShowS # |
type Matcher = EgisonValue Source #
class EgisonData a where Source #
toEgison :: a -> EgisonValue Source #
fromEgison :: EgisonValue -> EgisonM a Source #
Instances
showTSV :: EgisonValue -> String Source #
data EgisonBinOp Source #
Instances
Eq EgisonBinOp Source # | |
Defined in Language.Egison.Types (==) :: EgisonBinOp -> EgisonBinOp -> Bool # (/=) :: EgisonBinOp -> EgisonBinOp -> Bool # | |
Ord EgisonBinOp Source # | |
Defined in Language.Egison.Types 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 # | |
Defined in Language.Egison.Types showsPrec :: Int -> EgisonBinOp -> ShowS # show :: EgisonBinOp -> String # showList :: [EgisonBinOp] -> ShowS # |
data BinOpAssoc Source #
Instances
Eq BinOpAssoc Source # | |
Defined in Language.Egison.Types (==) :: BinOpAssoc -> BinOpAssoc -> Bool # (/=) :: BinOpAssoc -> BinOpAssoc -> Bool # | |
Ord BinOpAssoc Source # | |
Defined in Language.Egison.Types 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 # | |
Defined in Language.Egison.Types showsPrec :: Int -> BinOpAssoc -> ShowS # show :: BinOpAssoc -> String # showList :: [BinOpAssoc] -> ShowS # |
reservedBinops :: [EgisonBinOp] Source #
Egison values
data EgisonValue Source #
Instances
Eq EgisonValue Source # | |
Defined in Language.Egison.Types (==) :: EgisonValue -> EgisonValue -> Bool # (/=) :: EgisonValue -> EgisonValue -> Bool # | |
Show EgisonValue Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> EgisonValue -> ShowS # show :: EgisonValue -> String # showList :: [EgisonValue] -> ShowS # | |
HasTensor EgisonValue Source # | |
Defined in Language.Egison.Types tensorElems :: EgisonValue -> Vector EgisonValue Source # tensorSize :: EgisonValue -> [Integer] Source # tensorIndices :: EgisonValue -> [Index EgisonValue] Source # fromTensor :: Tensor EgisonValue -> EgisonM EgisonValue Source # toTensor :: EgisonValue -> EgisonM (Tensor EgisonValue) Source # undef :: EgisonValue Source # | |
Show (Index EgisonValue) Source # | |
Defined in Language.Egison.Types |
data ScalarData Source #
Instances
Eq ScalarData Source # | |
Defined in Language.Egison.Types (==) :: ScalarData -> ScalarData -> Bool # (/=) :: ScalarData -> ScalarData -> Bool # | |
Show ScalarData Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> ScalarData -> ShowS # show :: ScalarData -> String # showList :: [ScalarData] -> ShowS # | |
Show (Index ScalarData) Source # | |
Defined in Language.Egison.Types |
Term Integer [(SymbolExpr, Integer)] |
data SymbolExpr Source #
Symbol Id String [Index ScalarData] | |
Apply EgisonValue [ScalarData] | |
Quote ScalarData | |
FunctionData (Maybe EgisonValue) [EgisonValue] [EgisonValue] [Index ScalarData] |
Instances
Eq SymbolExpr Source # | |
Defined in Language.Egison.Types (==) :: SymbolExpr -> SymbolExpr -> Bool # (/=) :: SymbolExpr -> SymbolExpr -> Bool # | |
Show SymbolExpr Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> SymbolExpr -> ShowS # show :: SymbolExpr -> String # showList :: [SymbolExpr] -> ShowS # |
class HasTensor a where Source #
tensorElems :: a -> Vector a Source #
tensorSize :: a -> [Integer] Source #
tensorIndices :: a -> [Index EgisonValue] Source #
fromTensor :: Tensor a -> EgisonM a Source #
Instances
HasTensor WHNFData Source # | |
Defined in Language.Egison.Types | |
HasTensor EgisonValue Source # | |
Defined in Language.Egison.Types tensorElems :: EgisonValue -> Vector EgisonValue Source # tensorSize :: EgisonValue -> [Integer] Source # tensorIndices :: EgisonValue -> [Index EgisonValue] Source # fromTensor :: Tensor EgisonValue -> EgisonM EgisonValue Source # toTensor :: EgisonValue -> EgisonM (Tensor EgisonValue) Source # undef :: EgisonValue Source # |
Tensor
initTensor :: [Integer] -> [a] -> [EgisonValue] -> [EgisonValue] -> Tensor a Source #
enumTensorIndices :: [Integer] -> [[Integer]] Source #
changeIndexList :: [Index String] -> [EgisonValue] -> [Index String] Source #
tTranspose :: HasTensor a => [Index EgisonValue] -> Tensor a -> EgisonM (Tensor a) Source #
tTranspose' :: HasTensor a => [EgisonValue] -> Tensor a -> EgisonM (Tensor a) Source #
tMap2 :: HasTensor a => (a -> a -> EgisonM a) -> Tensor a -> Tensor a -> EgisonM (Tensor a) Source #
tProduct :: HasTensor a => (a -> a -> EgisonM a) -> Tensor a -> Tensor a -> EgisonM (Tensor a) Source #
Scalar
symbolScalarData :: String -> String -> EgisonValue Source #
getSymId :: EgisonValue -> String Source #
getSymName :: EgisonValue -> String Source #
mathFold :: ScalarData -> ScalarData Source #
mathTermFold :: ScalarData -> ScalarData Source #
mathDivide :: ScalarData -> ScalarData Source #
mathPlus :: ScalarData -> ScalarData -> ScalarData Source #
mathMult :: ScalarData -> ScalarData -> ScalarData Source #
mathNegate :: ScalarData -> ScalarData Source #
mathNumerator :: ScalarData -> ScalarData Source #
Internal data
data Intermediate Source #
class EgisonData a => EgisonWHNF a where Source #
Environment
Instances
Eq Var Source # | |
Show Var Source # | |
Generic Var Source # | |
Hashable Var Source # | |
Defined in Language.Egison.Types | |
Pretty Var Source # | |
Defined in Language.Egison.Pretty | |
type Rep Var Source # | |
Defined in Language.Egison.Types type Rep Var = D1 (MetaData "Var" "Language.Egison.Types" "egison-3.9.4-6H187mwiD8A29sSrCiIPzj" 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 Source #
Instances
Eq VarWithIndices Source # | |
Defined in Language.Egison.Types (==) :: VarWithIndices -> VarWithIndices -> Bool # (/=) :: VarWithIndices -> VarWithIndices -> Bool # | |
Show VarWithIndices Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> VarWithIndices -> ShowS # show :: VarWithIndices -> String # showList :: [VarWithIndices] -> ShowS # |
Pattern matching
data MatchingTree Source #
Instances
Show MatchingTree Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> MatchingTree -> ShowS # show :: MatchingTree -> String # showList :: [MatchingTree] -> ShowS # |
data MatchingState Source #
Instances
Show MatchingState Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> MatchingState -> ShowS # show :: MatchingState -> String # showList :: [MatchingState] -> ShowS # |
type PatternBinding = (String, EgisonPattern) Source #
data LoopPatContext Source #
Instances
Show LoopPatContext Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> LoopPatContext -> ShowS # show :: LoopPatContext -> String # showList :: [LoopPatContext] -> ShowS # |
data SeqPatContext Source #
Instances
Show SeqPatContext Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> SeqPatContext -> ShowS # show :: SeqPatContext -> String # showList :: [SeqPatContext] -> ShowS # |
Errors
data EgisonError Source #
UnboundVariable String CallStack | |
TypeMismatch String WHNFData CallStack | |
ArgumentsNumWithNames [String] Int Int CallStack | |
ArgumentsNumPrimitive Int Int CallStack | |
TupleLength Int Int CallStack | |
InconsistentTensorSize CallStack | |
InconsistentTensorIndex CallStack | |
TensorIndexOutOfBounds Integer Integer CallStack | |
NotImplemented String CallStack | |
Assertion String CallStack | |
Parser String | |
ParserUnexpectedEOF | |
EgisonBug String CallStack | |
MatchFailure String CallStack | |
Default String |
Instances
Show EgisonError Source # | |
Defined in Language.Egison.Types showsPrec :: Int -> EgisonError -> ShowS # show :: EgisonError -> String # showList :: [EgisonError] -> ShowS # | |
Exception EgisonError Source # | |
Defined in Language.Egison.Types | |
MonadError EgisonError EgisonM Source # | |
Defined in Language.Egison.Types throwError :: EgisonError -> EgisonM a # catchError :: EgisonM a -> (EgisonError -> EgisonM a) -> EgisonM a # |
liftError :: MonadError e m => Either e a -> m a Source #
Monads
Instances
Monad EgisonM Source # | |
Functor EgisonM Source # | |
MonadFail EgisonM Source # | |
Defined in Language.Egison.Types | |
Applicative EgisonM Source # | |
MonadIO EgisonM Source # | |
Defined in Language.Egison.Types | |
MonadFresh EgisonM Source # | |
MonadError EgisonError EgisonM Source # | |
Defined in Language.Egison.Types throwError :: EgisonError -> EgisonM a # catchError :: EgisonM a -> (EgisonError -> EgisonM a) -> EgisonM a # |
runEgisonM :: EgisonM a -> FreshT IO (Either EgisonError a) Source #
liftEgisonM :: Fresh (Either EgisonError a) -> EgisonM a Source #
fromEgisonM :: EgisonM a -> IO (Either EgisonError a) Source #
Instances
MonadTrans FreshT Source # | |
Defined in Language.Egison.Types | |
MonadState s m => MonadState s (FreshT m) Source # | |
MonadError e m => MonadError e (FreshT m) Source # | |
Defined in Language.Egison.Types throwError :: e -> FreshT m a # catchError :: FreshT m a -> (e -> FreshT m a) -> FreshT m a # | |
Monad m => Monad (FreshT m) Source # | |
Functor m => Functor (FreshT m) Source # | |
Monad m => Applicative (FreshT m) Source # | |
MonadIO (FreshT IO) Source # | |
(Applicative m, Monad m) => MonadFresh (FreshT m) Source # | |
class (Applicative m, Monad m) => MonadFresh m where Source #
pushFuncName :: String -> m () Source #
topFuncName :: m String Source #
popFuncName :: m () Source #
getFuncNameStack :: m [String] Source #
Instances
MonadFresh EgisonM Source # | |
(Applicative m, Monad m) => MonadFresh (FreshT m) Source # | |
MonadFresh m => MonadFresh (ExceptT e m) Source # | |
MonadFresh m => MonadFresh (StateT s m) Source # | |
(MonadFresh m, Monoid e) => MonadFresh (WriterT e m) Source # | |
(MonadFresh m, Monoid e) => MonadFresh (ReaderT e m) Source # | |
msingleton :: Monad m => a -> MList m a Source #
Typing
isBool :: EgisonValue -> Bool Source #
isInteger :: EgisonValue -> Bool Source #
isRational :: EgisonValue -> Bool Source #
isSymbol :: EgisonValue -> Bool Source #
isScalar :: EgisonValue -> Bool Source #
isTensor :: EgisonValue -> Bool Source #
isTensorWithIndex :: EgisonValue -> Bool Source #
stringToVar :: String -> Var Source #
stringToVarExpr :: String -> EgisonExpr Source #
data EgisonOpts Source #
EgisonOpts | |
|