Language.Egison.Types

This module contains type definitions of Egison Data.

Egison expressions

data EgisonTopExpr

Constructors

Define Var EgisonExpr

Redefine Var EgisonExpr

Test EgisonExpr

Execute EgisonExpr

LoadFile String

Load String

Instances

Eq EgisonTopExpr

Methods

(==) :: EgisonTopExpr -> EgisonTopExpr -> Bool

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

Show EgisonTopExpr

Methods

showsPrec :: Int -> EgisonTopExpr -> ShowS

show :: EgisonTopExpr -> String

showList :: [EgisonTopExpr] -> ShowS

data EgisonExpr

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

Methods

(==) :: EgisonExpr -> EgisonExpr -> Bool

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

Show EgisonExpr

Methods

showsPrec :: Int -> EgisonExpr -> ShowS

show :: EgisonExpr -> String

showList :: [EgisonExpr] -> ShowS

Show (UserIndex EgisonExpr)

Methods

showsPrec :: Int -> UserIndex EgisonExpr -> ShowS

show :: UserIndex EgisonExpr -> String

showList :: [UserIndex EgisonExpr] -> ShowS

Show (Index EgisonExpr)

Methods

showsPrec :: Int -> Index EgisonExpr -> ShowS

show :: Index EgisonExpr -> String

showList :: [Index EgisonExpr] -> ShowS

data EgisonPattern

Constructors

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

Instances

Eq EgisonPattern

Methods

(==) :: EgisonPattern -> EgisonPattern -> Bool

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

Show EgisonPattern

Methods

showsPrec :: Int -> EgisonPattern -> ShowS

show :: EgisonPattern -> String

showList :: [EgisonPattern] -> ShowS

data Arg

Constructors

ScalarArg String

TensorArg String

Instances

Eq Arg

Methods

(==) :: Arg -> Arg -> Bool

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

Show Arg

Methods

showsPrec :: Int -> Arg -> ShowS

show :: Arg -> String

showList :: [Arg] -> ShowS

data Index a

Constructors

Subscript a

Superscript a

SupSubscript a

DFscript Integer Integer

Instances

Eq a => Eq (Index a)

Methods

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

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

Show (Index ())

Methods

showsPrec :: Int -> Index () -> ShowS

show :: Index () -> String

showList :: [Index ()] -> ShowS

Show (Index String)

Methods

showsPrec :: Int -> Index String -> ShowS

show :: Index String -> String

showList :: [Index String] -> ShowS

Show (Index ScalarData)

Methods

showsPrec :: Int -> Index ScalarData -> ShowS

show :: Index ScalarData -> String

showList :: [Index ScalarData] -> ShowS

Show (Index EgisonValue)

Methods

showsPrec :: Int -> Index EgisonValue -> ShowS

show :: Index EgisonValue -> String

showList :: [Index EgisonValue] -> ShowS

Show (Index EgisonExpr)

Methods

showsPrec :: Int -> Index EgisonExpr -> ShowS

show :: Index EgisonExpr -> String

showList :: [Index EgisonExpr] -> ShowS

data UserIndex a

Constructors

Userscript a

Instances

Eq a => Eq (UserIndex a)

Methods

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

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

Show (UserIndex ScalarData)

Methods

showsPrec :: Int -> UserIndex ScalarData -> ShowS

show :: UserIndex ScalarData -> String

showList :: [UserIndex ScalarData] -> ShowS

Show (UserIndex EgisonValue)

Methods

showsPrec :: Int -> UserIndex EgisonValue -> ShowS

show :: UserIndex EgisonValue -> String

showList :: [UserIndex EgisonValue] -> ShowS

Show (UserIndex EgisonExpr)

Methods

showsPrec :: Int -> UserIndex EgisonExpr -> ShowS

show :: UserIndex EgisonExpr -> String

showList :: [UserIndex EgisonExpr] -> ShowS

data InnerExpr

Constructors

ElementExpr EgisonExpr

SubCollectionExpr EgisonExpr

Instances

Eq InnerExpr

Methods

(==) :: InnerExpr -> InnerExpr -> Bool

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

Show InnerExpr

Methods

showsPrec :: Int -> InnerExpr -> ShowS

show :: InnerExpr -> String

showList :: [InnerExpr] -> ShowS

type BindingExpr = ([String], EgisonExpr)

type MatchClause = (EgisonPattern, EgisonExpr)

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

data LoopRange

Constructors

LoopRange EgisonExpr EgisonExpr EgisonPattern

Instances

Eq LoopRange

Methods

(==) :: LoopRange -> LoopRange -> Bool

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

Show LoopRange

Methods

showsPrec :: Int -> LoopRange -> ShowS

show :: LoopRange -> String

showList :: [LoopRange] -> ShowS

data PrimitivePatPattern

Constructors

PPWildCard

PPPatVar

PPValuePat String

PPInductivePat String [PrimitivePatPattern]

Instances

Eq PrimitivePatPattern

Methods

(==) :: PrimitivePatPattern -> PrimitivePatPattern -> Bool

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

Show PrimitivePatPattern

Methods

showsPrec :: Int -> PrimitivePatPattern -> ShowS

show :: PrimitivePatPattern -> String

showList :: [PrimitivePatPattern] -> ShowS

data PrimitiveDataPattern

Constructors

PDWildCard

PDPatVar String

PDInductivePat String [PrimitiveDataPattern]

PDTuplePat [PrimitiveDataPattern]

PDEmptyPat

PDConsPat PrimitiveDataPattern PrimitiveDataPattern

PDSnocPat PrimitiveDataPattern PrimitiveDataPattern

PDConstantPat EgisonExpr

Instances

Eq PrimitiveDataPattern

Methods

(==) :: PrimitiveDataPattern -> PrimitiveDataPattern -> Bool

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

Show PrimitiveDataPattern

Methods

showsPrec :: Int -> PrimitiveDataPattern -> ShowS

show :: PrimitiveDataPattern -> String

showList :: [PrimitiveDataPattern] -> ShowS

type Matcher = EgisonValue

type PrimitiveFunc = WHNFData -> EgisonM WHNFData

class EgisonData a where

Minimal complete definition

toEgison, fromEgison

Methods

toEgison :: a -> EgisonValue

fromEgison :: EgisonValue -> EgisonM a

Instances

EgisonData Bool

Methods

toEgison :: Bool -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Bool

EgisonData Char

Methods

toEgison :: Char -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Char

EgisonData Double

Methods

toEgison :: Double -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Double

EgisonData Integer

Methods

toEgison :: Integer -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Integer

EgisonData Rational

Methods

toEgison :: Rational -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Rational

EgisonData ()

Methods

toEgison :: () -> EgisonValue

fromEgison :: EgisonValue -> EgisonM ()

EgisonData Handle

Methods

toEgison :: Handle -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Handle

EgisonData Text

Methods

toEgison :: Text -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Text

EgisonData a => EgisonData [a]

Methods

toEgison :: [a] -> EgisonValue

fromEgison :: EgisonValue -> EgisonM [a]

(EgisonData a, EgisonData b) => EgisonData (a, b)

Methods

toEgison :: (a, b) -> EgisonValue

fromEgison :: EgisonValue -> EgisonM (a, b)

(EgisonData a, EgisonData b, EgisonData c) => EgisonData (a, b, c)

Methods

toEgison :: (a, b, c) -> EgisonValue

fromEgison :: EgisonValue -> EgisonM (a, b, c)

(EgisonData a, EgisonData b, EgisonData c, EgisonData d) => EgisonData (a, b, c, d)

Methods

toEgison :: (a, b, c, d) -> EgisonValue

fromEgison :: EgisonValue -> EgisonM (a, b, c, d)

showTSV :: EgisonValue -> String

Egison values

data EgisonValue

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

Methods

(==) :: EgisonValue -> EgisonValue -> Bool

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

Show EgisonValue

Methods

showsPrec :: Int -> EgisonValue -> ShowS

show :: EgisonValue -> String

showList :: [EgisonValue] -> ShowS

HasTensor EgisonValue

Methods

tensorElems :: EgisonValue -> Vector EgisonValue

tensorSize :: EgisonValue -> [Integer]

tensorIndices :: EgisonValue -> [Index EgisonValue]

fromTensor :: Tensor EgisonValue -> EgisonM EgisonValue

toTensor :: EgisonValue -> EgisonM (Tensor EgisonValue)

undef :: EgisonValue

Show (UserIndex EgisonValue)

Methods

showsPrec :: Int -> UserIndex EgisonValue -> ShowS

show :: UserIndex EgisonValue -> String

showList :: [UserIndex EgisonValue] -> ShowS

Show (Index EgisonValue)

Methods

showsPrec :: Int -> Index EgisonValue -> ShowS

show :: Index EgisonValue -> String

showList :: [Index EgisonValue] -> ShowS

data ScalarData

Constructors

Div PolyExpr PolyExpr

Instances

Eq ScalarData

Methods

(==) :: ScalarData -> ScalarData -> Bool

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

Show ScalarData

Methods

showsPrec :: Int -> ScalarData -> ShowS

show :: ScalarData -> String

showList :: [ScalarData] -> ShowS

Show (UserIndex ScalarData)

Methods

showsPrec :: Int -> UserIndex ScalarData -> ShowS

show :: UserIndex ScalarData -> String

showList :: [UserIndex ScalarData] -> ShowS

Show (Index ScalarData)

Methods

showsPrec :: Int -> Index ScalarData -> ShowS

show :: Index ScalarData -> String

showList :: [Index ScalarData] -> ShowS

data PolyExpr

Constructors

Plus [TermExpr]

Instances

Eq PolyExpr

Methods

(==) :: PolyExpr -> PolyExpr -> Bool

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

Show PolyExpr

Methods

showsPrec :: Int -> PolyExpr -> ShowS

show :: PolyExpr -> String

showList :: [PolyExpr] -> ShowS

data TermExpr

Constructors

Term Integer [(SymbolExpr, Integer)]

Instances

Eq TermExpr

Methods

(==) :: TermExpr -> TermExpr -> Bool

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

Show TermExpr

Methods

showsPrec :: Int -> TermExpr -> ShowS

show :: TermExpr -> String

showList :: [TermExpr] -> ShowS

data SymbolExpr

Constructors

Symbol String String [Index ScalarData]

Apply EgisonValue [ScalarData]

Quote ScalarData

Instances

Eq SymbolExpr

Methods

(==) :: SymbolExpr -> SymbolExpr -> Bool

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

Show SymbolExpr

Methods

showsPrec :: Int -> SymbolExpr -> ShowS

show :: SymbolExpr -> String

showList :: [SymbolExpr] -> ShowS

data Tensor a

Constructors

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

Scalar a

Instances

Show a => Show (Tensor a)

Methods

showsPrec :: Int -> Tensor a -> ShowS

show :: Tensor a -> String

showList :: [Tensor a] -> ShowS

class HasTensor a where

Minimal complete definition

tensorElems, tensorSize, tensorIndices, fromTensor, toTensor, undef

Methods

tensorElems :: a -> Vector a

tensorSize :: a -> [Integer]

tensorIndices :: a -> [Index EgisonValue]

fromTensor :: Tensor a -> EgisonM a

toTensor :: a -> EgisonM (Tensor a)

undef :: a

Instances

HasTensor WHNFData

Methods

tensorElems :: WHNFData -> Vector WHNFData

tensorSize :: WHNFData -> [Integer]

tensorIndices :: WHNFData -> [Index EgisonValue]

fromTensor :: Tensor WHNFData -> EgisonM WHNFData

toTensor :: WHNFData -> EgisonM (Tensor WHNFData)

undef :: WHNFData

HasTensor EgisonValue

Methods

tensorElems :: EgisonValue -> Vector EgisonValue

tensorSize :: EgisonValue -> [Integer]

tensorIndices :: EgisonValue -> [Index EgisonValue]

fromTensor :: Tensor EgisonValue -> EgisonM EgisonValue

toTensor :: EgisonValue -> EgisonM (Tensor EgisonValue)

undef :: EgisonValue

Tensor

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

tTranspose' :: HasTensor a => [EgisonValue] -> 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)

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

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

Scalar

symbolScalarData :: String -> String -> EgisonValue

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

Internal data

data Object

Constructors

Thunk (EgisonM WHNFData)

WHNF WHNFData

Instances

Show Object

Methods

showsPrec :: Int -> Object -> ShowS

show :: Object -> String

showList :: [Object] -> ShowS

Show ObjectRef

Methods

showsPrec :: Int -> ObjectRef -> ShowS

show :: ObjectRef -> String

showList :: [ObjectRef] -> ShowS

type ObjectRef = IORef Object

For memoization

data WHNFData

Constructors

Intermediate Intermediate

Value EgisonValue

Instances

Show WHNFData

Methods

showsPrec :: Int -> WHNFData -> ShowS

show :: WHNFData -> String

showList :: [WHNFData] -> ShowS

HasTensor WHNFData

Methods

tensorElems :: WHNFData -> Vector WHNFData

tensorSize :: WHNFData -> [Integer]

tensorIndices :: WHNFData -> [Index EgisonValue]

fromTensor :: Tensor WHNFData -> EgisonM WHNFData

toTensor :: WHNFData -> EgisonM (Tensor WHNFData)

undef :: WHNFData

data Intermediate

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

Constructors

IElement ObjectRef

ISubCollection ObjectRef

class EgisonData a => EgisonWHNF a where

Minimal complete definition

fromWHNF

Methods

toWHNF :: a -> WHNFData

fromWHNF :: WHNFData -> EgisonM a

Instances

EgisonWHNF Bool

Methods

toWHNF :: Bool -> WHNFData

fromWHNF :: WHNFData -> EgisonM Bool

EgisonWHNF Char

Methods

toWHNF :: Char -> WHNFData

fromWHNF :: WHNFData -> EgisonM Char

EgisonWHNF Double

Methods

toWHNF :: Double -> WHNFData

fromWHNF :: WHNFData -> EgisonM Double

EgisonWHNF Integer

Methods

toWHNF :: Integer -> WHNFData

fromWHNF :: WHNFData -> EgisonM Integer

EgisonWHNF Handle

Methods

toWHNF :: Handle -> WHNFData

fromWHNF :: WHNFData -> EgisonM Handle

EgisonWHNF Text

Methods

toWHNF :: Text -> WHNFData

fromWHNF :: WHNFData -> EgisonM Text

Environment

data Env

Constructors

Env [HashMap String ObjectRef]

Instances

Show Env

Methods

showsPrec :: Int -> Env -> ShowS

show :: Env -> String

showList :: [Env] -> ShowS

data Var

Constructors

Var String [Index ()]

Instances

Eq Var

Methods

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

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

Show Var

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

data VarWithIndices

Constructors

VarWithIndices String [Index String]

Instances

Eq VarWithIndices

Methods

(==) :: VarWithIndices -> VarWithIndices -> Bool

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

Show VarWithIndices

Methods

showsPrec :: Int -> VarWithIndices -> ShowS

show :: VarWithIndices -> String

showList :: [VarWithIndices] -> ShowS

type Binding = (String, ObjectRef)

nullEnv :: Env

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

refVar :: Env -> String -> Maybe ObjectRef

Pattern matching

type Match = [Binding]

data PMMode

Constructors

BFSMode

DFSMode

Instances

Show PMMode

Methods

showsPrec :: Int -> PMMode -> ShowS

show :: PMMode -> String

showList :: [PMMode] -> ShowS

pmMode :: Matcher -> PMMode

data MatchingState

Constructors

MState Env [LoopPatContext] [Binding] [MatchingTree]

Instances

Show MatchingState

Methods

showsPrec :: Int -> MatchingState -> ShowS

show :: MatchingState -> String

showList :: [MatchingState] -> ShowS

data MatchingTree

Constructors

MAtom EgisonPattern WHNFData Matcher

MNode [PatternBinding] MatchingState

Instances

Show MatchingTree

Methods

showsPrec :: Int -> MatchingTree -> ShowS

show :: MatchingTree -> String

showList :: [MatchingTree] -> ShowS

type PatternBinding = (String, EgisonPattern)

data LoopPatContext

Constructors

LoopPatContext Binding ObjectRef EgisonPattern EgisonPattern EgisonPattern

Instances

Show LoopPatContext

Methods

showsPrec :: Int -> LoopPatContext -> ShowS

show :: LoopPatContext -> String

showList :: [LoopPatContext] -> ShowS

Errors

data EgisonError

Constructors

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

Instances

Show EgisonError

Methods

showsPrec :: Int -> EgisonError -> ShowS

show :: EgisonError -> String

showList :: [EgisonError] -> ShowS

Exception EgisonError

Methods

toException :: EgisonError -> SomeException

fromException :: SomeException -> Maybe EgisonError

displayException :: EgisonError -> String

MonadError EgisonError EgisonM

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

Monads

newtype EgisonM a

Constructors

EgisonM

Fields

• unEgisonM :: ExceptT EgisonError (FreshT IO) a

Instances

Monad EgisonM

Methods

(>>=) :: EgisonM a -> (a -> EgisonM b) -> EgisonM b

(>>) :: EgisonM a -> EgisonM b -> EgisonM b

return :: a -> EgisonM a

fail :: String -> EgisonM a

Functor EgisonM

Methods

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

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

Applicative EgisonM

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

Methods

liftIO :: IO a -> EgisonM a

MonadFresh EgisonM

Methods

fresh :: EgisonM String

MonadError EgisonError EgisonM

Methods

throwError :: EgisonError -> EgisonM a

catchError :: EgisonM a -> (EgisonError -> EgisonM a) -> EgisonM a

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

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

Constructors

FreshT

Fields

• unFreshT :: StateT (Int, Int) m a

Instances

MonadTrans FreshT

Methods

lift :: Monad m => m a -> FreshT m a

MonadError e m => MonadError e (FreshT m)

Methods

throwError :: e -> FreshT m a

catchError :: FreshT m a -> (e -> FreshT m a) -> FreshT m a

MonadState s m => MonadState s (FreshT m)

Methods

get :: FreshT m s

put :: s -> FreshT m ()

state :: (s -> (a, s)) -> FreshT m a

Monad m => Monad (FreshT m)

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)

Methods

fmap :: (a -> b) -> FreshT m a -> FreshT m b

(<$) :: a -> FreshT m b -> FreshT m a

Monad m => Applicative (FreshT m)

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)

Methods

liftIO :: IO a -> FreshT IO a

(Applicative m, Monad m) => MonadFresh (FreshT m)

Methods

fresh :: FreshT m String

Monad m => MonadState (Int, Int) (FreshT m)

Methods

get :: FreshT m (Int, Int)

put :: (Int, Int) -> FreshT m ()

state :: ((Int, Int) -> (a, (Int, Int))) -> FreshT m a

type Fresh = FreshT Identity

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

Minimal complete definition

fresh

Methods

fresh :: m String

Instances

MonadFresh EgisonM

Methods

fresh :: EgisonM String

MonadFresh DesugarM

Methods

fresh :: DesugarM String

(Applicative m, Monad m) => MonadFresh (FreshT m)

Methods

fresh :: FreshT m String

MonadFresh m => MonadFresh (ExceptT e m)

Methods

fresh :: ExceptT e m String

MonadFresh m => MonadFresh (StateT s m)

Methods

fresh :: StateT s m String

(MonadFresh m, Monoid e) => MonadFresh (WriterT e m)

Methods

fresh :: WriterT e m String

(MonadFresh m, Monoid e) => MonadFresh (ReaderT * e m)

Methods

fresh :: ReaderT * e m String

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

type MatchM = MaybeT EgisonM

matchFail :: MatchM a

data MList m a

Constructors

MNil

MCons a (m (MList m a))

Instances

Show (MList m a)

Methods

showsPrec :: Int -> MList m a -> ShowS

show :: MList m a -> String

showList :: [MList m a] -> ShowS

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)

Typing

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