Language.Egison.Data

This module contains definitions for Egison internal data.

Egison values

data EgisonValue

Constructors

World

Char Char

String Text

Bool Bool

ScalarData ScalarData

TensorData (Tensor EgisonValue)

Float Double

InductiveData String [EgisonValue]

Tuple [EgisonValue]

Collection (Seq EgisonValue)

IntHash (HashMap Integer EgisonValue)

CharHash (HashMap Char EgisonValue)

StrHash (HashMap Text EgisonValue)

UserMatcher Env [IPatternDef]

Func (Maybe Var) Env [Var] IExpr

CFunc Env String IExpr

MemoizedFunc (IORef (HashMap [Integer] WHNFData)) Env [String] IExpr

PatternFunc Env [String] IPattern

PrimitiveFunc PrimitiveFunc

LazyPrimitiveFunc LazyPrimitiveFunc

IOFunc (EvalM WHNFData)

Port Handle

RefBox (IORef EgisonValue)

Something

Undefined

Instances

Eq EgisonValue

Defined in Language.Egison.Data

Methods

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

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

Show EgisonValue

Defined in Language.Egison.Data

Methods

showsPrec :: Int -> EgisonValue -> ShowS

show :: EgisonValue -> String

showList :: [EgisonValue] -> ShowS

ToMathExpr EgisonValue

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: EgisonValue -> MathExpr

TensorComponent EgisonValue EgisonValue

Defined in Language.Egison.Tensor

Methods

fromTensor :: Tensor EgisonValue -> EvalM EgisonValue

toTensor :: EgisonValue -> EvalM (Tensor EgisonValue)

Show (Index EgisonValue)

Defined in Language.Egison.Data

Methods

showsPrec :: Int -> Index EgisonValue -> ShowS

show :: Index EgisonValue -> String

showList :: [Index EgisonValue] -> ShowS

EgisonData (IORef EgisonValue)

Defined in Language.Egison.Data

Methods

toEgison :: IORef EgisonValue -> EgisonValue

fromEgison :: EgisonValue -> EvalM (IORef EgisonValue)

type Matcher = EgisonValue

type PrimitiveFunc = [EgisonValue] -> EvalM EgisonValue

type LazyPrimitiveFunc = [WHNFData] -> EvalM WHNFData

data EgisonHashKey

Constructors

IntKey Integer

CharKey Char

StrKey Text

class EgisonData a where

Methods

toEgison :: a -> EgisonValue

fromEgison :: EgisonValue -> EvalM a

Instances

EgisonData Bool

Defined in Language.Egison.Data

Methods

toEgison :: Bool -> EgisonValue

fromEgison :: EgisonValue -> EvalM Bool

EgisonData Char

Defined in Language.Egison.Data

Methods

toEgison :: Char -> EgisonValue

fromEgison :: EgisonValue -> EvalM Char

EgisonData Double

Defined in Language.Egison.Data

Methods

toEgison :: Double -> EgisonValue

fromEgison :: EgisonValue -> EvalM Double

EgisonData Integer

Defined in Language.Egison.Data

Methods

toEgison :: Integer -> EgisonValue

fromEgison :: EgisonValue -> EvalM Integer

EgisonData Rational

Defined in Language.Egison.Data

Methods

toEgison :: Rational -> EgisonValue

fromEgison :: EgisonValue -> EvalM Rational

EgisonData ()

Defined in Language.Egison.Data

Methods

toEgison :: () -> EgisonValue

fromEgison :: EgisonValue -> EvalM ()

EgisonData Handle

Defined in Language.Egison.Data

Methods

toEgison :: Handle -> EgisonValue

fromEgison :: EgisonValue -> EvalM Handle

EgisonData Text

Defined in Language.Egison.Data

Methods

toEgison :: Text -> EgisonValue

fromEgison :: EgisonValue -> EvalM Text

EgisonData a => EgisonData [a]

Defined in Language.Egison.Data

Methods

toEgison :: [a] -> EgisonValue

fromEgison :: EgisonValue -> EvalM [a]

EgisonData (IORef EgisonValue)

Defined in Language.Egison.Data

Methods

toEgison :: IORef EgisonValue -> EgisonValue

fromEgison :: EgisonValue -> EvalM (IORef EgisonValue)

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

Defined in Language.Egison.Data

Methods

toEgison :: (a, b) -> EgisonValue

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

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

Defined in Language.Egison.Data

Methods

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

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

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

Defined in Language.Egison.Data

Methods

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

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

data Tensor a

Constructors

Tensor Shape (Vector a) [Index EgisonValue]

Scalar a

Instances

Show a => Show (Tensor a)

Defined in Language.Egison.Data

Methods

showsPrec :: Int -> Tensor a -> ShowS

show :: Tensor a -> String

showList :: [Tensor a] -> ShowS

ToMathExpr a => ToMathExpr (Tensor a)

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: Tensor a -> MathExpr

type Shape = [Integer]

Scalar

symbolScalarData :: String -> String -> EgisonValue

symbolScalarData' :: String -> ScalarData

getSymId :: EgisonValue -> String

getSymName :: EgisonValue -> String

mathExprToEgison :: ScalarData -> EgisonValue

egisonToScalarData :: EgisonValue -> EvalM ScalarData

extractScalar :: EgisonValue -> EvalM ScalarData

Internal data

data Object

Constructors

Thunk (EvalM WHNFData)

WHNF WHNFData

Instances

Show Object

Defined in Language.Egison.Data

Methods

showsPrec :: Int -> Object -> ShowS

show :: Object -> String

showList :: [Object] -> ShowS

Show ObjectRef

Defined in Language.Egison.Data

Methods

showsPrec :: Int -> ObjectRef -> ShowS

show :: ObjectRef -> String

showList :: [ObjectRef] -> ShowS

TensorComponent WHNFData ObjectRef

Defined in Language.Egison.Tensor

Methods

fromTensor :: Tensor ObjectRef -> EvalM WHNFData

toTensor :: WHNFData -> EvalM (Tensor ObjectRef)

type ObjectRef = IORef Object

For memoization

data WHNFData

Constructors

Value EgisonValue

IInductiveData String [ObjectRef]

ITuple [ObjectRef]

ICollection (IORef (Seq Inner))

IIntHash (HashMap Integer ObjectRef)

ICharHash (HashMap Char ObjectRef)

IStrHash (HashMap Text ObjectRef)

ITensor (Tensor ObjectRef)

Instances

Show WHNFData

Defined in Language.Egison.Data

Methods

showsPrec :: Int -> WHNFData -> ShowS

show :: WHNFData -> String

showList :: [WHNFData] -> ShowS

TensorComponent WHNFData ObjectRef

Defined in Language.Egison.Tensor

Methods

fromTensor :: Tensor ObjectRef -> EvalM WHNFData

toTensor :: WHNFData -> EvalM (Tensor ObjectRef)

data Inner

Constructors

IElement ObjectRef

ISubCollection ObjectRef

Environment

data Env

Constructors

Env [HashMap Var ObjectRef] (Maybe (String, [Index (Maybe ScalarData)]))

type Binding = (Var, ObjectRef)

nullEnv :: Env

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

refVar :: Env -> Var -> Maybe ObjectRef

Errors

data EgisonError

Constructors

UnboundVariable String CallStack

TypeMismatch String WHNFData CallStack

ArgumentsNumPrimitive String Int Int CallStack

TupleLength Int Int CallStack

InconsistentTensorShape CallStack

InconsistentTensorIndex CallStack

TensorIndexOutOfBounds Integer Integer CallStack

NotImplemented String CallStack

Assertion String CallStack

Parser String

EgisonBug String CallStack

MatchFailure CallStack

PrimitiveMatchFailure CallStack

Default String

Instances

Show EgisonError

Defined in Language.Egison.Data

Methods

showsPrec :: Int -> EgisonError -> ShowS

show :: EgisonError -> String

showList :: [EgisonError] -> ShowS

Exception EgisonError

Defined in Language.Egison.Data

Methods

toException :: EgisonError -> SomeException

fromException :: SomeException -> Maybe EgisonError

displayException :: EgisonError -> String

MonadRuntime EvalM

Defined in Language.Egison.Data

Methods

fresh :: EvalM String

throwErrorWithTrace :: (CallStack -> EgisonError) -> EvalM a

Monads

type EvalM = EvalT RuntimeM

fromEvalM :: EgisonOpts -> EvalM a -> IO (Either EgisonError a)

fromEvalT :: EvalM a -> RuntimeM (Either EgisonError a)