Copyright	Satoshi Egi
License	MIT
Safe Haskell	None
Language	Haskell98

Language.Egison.Types

Contents

Egison expressions
Egison values
Tensor
Scalar
Internal data
Environment
Pattern matching
Errors
Monads
Typing

Description

This module contains type definitions of Egison Data.

Synopsis

Egison expressions

data EgisonTopExpr Source #

Constructors

Define Var EgisonExpr
Redefine Var EgisonExpr
Test EgisonExpr
Execute EgisonExpr
LoadFile String
Load String

Instances

Eq EgisonTopExpr Source #
Methods (==) :: EgisonTopExpr -> EgisonTopExpr -> Bool # (/=) :: EgisonTopExpr -> EgisonTopExpr -> Bool #
Show EgisonTopExpr Source #
Methods showsPrec :: Int -> EgisonTopExpr -> ShowS # show :: EgisonTopExpr -> String # showList :: [EgisonTopExpr] -> ShowS #

data EgisonExpr Source #

Constructors

CharExpr Char
StringExpr Text
BoolExpr Bool
IntegerExpr Integer
FloatExpr Double Double
VarExpr String
FreshVarExpr
IndexedExpr Bool EgisonExpr [Index EgisonExpr]
SubrefsExpr EgisonExpr EgisonExpr
SuprefsExpr EgisonExpr EgisonExpr
UserIndexedExpr EgisonExpr [UserIndex 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
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]
MatchAllExpr EgisonExpr EgisonExpr MatchClause
MatchLambdaExpr EgisonExpr [MatchClause]
MatchAllLambdaExpr EgisonExpr MatchClause
NextMatchExpr EgisonExpr EgisonExpr [MatchClause]
NextMatchAllExpr EgisonExpr EgisonExpr MatchClause
NextMatchLambdaExpr EgisonExpr [MatchClause]
NextMatchAllLambdaExpr EgisonExpr MatchClause
MatcherBFSExpr MatcherInfo
MatcherDFSExpr MatcherInfo
AlgebraicDataMatcherExpr [(String, [EgisonExpr])]
QuoteExpr EgisonExpr
QuoteFunctionExpr EgisonExpr
WedgeExpr EgisonExpr
WedgeApplyExpr EgisonExpr EgisonExpr
DoExpr [BindingExpr] EgisonExpr
IoExpr EgisonExpr
SeqExpr EgisonExpr EgisonExpr
ApplyExpr EgisonExpr EgisonExpr
CApplyExpr EgisonExpr EgisonExpr
PartialExpr Integer EgisonExpr
PartialVarExpr Integer
RecVarExpr
GenerateArrayExpr EgisonExpr (EgisonExpr, EgisonExpr)
ArrayBoundsExpr EgisonExpr
ArrayRefExpr EgisonExpr EgisonExpr
ParExpr EgisonExpr EgisonExpr
PseqExpr EgisonExpr EgisonExpr
PmapExpr EgisonExpr EgisonExpr
GenerateTensorExpr EgisonExpr EgisonExpr
TensorExpr EgisonExpr EgisonExpr EgisonExpr EgisonExpr
TensorContractExpr EgisonExpr EgisonExpr
TensorMapExpr EgisonExpr EgisonExpr
TensorMap2Expr EgisonExpr EgisonExpr EgisonExpr
TransposeExpr EgisonExpr EgisonExpr
SomethingExpr
UndefinedExpr

Instances

Eq EgisonExpr Source #
Methods (==) :: EgisonExpr -> EgisonExpr -> Bool # (/=) :: EgisonExpr -> EgisonExpr -> Bool #
Show EgisonExpr Source #
Methods showsPrec :: Int -> EgisonExpr -> ShowS # show :: EgisonExpr -> String # showList :: [EgisonExpr] -> ShowS #
Show (UserIndex EgisonExpr) Source #
Methods showsPrec :: Int -> UserIndex EgisonExpr -> ShowS # show :: UserIndex EgisonExpr -> String # showList :: [UserIndex EgisonExpr] -> ShowS #
Show (Index EgisonExpr) Source #
Methods showsPrec :: Int -> Index EgisonExpr -> ShowS # show :: Index EgisonExpr -> String # showList :: [Index EgisonExpr] -> ShowS #

data EgisonPattern Source #

Instances

Eq EgisonPattern Source #
Methods (==) :: EgisonPattern -> EgisonPattern -> Bool # (/=) :: EgisonPattern -> EgisonPattern -> Bool #
Show EgisonPattern Source #
Methods showsPrec :: Int -> EgisonPattern -> ShowS # show :: EgisonPattern -> String # showList :: [EgisonPattern] -> ShowS #

data Arg Source #

Constructors

ScalarArg String
TensorArg String

Instances

Eq Arg Source #
Methods (==) :: Arg -> Arg -> Bool # (/=) :: Arg -> Arg -> Bool #
Show Arg Source #
Methods showsPrec :: Int -> Arg -> ShowS # show :: Arg -> String # showList :: [Arg] -> ShowS #

data Index a Source #

Constructors

Subscript a
Superscript a
SupSubscript a
DFscript Integer Integer

Instances

Eq a => Eq (Index a) Source #
Methods (==) :: Index a -> Index a -> Bool # (/=) :: Index a -> Index a -> Bool #
Show (Index ()) Source #
Methods showsPrec :: Int -> Index () -> ShowS # show :: Index () -> String # showList :: [Index ()] -> ShowS #
Show (Index String) Source #
Methods showsPrec :: Int -> Index String -> ShowS # show :: Index String -> String # showList :: [Index String] -> ShowS #
Show (Index ScalarData) Source #
Methods showsPrec :: Int -> Index ScalarData -> ShowS # show :: Index ScalarData -> String # showList :: [Index ScalarData] -> ShowS #
Show (Index EgisonValue) Source #
Methods showsPrec :: Int -> Index EgisonValue -> ShowS # show :: Index EgisonValue -> String # showList :: [Index EgisonValue] -> ShowS #
Show (Index EgisonExpr) Source #
Methods showsPrec :: Int -> Index EgisonExpr -> ShowS # show :: Index EgisonExpr -> String # showList :: [Index EgisonExpr] -> ShowS #

data UserIndex a Source #

Constructors

Userscript a

Instances

Eq a => Eq (UserIndex a) Source #
Methods (==) :: UserIndex a -> UserIndex a -> Bool # (/=) :: UserIndex a -> UserIndex a -> Bool #
Show (UserIndex ScalarData) Source #
Methods showsPrec :: Int -> UserIndex ScalarData -> ShowS # show :: UserIndex ScalarData -> String # showList :: [UserIndex ScalarData] -> ShowS #
Show (UserIndex EgisonValue) Source #
Methods showsPrec :: Int -> UserIndex EgisonValue -> ShowS # show :: UserIndex EgisonValue -> String # showList :: [UserIndex EgisonValue] -> ShowS #
Show (UserIndex EgisonExpr) Source #
Methods showsPrec :: Int -> UserIndex EgisonExpr -> ShowS # show :: UserIndex EgisonExpr -> String # showList :: [UserIndex EgisonExpr] -> ShowS #

data InnerExpr Source #

Constructors

ElementExpr EgisonExpr
SubCollectionExpr EgisonExpr

Instances

Eq InnerExpr Source #
Methods (==) :: InnerExpr -> InnerExpr -> Bool # (/=) :: InnerExpr -> InnerExpr -> Bool #
Show InnerExpr Source #
Methods showsPrec :: Int -> InnerExpr -> ShowS # show :: InnerExpr -> String # showList :: [InnerExpr] -> ShowS #

type BindingExpr = ([String], EgisonExpr) Source #

type MatchClause = (EgisonPattern, EgisonExpr) Source #

type MatcherInfo = [(PrimitivePatPattern, EgisonExpr, [(PrimitiveDataPattern, EgisonExpr)])] Source #

data LoopRange Source #

Constructors

LoopRange EgisonExpr EgisonExpr EgisonPattern

Instances

Eq LoopRange Source #
Methods (==) :: LoopRange -> LoopRange -> Bool # (/=) :: LoopRange -> LoopRange -> Bool #
Show LoopRange Source #
Methods showsPrec :: Int -> LoopRange -> ShowS # show :: LoopRange -> String # showList :: [LoopRange] -> ShowS #

data PrimitivePatPattern Source #

Constructors

PPWildCard
PPPatVar
PPValuePat String
PPInductivePat String [PrimitivePatPattern]

Instances

Eq PrimitivePatPattern Source #
Methods (==) :: PrimitivePatPattern -> PrimitivePatPattern -> Bool # (/=) :: PrimitivePatPattern -> PrimitivePatPattern -> Bool #
Show PrimitivePatPattern Source #
Methods showsPrec :: Int -> PrimitivePatPattern -> ShowS # show :: PrimitivePatPattern -> String # showList :: [PrimitivePatPattern] -> ShowS #

data PrimitiveDataPattern Source #

Constructors

PDWildCard
PDPatVar String
PDInductivePat String [PrimitiveDataPattern]
PDTuplePat [PrimitiveDataPattern]
PDEmptyPat
PDConsPat PrimitiveDataPattern PrimitiveDataPattern
PDSnocPat PrimitiveDataPattern PrimitiveDataPattern
PDConstantPat EgisonExpr

Instances

Eq PrimitiveDataPattern Source #
Methods (==) :: PrimitiveDataPattern -> PrimitiveDataPattern -> Bool # (/=) :: PrimitiveDataPattern -> PrimitiveDataPattern -> Bool #
Show PrimitiveDataPattern Source #
Methods showsPrec :: Int -> PrimitiveDataPattern -> ShowS # show :: PrimitiveDataPattern -> String # showList :: [PrimitiveDataPattern] -> ShowS #

type Matcher = EgisonValue Source #

type PrimitiveFunc = WHNFData -> EgisonM WHNFData Source #

class EgisonData a where Source #

Minimal complete definition

toEgison, fromEgison

Methods

toEgison :: a -> EgisonValue Source #

fromEgison :: EgisonValue -> EgisonM a Source #

Instances

EgisonData Bool Source #
Methods toEgison :: Bool -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM Bool Source #
EgisonData Char Source #
Methods toEgison :: Char -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM Char Source #
EgisonData Double Source #
Methods toEgison :: Double -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM Double Source #
EgisonData Integer Source #
Methods toEgison :: Integer -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM Integer Source #
EgisonData Rational Source #
Methods toEgison :: Rational -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM Rational Source #
EgisonData () Source #
Methods toEgison :: () -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM () Source #
EgisonData Handle Source #
Methods toEgison :: Handle -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM Handle Source #
EgisonData Text Source #
Methods toEgison :: Text -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM Text Source #
EgisonData a => EgisonData [a] Source #
Methods toEgison :: [a] -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM [a] Source #
(EgisonData a, EgisonData b) => EgisonData (a, b) Source #
Methods toEgison :: (a, b) -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM (a, b) Source #
(EgisonData a, EgisonData b, EgisonData c) => EgisonData (a, b, c) Source #
Methods toEgison :: (a, b, c) -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM (a, b, c) Source #
(EgisonData a, EgisonData b, EgisonData c, EgisonData d) => EgisonData (a, b, c, d) Source #
Methods toEgison :: (a, b, c, d) -> EgisonValue Source # fromEgison :: EgisonValue -> EgisonM (a, b, c, d) Source #

showTSV :: EgisonValue -> String Source #

Egison values

data EgisonValue Source #

Constructors

World
Char Char
String Text
Bool Bool
ScalarData ScalarData
TensorData (Tensor EgisonValue)
UserIndexedData EgisonValue [UserIndex EgisonValue]
Float Double 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 PMMode MatcherInfo
Func (Maybe String) Env [String] EgisonExpr
PartialFunc Env Integer EgisonExpr
CFunc (Maybe String) Env String EgisonExpr
MemoizedFunc (Maybe String) 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

Instances

Eq EgisonValue Source #
Methods (==) :: EgisonValue -> EgisonValue -> Bool # (/=) :: EgisonValue -> EgisonValue -> Bool #
Show EgisonValue Source #
Methods showsPrec :: Int -> EgisonValue -> ShowS # show :: EgisonValue -> String # showList :: [EgisonValue] -> ShowS #
HasTensor EgisonValue Source #
Methods 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 (UserIndex EgisonValue) Source #
Methods showsPrec :: Int -> UserIndex EgisonValue -> ShowS # show :: UserIndex EgisonValue -> String # showList :: [UserIndex EgisonValue] -> ShowS #
Show (Index EgisonValue) Source #
Methods showsPrec :: Int -> Index EgisonValue -> ShowS # show :: Index EgisonValue -> String # showList :: [Index EgisonValue] -> ShowS #

data ScalarData Source #

Constructors

Div PolyExpr PolyExpr

Instances

Eq ScalarData Source #
Methods (==) :: ScalarData -> ScalarData -> Bool # (/=) :: ScalarData -> ScalarData -> Bool #
Show ScalarData Source #
Methods showsPrec :: Int -> ScalarData -> ShowS # show :: ScalarData -> String # showList :: [ScalarData] -> ShowS #
Show (UserIndex ScalarData) Source #
Methods showsPrec :: Int -> UserIndex ScalarData -> ShowS # show :: UserIndex ScalarData -> String # showList :: [UserIndex ScalarData] -> ShowS #
Show (Index ScalarData) Source #
Methods showsPrec :: Int -> Index ScalarData -> ShowS # show :: Index ScalarData -> String # showList :: [Index ScalarData] -> ShowS #

data PolyExpr Source #

Constructors

Plus [TermExpr]

Instances

Eq PolyExpr Source #
Methods (==) :: PolyExpr -> PolyExpr -> Bool # (/=) :: PolyExpr -> PolyExpr -> Bool #
Show PolyExpr Source #
Methods showsPrec :: Int -> PolyExpr -> ShowS # show :: PolyExpr -> String # showList :: [PolyExpr] -> ShowS #

data TermExpr Source #

Constructors

Term Integer [(SymbolExpr, Integer)]

Instances

Eq TermExpr Source #
Methods (==) :: TermExpr -> TermExpr -> Bool # (/=) :: TermExpr -> TermExpr -> Bool #
Show TermExpr Source #
Methods showsPrec :: Int -> TermExpr -> ShowS # show :: TermExpr -> String # showList :: [TermExpr] -> ShowS #

data SymbolExpr Source #

Constructors

Symbol String String [Index ScalarData]
Apply EgisonValue [ScalarData]
Quote ScalarData

Instances

Eq SymbolExpr Source #
Methods (==) :: SymbolExpr -> SymbolExpr -> Bool # (/=) :: SymbolExpr -> SymbolExpr -> Bool #
Show SymbolExpr Source #
Methods showsPrec :: Int -> SymbolExpr -> ShowS # show :: SymbolExpr -> String # showList :: [SymbolExpr] -> ShowS #

data Tensor a Source #

Constructors

Tensor [Integer] (Vector a) [Index EgisonValue]
Scalar a

Instances

Show a => Show (Tensor a) Source #
Methods showsPrec :: Int -> Tensor a -> ShowS # show :: Tensor a -> String # showList :: [Tensor a] -> ShowS #

class HasTensor a where Source #

Minimal complete definition

tensorElems, tensorSize, tensorIndices, fromTensor, toTensor, undef

Methods

tensorElems :: a -> Vector a Source #

tensorSize :: a -> [Integer] Source #

tensorIndices :: a -> [Index EgisonValue] Source #

fromTensor :: Tensor a -> EgisonM a Source #

toTensor :: a -> EgisonM (Tensor a) Source #

undef :: a Source #

Instances

HasTensor WHNFData Source #
Methods tensorElems :: WHNFData -> Vector WHNFData Source # tensorSize :: WHNFData -> [Integer] Source # tensorIndices :: WHNFData -> [Index EgisonValue] Source # fromTensor :: Tensor WHNFData -> EgisonM WHNFData Source # toTensor :: WHNFData -> EgisonM (Tensor WHNFData) Source # undef :: WHNFData Source #
HasTensor EgisonValue Source #
Methods 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 #

tSize :: Tensor a -> [Integer] Source #

tToList :: Tensor a -> [a] Source #

tIndex :: Tensor a -> [Index EgisonValue] Source #

tref :: HasTensor a => [Index EgisonValue] -> Tensor a -> EgisonM a Source #

enumTensorIndices :: [Integer] -> [[Integer]] Source #

tTranspose' :: HasTensor a => [EgisonValue] -> Tensor a -> EgisonM (Tensor a) Source #

appendDFscripts :: Integer -> WHNFData -> EgisonM WHNFData Source #

removeDFscripts :: WHNFData -> EgisonM WHNFData Source #

tMap :: HasTensor a => (a -> EgisonM a) -> Tensor a -> EgisonM (Tensor a) Source #

tMap2 :: HasTensor a => (a -> a -> EgisonM a) -> Tensor a -> Tensor a -> EgisonM (Tensor a) Source #

tMapN :: HasTensor a => ([a] -> EgisonM a) -> [Tensor a] -> EgisonM (Tensor a) Source #

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

tContract :: HasTensor a => Tensor a -> EgisonM [Tensor a] Source #

tContract' :: HasTensor a => Tensor a -> EgisonM (Tensor a) Source #

tConcat :: HasTensor a => Index EgisonValue -> [Tensor a] -> EgisonM (Tensor a) Source #

tConcat' :: HasTensor a => [Tensor a] -> EgisonM (Tensor a) Source #

tClearIndex :: HasTensor a => Tensor a -> Tensor a Source #

tClearIndex' :: [Index EgisonValue] -> [Index EgisonValue] Source #

Scalar

symbolScalarData :: String -> String -> EgisonValue Source #

mathExprToEgison :: ScalarData -> EgisonValue Source #

egisonToScalarData :: EgisonValue -> EgisonM ScalarData Source #

mathNormalize' :: ScalarData -> ScalarData Source #

mathFold :: ScalarData -> ScalarData Source #

mathSymbolFold :: ScalarData -> ScalarData Source #

mathTermFold :: ScalarData -> ScalarData Source #

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

mathDenominator :: ScalarData -> ScalarData Source #

extractScalar :: EgisonValue -> EgisonM ScalarData Source #

extractScalar' :: WHNFData -> EgisonM ScalarData Source #

Internal data

data Object Source #

Constructors

Thunk (EgisonM WHNFData)
WHNF WHNFData

Instances

Show Object Source #
Methods showsPrec :: Int -> Object -> ShowS # show :: Object -> String # showList :: [Object] -> ShowS #
Show ObjectRef Source #
Methods showsPrec :: Int -> ObjectRef -> ShowS # show :: ObjectRef -> String # showList :: [ObjectRef] -> ShowS #

type ObjectRef = IORef Object Source #

For memoization

data WHNFData Source #

Constructors

Intermediate Intermediate
Value EgisonValue

Instances

Show WHNFData Source #
Methods showsPrec :: Int -> WHNFData -> ShowS # show :: WHNFData -> String # showList :: [WHNFData] -> ShowS #
HasTensor WHNFData Source #
Methods tensorElems :: WHNFData -> Vector WHNFData Source # tensorSize :: WHNFData -> [Integer] Source # tensorIndices :: WHNFData -> [Index EgisonValue] Source # fromTensor :: Tensor WHNFData -> EgisonM WHNFData Source # toTensor :: WHNFData -> EgisonM (Tensor WHNFData) Source # undef :: WHNFData Source #

data Intermediate Source #

Constructors

IInductiveData String [ObjectRef]
ITuple [ObjectRef]
ICollection (IORef (Seq Inner))
IArray (Array Integer ObjectRef)
IIntHash (HashMap Integer ObjectRef)
ICharHash (HashMap Char ObjectRef)
IStrHash (HashMap Text ObjectRef)
ITensor (Tensor WHNFData)

data Inner Source #

Constructors

IElement ObjectRef
ISubCollection ObjectRef

class EgisonData a => EgisonWHNF a where Source #

Minimal complete definition

fromWHNF

Methods

toWHNF :: a -> WHNFData Source #

fromWHNF :: WHNFData -> EgisonM a Source #

Instances

EgisonWHNF Bool Source #
Methods toWHNF :: Bool -> WHNFData Source # fromWHNF :: WHNFData -> EgisonM Bool Source #
EgisonWHNF Char Source #
Methods toWHNF :: Char -> WHNFData Source # fromWHNF :: WHNFData -> EgisonM Char Source #
EgisonWHNF Double Source #
Methods toWHNF :: Double -> WHNFData Source # fromWHNF :: WHNFData -> EgisonM Double Source #
EgisonWHNF Integer Source #
Methods toWHNF :: Integer -> WHNFData Source # fromWHNF :: WHNFData -> EgisonM Integer Source #
EgisonWHNF Handle Source #
Methods toWHNF :: Handle -> WHNFData Source # fromWHNF :: WHNFData -> EgisonM Handle Source #
EgisonWHNF Text Source #
Methods toWHNF :: Text -> WHNFData Source # fromWHNF :: WHNFData -> EgisonM Text Source #

Environment

data Env Source #

Constructors

Env [HashMap String ObjectRef]

Instances

Show Env Source #
Methods showsPrec :: Int -> Env -> ShowS # show :: Env -> String # showList :: [Env] -> ShowS #

data Var Source #

Constructors

Var String [Index ()]

Instances

Eq Var Source #
Methods (==) :: Var -> Var -> Bool # (/=) :: Var -> Var -> Bool #
Show Var Source #
Methods showsPrec :: Int -> Var -> ShowS # show :: Var -> String # showList :: [Var] -> ShowS #

data VarWithIndices Source #

Constructors

VarWithIndices String [Index String]

Instances

Eq VarWithIndices Source #
Methods (==) :: VarWithIndices -> VarWithIndices -> Bool # (/=) :: VarWithIndices -> VarWithIndices -> Bool #
Show VarWithIndices Source #
Methods showsPrec :: Int -> VarWithIndices -> ShowS # show :: VarWithIndices -> String # showList :: [VarWithIndices] -> ShowS #

type Binding = (String, ObjectRef) Source #

nullEnv :: Env Source #

extendEnv :: Env -> [Binding] -> Env Source #

refVar :: Env -> String -> Maybe ObjectRef Source #

Pattern matching

type Match = [Binding] Source #

data PMMode Source #

Constructors

BFSMode
DFSMode

Instances

Show PMMode Source #
Methods showsPrec :: Int -> PMMode -> ShowS # show :: PMMode -> String # showList :: [PMMode] -> ShowS #

pmMode :: Matcher -> PMMode Source #

data MatchingState Source #

Constructors

MState Env [LoopPatContext] [Binding] [MatchingTree]

Instances

Show MatchingState Source #
Methods showsPrec :: Int -> MatchingState -> ShowS # show :: MatchingState -> String # showList :: [MatchingState] -> ShowS #

data MatchingTree Source #

Constructors

MAtom EgisonPattern WHNFData Matcher
MNode [PatternBinding] MatchingState

Instances

Show MatchingTree Source #
Methods showsPrec :: Int -> MatchingTree -> ShowS # show :: MatchingTree -> String # showList :: [MatchingTree] -> ShowS #

type PatternBinding = (String, EgisonPattern) Source #

data LoopPatContext Source #

Constructors

LoopPatContext Binding ObjectRef EgisonPattern EgisonPattern EgisonPattern

Instances

Show LoopPatContext Source #
Methods showsPrec :: Int -> LoopPatContext -> ShowS # show :: LoopPatContext -> String # showList :: [LoopPatContext] -> ShowS #

Errors

data EgisonError Source #

Instances

Show EgisonError Source #
Methods showsPrec :: Int -> EgisonError -> ShowS # show :: EgisonError -> String # showList :: [EgisonError] -> ShowS #
Exception EgisonError Source #
Methods toException :: EgisonError -> SomeException # fromException :: SomeException -> Maybe EgisonError # displayException :: EgisonError -> String #
MonadError EgisonError EgisonM Source #
Methods throwError :: EgisonError -> EgisonM a # catchError :: EgisonM a -> (EgisonError -> EgisonM a) -> EgisonM a #
MonadError EgisonError DesugarM #
Methods throwError :: EgisonError -> DesugarM a # catchError :: DesugarM a -> (EgisonError -> DesugarM a) -> DesugarM a #

liftError :: MonadError e m => Either e a -> m a Source #

Monads

newtype EgisonM a Source #

Constructors

EgisonM
Fields unEgisonM :: ExceptT EgisonError (FreshT IO) a

Instances

Monad EgisonM Source #
Methods (>>=) :: EgisonM a -> (a -> EgisonM b) -> EgisonM b # (>>) :: EgisonM a -> EgisonM b -> EgisonM b # return :: a -> EgisonM a # fail :: String -> EgisonM a #
Functor EgisonM Source #
Methods fmap :: (a -> b) -> EgisonM a -> EgisonM b # (<$) :: a -> EgisonM b -> EgisonM a #
Applicative EgisonM Source #
Methods pure :: a -> EgisonM a # (<>) :: EgisonM (a -> b) -> EgisonM a -> EgisonM b # (>) :: EgisonM a -> EgisonM b -> EgisonM b # (<*) :: EgisonM a -> EgisonM b -> EgisonM a #
MonadIO EgisonM Source #
Methods liftIO :: IO a -> EgisonM a #
MonadFresh EgisonM Source #
Methods fresh :: EgisonM String Source #
MonadError EgisonError EgisonM Source #
Methods throwError :: EgisonError -> EgisonM a # catchError :: EgisonM a -> (EgisonError -> EgisonM a) -> EgisonM a #

parallelMapM :: (a -> EgisonM b) -> [a] -> EgisonM [b] Source #

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 #

newtype FreshT m a Source #

Constructors

FreshT
Fields unFreshT :: StateT (Int, Int) m a

Instances

MonadTrans FreshT Source #
Methods lift :: Monad m => m a -> FreshT m a #
MonadError e m => MonadError e (FreshT m) Source #
Methods throwError :: e -> FreshT m a # catchError :: FreshT m a -> (e -> FreshT m a) -> FreshT m a #
MonadState s m => MonadState s (FreshT m) Source #
Methods get :: FreshT m s # put :: s -> FreshT m () # state :: (s -> (a, s)) -> FreshT m a #
Monad m => Monad (FreshT m) Source #
Methods (>>=) :: FreshT m a -> (a -> FreshT m b) -> FreshT m b # (>>) :: FreshT m a -> FreshT m b -> FreshT m b # return :: a -> FreshT m a # fail :: String -> FreshT m a #
Functor m => Functor (FreshT m) Source #
Methods fmap :: (a -> b) -> FreshT m a -> FreshT m b # (<$) :: a -> FreshT m b -> FreshT m a #
Monad m => Applicative (FreshT m) Source #
Methods pure :: a -> FreshT m a # (<>) :: FreshT m (a -> b) -> FreshT m a -> FreshT m b # (>) :: FreshT m a -> FreshT m b -> FreshT m b # (<*) :: FreshT m a -> FreshT m b -> FreshT m a #
MonadIO (FreshT IO) Source #
Methods liftIO :: IO a -> FreshT IO a #
(Applicative m, Monad m) => MonadFresh (FreshT m) Source #
Methods fresh :: FreshT m String Source #
Monad m => MonadState (Int, Int) (FreshT m) Source #
Methods get :: FreshT m (Int, Int) # put :: (Int, Int) -> FreshT m () # state :: ((Int, Int) -> (a, (Int, Int))) -> FreshT m a #

type Fresh = FreshT Identity Source #

class (Applicative m, Monad m) => MonadFresh m where Source #

Minimal complete definition

fresh

Methods

fresh :: m String Source #

Instances

MonadFresh EgisonM Source #
Methods fresh :: EgisonM String Source #
MonadFresh DesugarM Source #
Methods fresh :: DesugarM String Source #
(Applicative m, Monad m) => MonadFresh (FreshT m) Source #
Methods fresh :: FreshT m String Source #
MonadFresh m => MonadFresh (ExceptT e m) Source #
Methods fresh :: ExceptT e m String Source #
MonadFresh m => MonadFresh (StateT s m) Source #
Methods fresh :: StateT s m String Source #
(MonadFresh m, Monoid e) => MonadFresh (WriterT e m) Source #
Methods fresh :: WriterT e m String Source #
(MonadFresh m, Monoid e) => MonadFresh (ReaderT * e m) Source #
Methods fresh :: ReaderT * e m String Source #

runFreshT :: Monad m => (Int, Int) -> FreshT m a -> m (a, (Int, Int)) Source #

type MatchM = MaybeT EgisonM Source #

matchFail :: MatchM a Source #

data MList m a Source #

Constructors

MNil
MCons a (m (MList m a))

Instances

Show (MList m a) Source #
Methods showsPrec :: Int -> MList m a -> ShowS # show :: MList m a -> String # showList :: [MList m a] -> ShowS #

fromList :: Monad m => [a] -> MList m a Source #

fromSeq :: Monad m => Seq a -> MList m a Source #

fromMList :: Monad m => MList m a -> m [a] Source #

msingleton :: Monad m => a -> MList m a Source #

mfoldr :: Monad m => (a -> m b -> m b) -> m b -> MList m a -> m b Source #

mappend :: Monad m => MList m a -> m (MList m a) -> m (MList m a) Source #

mconcat :: Monad m => MList m (MList m a) -> m (MList m a) Source #

mmap :: Monad m => (a -> m b) -> MList m a -> m (MList m b) Source #

mfor :: Monad m => MList m a -> (a -> m b) -> m (MList m b) 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 #

isBool' :: PrimitiveFunc Source #

isInteger' :: PrimitiveFunc Source #

isRational' :: PrimitiveFunc Source #

isScalar' :: PrimitiveFunc Source #

isFloat' :: PrimitiveFunc Source #

isComplex' :: PrimitiveFunc Source #

isTensor' :: PrimitiveFunc Source #

isTensorWithIndex' :: PrimitiveFunc Source #

isChar' :: PrimitiveFunc Source #

isString' :: PrimitiveFunc Source #

isCollection' :: PrimitiveFunc Source #

isArray' :: PrimitiveFunc Source #

isHash' :: PrimitiveFunc Source #

WildCard
PatVar String
ValuePat EgisonExpr
PredPat EgisonExpr
IndexedPat EgisonPattern [EgisonExpr]
LetPat [BindingExpr] EgisonPattern
NotPat EgisonPattern
AndPat [EgisonPattern]
OrPat [EgisonPattern]
OrderedOrPat [EgisonPattern]
TuplePat [EgisonPattern]
InductivePat String [EgisonPattern]
LoopPat String LoopRange EgisonPattern EgisonPattern
ContPat
PApplyPat EgisonExpr [EgisonPattern]
VarPat String
DApplyPat EgisonPattern [EgisonPattern]
DivPat EgisonPattern EgisonPattern
PlusPat [EgisonPattern]
MultPat [EgisonPattern]
PowerPat EgisonPattern EgisonPattern

UnboundVariable String
TypeMismatch String WHNFData
ArgumentsNumWithNames [String] Int Int
ArgumentsNumPrimitive Int Int
ArgumentsNum Int Int
InconsistentTensorSize
InconsistentTensorIndex
TensorIndexOutOfBounds Integer Integer
NotImplemented String
Assertion String
Match String
Parser String
Desugar String
EgisonBug String
Default String