Language.Egison.Types

This module contains type definitions of Egison Data.

Egison expressions

data EgisonTopExpr

Constructors

Define String EgisonExpr

Test EgisonExpr

Execute EgisonExpr

LoadFile String

Load String

Instances

Show EgisonTopExpr

data EgisonExpr

Constructors

CharExpr Char

StringExpr Text

BoolExpr Bool

RationalExpr Rational

IntegerExpr Integer

FloatExpr Double

VarExpr String

IndexedExpr EgisonExpr [EgisonExpr]

InductiveDataExpr String [EgisonExpr]

TupleExpr [EgisonExpr]

CollectionExpr [InnerExpr]

ArrayExpr [EgisonExpr]

HashExpr [(EgisonExpr, EgisonExpr)]

LambdaExpr [String] EgisonExpr

MemoizedLambdaExpr [String] EgisonExpr

MemoizeExpr EgisonExpr

PatternFunctionExpr [String] EgisonPattern

IfExpr EgisonExpr EgisonExpr EgisonExpr

LetExpr [BindingExpr] EgisonExpr

LetRecExpr [BindingExpr] 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

DoExpr [BindingExpr] EgisonExpr

IoExpr EgisonExpr

SeqExpr EgisonExpr EgisonExpr

ApplyExpr EgisonExpr EgisonExpr

AlgebraicDataMatcherExpr [(String, [EgisonExpr])]

GenerateArrayExpr [String] EgisonExpr EgisonExpr

ArraySizeExpr EgisonExpr

ArrayRefExpr EgisonExpr EgisonExpr

SomethingExpr

UndefinedExpr

Instances

Show EgisonExpr

data EgisonPattern

Constructors

WildCard

PatVar String

ValuePat EgisonExpr

PredPat EgisonExpr

IndexedPat EgisonPattern [EgisonExpr]

LetPat [BindingExpr] EgisonPattern

NotPat EgisonPattern

AndPat [EgisonPattern]

OrPat [EgisonPattern]

TuplePat [EgisonPattern]

InductivePat String [EgisonPattern]

LoopPat String LoopRange EgisonPattern EgisonPattern

ContPat

ApplyPat EgisonExpr [EgisonPattern]

VarPat String

Instances

Show EgisonPattern

data InnerExpr

Constructors

ElementExpr EgisonExpr

SubCollectionExpr EgisonExpr

Instances

Show InnerExpr

type BindingExpr = ([String], EgisonExpr)

type MatchClause = (EgisonPattern, EgisonExpr)

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

data LoopRange

Constructors

LoopRange EgisonExpr EgisonExpr EgisonPattern

Instances

Show LoopRange

data PrimitivePatPattern

Constructors

PPWildCard

PPPatVar

PPValuePat String

PPInductivePat String [PrimitivePatPattern]

Instances

Show PrimitivePatPattern

data PrimitiveDataPattern

Constructors

PDWildCard

PDPatVar String

PDInductivePat String [PrimitiveDataPattern]

PDEmptyPat

PDConsPat PrimitiveDataPattern PrimitiveDataPattern

PDSnocPat PrimitiveDataPattern PrimitiveDataPattern

PDConstantPat EgisonExpr

Instances

Show PrimitiveDataPattern

Egison values

data EgisonValue

Constructors

World

Char Char

String Text

Bool Bool

Rational Rational

Integer Integer

Float Double

InductiveData String [EgisonValue]

Tuple [EgisonValue]

Collection (Seq EgisonValue)

Array (Array Integer EgisonValue)

IntHash (HashMap Integer EgisonValue)

StrHash (HashMap Text EgisonValue)

UserMatcher Env PMMode MatcherInfo

Func Env [String] EgisonExpr

MemoizedFunc ObjectRef (IORef (HashMap [Integer] ObjectRef)) Env [String] EgisonExpr

PatternFunc Env [String] EgisonPattern

PrimitiveFunc PrimitiveFunc

IOFunc (EgisonM WHNFData)

Port Handle

Something

Undefined

EOF

Instances

Eq EgisonValue

Show EgisonValue

type Matcher = EgisonValue

type PrimitiveFunc = WHNFData -> EgisonM WHNFData

class EgisonData a where

Methods

toEgison :: a -> EgisonValue

fromEgison :: EgisonValue -> EgisonM a

Instances

EgisonData Bool

EgisonData Char

EgisonData Double

EgisonData Integer

EgisonData Rational

EgisonData ()

EgisonData Text

EgisonData Handle

EgisonData a => EgisonData [a]

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

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

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

Internal data

data Object

Constructors

Thunk (EgisonM WHNFData)

WHNF WHNFData

Instances

Show Object

Show ObjectRef

type ObjectRef = IORef Object

For memoization

data WHNFData

Constructors

Intermediate Intermediate

Value EgisonValue

Instances

Show WHNFData

data Intermediate

Constructors

IInductiveData String [ObjectRef]

ITuple [ObjectRef]

ICollection (IORef (Seq Inner))

IArray (Array Integer ObjectRef)

IIntHash (HashMap Integer ObjectRef)

IStrHash (HashMap Text ObjectRef)

data Inner

Constructors

IElement ObjectRef

ISubCollection ObjectRef

class EgisonData a => EgisonWHNF a where

Methods

toWHNF :: a -> WHNFData

fromWHNF :: WHNFData -> EgisonM a

Instances

EgisonWHNF Bool

EgisonWHNF Char

EgisonWHNF Double

EgisonWHNF Integer

EgisonWHNF Rational

EgisonWHNF Text

EgisonWHNF Handle

Environment

type Env = [HashMap Var ObjectRef]

type Var = String

type Binding = (Var, ObjectRef)

nullEnv :: Env

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

refVar :: Env -> Var -> EgisonM ObjectRef

Pattern matching

type Match = [Binding]

data PMMode

Constructors

BFSMode

DFSMode

Instances

Show PMMode

pmMode :: Matcher -> PMMode

data MatchingState

Constructors

MState Env [LoopContext] [Binding] [MatchingTree]

Instances

Show MatchingState

data MatchingTree

Constructors

MAtom EgisonPattern ObjectRef Matcher

MNode [PatternBinding] MatchingState

Instances

Show MatchingTree

type PatternBinding = (Var, EgisonPattern)

data LoopContext

Constructors

LoopContext Binding ObjectRef EgisonPattern EgisonPattern EgisonPattern

Instances

Show LoopContext

Errors

data EgisonError

Constructors

UnboundVariable Var

TypeMismatch String WHNFData

ArgumentsNumWithNames [String] Int Int

ArgumentsNumPrimitive Int Int

ArgumentsNum Int Int

NotImplemented String

Assertion String

Match String

Parser String

Desugar String

EgisonBug String

Default String

Instances

Show EgisonError

Typeable EgisonError

Exception EgisonError

Error EgisonError

MonadError EgisonError EgisonM

MonadError EgisonError DesugarM

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

Monads

newtype EgisonM a

Constructors

EgisonM

Fields

unEgisonM :: ErrorT EgisonError (FreshT IO) a

Instances

Monad EgisonM

Functor EgisonM

Applicative EgisonM

MonadIO EgisonM

MonadFresh EgisonM

MonadError EgisonError EgisonM

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 m a

Instances

MonadTrans FreshT

MonadError e m => MonadError e (FreshT m)

Monad m => MonadState Int (FreshT m)

MonadState s m => MonadState s (FreshT m)

Monad m => Monad (FreshT m)

Functor m => Functor (FreshT m)

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

MonadIO (FreshT IO)

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

type Fresh = FreshT Identity

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

Methods

fresh :: m String

Instances

MonadFresh EgisonM

MonadFresh DesugarM

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

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

MonadFresh m => MonadFresh (StateT s m)

(MonadFresh m, Error e) => MonadFresh (ErrorT e m)

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

runFreshT :: Monad m => Int -> FreshT m a -> m (a, 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)

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)