Language.Egison.Types

Documentation

data EgisonTopExpr

Constructors

Define String EgisonExpr

Test EgisonExpr

Execute [String]

LoadFile String

Load String

Instances

Show EgisonTopExpr

data EgisonExpr

Constructors

CharExpr Char

StringExpr String

BoolExpr Bool

IntegerExpr Integer

FloatExpr Double

VarExpr String [EgisonExpr]

InductiveDataExpr String [EgisonExpr]

TupleExpr [EgisonExpr]

CollectionExpr [InnerExpr]

PatternExpr EgisonPattern

LambdaExpr [String] EgisonExpr

IfExpr EgisonExpr EgisonExpr EgisonExpr

LetExpr [BindingExpr] EgisonExpr

LetRecExpr [BindingExpr] EgisonExpr

LoopExpr String String EgisonExpr EgisonExpr EgisonExpr

MatchExpr EgisonExpr EgisonExpr [MatchClause]

MatchAllExpr EgisonExpr EgisonExpr MatchClause

FunctionExpr EgisonExpr [MatchClause]

MatcherExpr MatcherInfo

DoExpr [BindingExpr] EgisonExpr

ApplyExpr EgisonExpr EgisonExpr

AlgebraicDataMatcher [EgisonExpr]

SomethingExpr

UndefinedExpr

Instances

Show EgisonExpr

type BindingExpr = ([String], EgisonExpr)

type MatchClause = (EgisonExpr, EgisonExpr)

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

data EgisonPattern

Constructors

WildCard

PatVar String [EgisonExpr]

ValuePat EgisonExpr

PredPat EgisonExpr

CutPat EgisonExpr

NotPat EgisonExpr

AndPat [EgisonExpr]

OrPat [EgisonExpr]

InductivePattern String [EgisonExpr]

Instances

Show EgisonPattern

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

data InnerExpr

Constructors

ElementExpr EgisonExpr

SubCollectionExpr EgisonExpr

Instances

Show InnerExpr

data EgisonValue

Constructors

World

Char Char

String String

Bool Bool

Integer Integer

Float Double

InductiveData String [EgisonValue]

Tuple [EgisonValue]

Collection [EgisonValue]

Pattern EgisonPattern

Matcher Matcher

Func Env [String] EgisonExpr

PrimitiveFunc PrimitiveFunc

IOFunc IOFunc

Port Handle

Something

EOF

Instances

Eq EgisonValue

Show EgisonValue

type Matcher = (Env, MatcherInfo)

type PrimitiveFunc = [WHNFData] -> Either EgisonError EgisonValue

type IOFunc = [WHNFData] -> EgisonM EgisonValue

data Object

Constructors

Thunk (EgisonM WHNFData)

WHNF WHNFData

type ObjectRef = IORef Object

data WHNFData

Constructors

Intermediate Intermediate

Value EgisonValue

Instances

Show WHNFData

data Intermediate

Constructors

IInductiveData String [ObjectRef]

ITuple [ObjectRef]

ICollection [Inner]

data Inner

Constructors

IElement ObjectRef

ISubCollection ObjectRef

fromCharValue :: WHNFData -> Either EgisonError Char

fromStringValue :: WHNFData -> Either EgisonError String

fromBoolValue :: WHNFData -> Either EgisonError Bool

fromIntegerValue :: WHNFData -> Either EgisonError Integer

fromFloatValue :: WHNFData -> Either EgisonError Double

fromPortValue :: WHNFData -> Either EgisonError Handle

fromPatternValue :: WHNFData -> Either EgisonError EgisonPattern

fromMatcherValue :: WHNFData -> Either EgisonError Matcher

fromPrimitiveValue :: WHNFData -> Either EgisonError EgisonValue

type Var = (String, [Integer])

type Env = [HashMap Var ObjectRef]

type Binding = (Var, ObjectRef)

nullEnv :: Env

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

refVar :: Env -> Var -> EgisonM ObjectRef

data MatchingState

Constructors

MState Env [Binding] [MatchingTree]

data MatchingTree

Constructors

MAtom EgisonExpr ObjectRef WHNFData

MNode [PatternBinding] MatchingState

type PatternBinding = (Var, EgisonExpr)

data EgisonError

Constructors

Parser ParseError

UnboundVariable Var

TypeMismatch String WHNFData

ArgumentsNum Int Int

NotImplemented String

Assertion String

Match String

Desugar String

Default String

Instances

Show EgisonError

Error EgisonError

MonadError EgisonError EgisonM

MonadError EgisonError DesugarM

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

newtype EgisonM a

Constructors

EgisonM

Fields

unEgisonM :: ErrorT EgisonError IO a

Instances

Monad EgisonM

Functor EgisonM

Applicative EgisonM

MonadIO EgisonM

MonadError EgisonError EgisonM

runEgisonM :: EgisonM a -> IO (Either EgisonError a)

type MatchM = MaybeT EgisonM

matchFail :: MatchM a

data MList m a

Constructors

MNil

MCons a (m (MList m a))

fromList :: Monad m => [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)