Language.Egison.Types

This module contains type definitions of Egison 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)

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

PatternFunc Env [String] EgisonPattern

PrimitiveFunc String PrimitiveFunc

IOFunc (EgisonM WHNFData)

Port Handle

Something

Undefined

EOF

Instances

Eq EgisonValue

Defined in Language.Egison.Types

Methods

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

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

Show EgisonValue

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> EgisonValue -> ShowS

show :: EgisonValue -> String

showList :: [EgisonValue] -> ShowS

HasTensor EgisonValue

Defined in Language.Egison.Types

Methods

tensorElems :: EgisonValue -> Vector EgisonValue

tensorSize :: EgisonValue -> [Integer]

tensorIndices :: EgisonValue -> [Index EgisonValue]

fromTensor :: Tensor EgisonValue -> EgisonM EgisonValue

toTensor :: EgisonValue -> EgisonM (Tensor EgisonValue)

undef :: EgisonValue

PrettyS EgisonValue

Defined in Language.Egison.Pretty

Methods

prettyS :: EgisonValue -> String

Show (Index EgisonValue)

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> Index EgisonValue -> ShowS

show :: Index EgisonValue -> String

showList :: [Index EgisonValue] -> ShowS

PrettyS (Index EgisonValue)

Defined in Language.Egison.Pretty

Methods

prettyS :: Index EgisonValue -> String

type Matcher = EgisonValue

type PrimitiveFunc = WHNFData -> EgisonM WHNFData

data EgisonHashKey

Constructors

IntKey Integer

CharKey Char

StrKey Text

class EgisonData a where

Methods

toEgison :: a -> EgisonValue

fromEgison :: EgisonValue -> EgisonM a

Instances

EgisonData Bool

Defined in Language.Egison.Types

Methods

toEgison :: Bool -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Bool

EgisonData Char

Defined in Language.Egison.Types

Methods

toEgison :: Char -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Char

EgisonData Double

Defined in Language.Egison.Types

Methods

toEgison :: Double -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Double

EgisonData Integer

Defined in Language.Egison.Types

Methods

toEgison :: Integer -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Integer

EgisonData Rational

Defined in Language.Egison.Types

Methods

toEgison :: Rational -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Rational

EgisonData ()

Defined in Language.Egison.Types

Methods

toEgison :: () -> EgisonValue

fromEgison :: EgisonValue -> EgisonM ()

EgisonData Handle

Defined in Language.Egison.Types

Methods

toEgison :: Handle -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Handle

EgisonData Text

Defined in Language.Egison.Types

Methods

toEgison :: Text -> EgisonValue

fromEgison :: EgisonValue -> EgisonM Text

EgisonData a => EgisonData [a]

Defined in Language.Egison.Types

Methods

toEgison :: [a] -> EgisonValue

fromEgison :: EgisonValue -> EgisonM [a]

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

Defined in Language.Egison.Types

Methods

toEgison :: (a, b) -> EgisonValue

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

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

Defined in Language.Egison.Types

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)

Defined in Language.Egison.Types

Methods

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

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

data Tensor a

Constructors

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

Scalar a

Instances

Show a => Show (Tensor a)

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> Tensor a -> ShowS

show :: Tensor a -> String

showList :: [Tensor a] -> ShowS

class HasTensor a where

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

Defined in Language.Egison.Types

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

Defined in Language.Egison.Types

Methods

tensorElems :: EgisonValue -> Vector EgisonValue

tensorSize :: EgisonValue -> [Integer]

tensorIndices :: EgisonValue -> [Index EgisonValue]

fromTensor :: Tensor EgisonValue -> EgisonM EgisonValue

toTensor :: EgisonValue -> EgisonM (Tensor EgisonValue)

undef :: EgisonValue

Scalar

symbolScalarData :: String -> String -> EgisonValue

symbolScalarData' :: String -> String -> ScalarData

getSymId :: EgisonValue -> String

getSymName :: EgisonValue -> String

mathExprToEgison :: ScalarData -> EgisonValue

egisonToScalarData :: EgisonValue -> EgisonM ScalarData

extractScalar :: EgisonValue -> EgisonM ScalarData

extractScalar' :: WHNFData -> EgisonM ScalarData

Internal data

data Object

Constructors

Thunk (EgisonM WHNFData)

WHNF WHNFData

Instances

Show Object

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> Object -> ShowS

show :: Object -> String

showList :: [Object] -> ShowS

Show ObjectRef

Defined in Language.Egison.Types

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

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> WHNFData -> ShowS

show :: WHNFData -> String

showList :: [WHNFData] -> ShowS

HasTensor WHNFData

Defined in Language.Egison.Types

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

Defined in Language.Egison.Types

Methods

toWHNF :: Bool -> WHNFData

fromWHNF :: WHNFData -> EgisonM Bool

EgisonWHNF Char

Defined in Language.Egison.Types

Methods

toWHNF :: Char -> WHNFData

fromWHNF :: WHNFData -> EgisonM Char

EgisonWHNF Double

Defined in Language.Egison.Types

Methods

toWHNF :: Double -> WHNFData

fromWHNF :: WHNFData -> EgisonM Double

EgisonWHNF Integer

Defined in Language.Egison.Types

Methods

toWHNF :: Integer -> WHNFData

fromWHNF :: WHNFData -> EgisonM Integer

EgisonWHNF Handle

Defined in Language.Egison.Types

Methods

toWHNF :: Handle -> WHNFData

fromWHNF :: WHNFData -> EgisonM Handle

EgisonWHNF Text

Defined in Language.Egison.Types

Methods

toWHNF :: Text -> WHNFData

fromWHNF :: WHNFData -> EgisonM Text

Environment

data Env

Constructors

Env [HashMap Var ObjectRef] (Maybe VarWithIndices)

Instances

Show Env

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> Env -> ShowS

show :: Env -> String

showList :: [Env] -> ShowS

type Binding = (Var, ObjectRef)

nullEnv :: Env

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

refVar :: Env -> Var -> Maybe ObjectRef

Pattern matching

type Match = [Binding]

data MatchingTree

Constructors

MAtom EgisonPattern WHNFData Matcher

MNode [PatternBinding] MatchingState

Instances

Show MatchingTree

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> MatchingTree -> ShowS

show :: MatchingTree -> String

showList :: [MatchingTree] -> ShowS

data MatchingState

Constructors

MState

Fields

• mStateEnv :: Env
• loopPatCtx :: [LoopPatContext]
• seqPatCtx :: [SeqPatContext]
• mStateBindings :: [Binding]
• mTrees :: [MatchingTree]

Instances

Show MatchingState

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> MatchingState -> ShowS

show :: MatchingState -> String

showList :: [MatchingState] -> ShowS

type PatternBinding = (String, EgisonPattern)

data LoopPatContext

Constructors

LoopPatContext Binding ObjectRef EgisonPattern EgisonPattern EgisonPattern

Instances

Show LoopPatContext

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> LoopPatContext -> ShowS

show :: LoopPatContext -> String

showList :: [LoopPatContext] -> ShowS

data SeqPatContext

Constructors

SeqPatContext [MatchingTree] EgisonPattern [Matcher] [WHNFData]

Instances

Show SeqPatContext

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> SeqPatContext -> ShowS

show :: SeqPatContext -> String

showList :: [SeqPatContext] -> ShowS

Errors

data EgisonError

Constructors

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

EgisonBug String CallStack

MatchFailure String CallStack

Default String

Instances

Show EgisonError

Defined in Language.Egison.Types

Methods

showsPrec :: Int -> EgisonError -> ShowS

show :: EgisonError -> String

showList :: [EgisonError] -> ShowS

Exception EgisonError

Defined in Language.Egison.Types

Methods

toException :: EgisonError -> SomeException

fromException :: SomeException -> Maybe EgisonError

displayException :: EgisonError -> String

MonadError EgisonError EgisonM

Defined in Language.Egison.Types

Methods

throwError :: EgisonError -> EgisonM a

catchError :: EgisonM a -> (EgisonError -> EgisonM a) -> EgisonM 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

Defined in Language.Egison.Types

Methods

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

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

return :: a -> EgisonM a

fail :: String -> EgisonM a

Functor EgisonM

Defined in Language.Egison.Types

Methods

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

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

MonadFail EgisonM

Defined in Language.Egison.Types

Methods

fail :: String -> EgisonM a

Applicative EgisonM

Defined in Language.Egison.Types

Methods

pure :: a -> EgisonM a

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

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

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

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

MonadIO EgisonM

Defined in Language.Egison.Types

Methods

liftIO :: IO a -> EgisonM a

MonadFresh EgisonM

Defined in Language.Egison.Types

Methods

fresh :: EgisonM String

freshV :: EgisonM Var

pushFuncName :: String -> EgisonM ()

topFuncName :: EgisonM String

popFuncName :: EgisonM ()

getFuncNameStack :: EgisonM [String]

MonadError EgisonError EgisonM

Defined in Language.Egison.Types

Methods

throwError :: EgisonError -> EgisonM a

catchError :: EgisonM a -> (EgisonError -> EgisonM a) -> EgisonM 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

Constructors

FreshT

Fields

• unFreshT :: StateT RuntimeState m a

Instances

MonadTrans FreshT

Defined in Language.Egison.Types

Methods

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

MonadState s m => MonadState s (FreshT m)

Defined in Language.Egison.Types

Methods

get :: FreshT m s

put :: s -> FreshT m ()

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

MonadError e m => MonadError e (FreshT m)

Defined in Language.Egison.Types

Methods

throwError :: e -> FreshT m a

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

Monad m => Monad (FreshT m)

Defined in Language.Egison.Types

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)

Defined in Language.Egison.Types

Methods

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

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

Monad m => Applicative (FreshT m)

Defined in Language.Egison.Types

Methods

pure :: a -> FreshT m a

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

liftA2 :: (a -> b -> c) -> FreshT m a -> FreshT m b -> FreshT m c

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

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

MonadIO (FreshT IO)

Defined in Language.Egison.Types

Methods

liftIO :: IO a -> FreshT IO a

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

Defined in Language.Egison.Types

Methods

fresh :: FreshT m String

freshV :: FreshT m Var

pushFuncName :: String -> FreshT m ()

topFuncName :: FreshT m String

popFuncName :: FreshT m ()

getFuncNameStack :: FreshT m [String]

type Fresh = FreshT Identity

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

Methods

fresh :: m String

freshV :: m Var

pushFuncName :: String -> m ()

topFuncName :: m String

popFuncName :: m ()

getFuncNameStack :: m [String]

Instances

MonadFresh EgisonM

Defined in Language.Egison.Types

Methods

fresh :: EgisonM String

freshV :: EgisonM Var

pushFuncName :: String -> EgisonM ()

topFuncName :: EgisonM String

popFuncName :: EgisonM ()

getFuncNameStack :: EgisonM [String]

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

Defined in Language.Egison.Types

Methods

fresh :: FreshT m String

freshV :: FreshT m Var

pushFuncName :: String -> FreshT m ()

topFuncName :: FreshT m String

popFuncName :: FreshT m ()

getFuncNameStack :: FreshT m [String]

MonadFresh m => MonadFresh (ExceptT e m)

Defined in Language.Egison.Types

Methods

fresh :: ExceptT e m String

freshV :: ExceptT e m Var

pushFuncName :: String -> ExceptT e m ()

topFuncName :: ExceptT e m String

popFuncName :: ExceptT e m ()

getFuncNameStack :: ExceptT e m [String]

MonadFresh m => MonadFresh (StateT s m)

Defined in Language.Egison.Types

Methods

fresh :: StateT s m String

freshV :: StateT s m Var

pushFuncName :: String -> StateT s m ()

topFuncName :: StateT s m String

popFuncName :: StateT s m ()

getFuncNameStack :: StateT s m [String]

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

Defined in Language.Egison.Types

Methods

fresh :: WriterT e m String

freshV :: WriterT e m Var

pushFuncName :: String -> WriterT e m ()

topFuncName :: WriterT e m String

popFuncName :: WriterT e m ()

getFuncNameStack :: WriterT e m [String]

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

Defined in Language.Egison.Types

Methods

fresh :: ReaderT e m String

freshV :: ReaderT e m Var

pushFuncName :: String -> ReaderT e m ()

topFuncName :: ReaderT e m String

popFuncName :: ReaderT e m ()

getFuncNameStack :: ReaderT e m [String]

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

type MatchM = MaybeT EgisonM

matchFail :: MatchM a

data MList m a

Constructors

MNil

MCons a (m (MList m a))

Instances

Show a => Show (MList m a)

Defined in Language.Egison.Types

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