Safe Haskell	None

Language.Egison.Types

Documentation

data EgisonTopExpr Source

Constructors

Define String EgisonExpr
Test EgisonExpr
Execute [String]
LoadFile String
Load String

Instances

Show EgisonTopExpr

data EgisonExpr Source

Constructors

CharExpr Char
StringExpr String
BoolExpr Bool
IntegerExpr Integer
FloatExpr Double
VarExpr String
IndexedExpr EgisonExpr [EgisonExpr]
InductiveDataExpr String [EgisonExpr]
TupleExpr [EgisonExpr]
CollectionExpr (Seq InnerExpr)
ArrayExpr [EgisonExpr]
LambdaExpr [String] 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]
MatcherExpr MatcherInfo
DoExpr [BindingExpr] EgisonExpr
ApplyExpr EgisonExpr EgisonExpr
AlgebraicDataMatcherExpr [(String, [EgisonExpr])]
GenerateArrayExpr [String] EgisonExpr EgisonExpr
ArraySizeExpr EgisonExpr
ArrayRefExpr EgisonExpr EgisonExpr
ValueExpr EgisonValue
SomethingExpr
UndefinedExpr

Instances

Show EgisonExpr
MonadReader Subst DesugarM
MonadFresh (ReaderT Subst (ErrorT EgisonError Fresh))

type BindingExpr = ([String], EgisonExpr)Source

type MatchClause = (EgisonPattern, EgisonExpr)Source

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

data PrimitivePatPattern Source

Constructors

PPWildCard
PPPatVar
PPValuePat String
PPInductivePat String [PrimitivePatPattern]

Instances

Show PrimitivePatPattern

data PrimitiveDataPattern Source

Constructors

PDWildCard
PDPatVar String
PDInductivePat String [PrimitiveDataPattern]
PDEmptyPat
PDConsPat PrimitiveDataPattern PrimitiveDataPattern
PDSnocPat PrimitiveDataPattern PrimitiveDataPattern
PDConstantPat EgisonExpr

Instances

Show PrimitiveDataPattern

data InnerExpr Source

Constructors

ElementExpr EgisonExpr
SubCollectionExpr EgisonExpr

Instances

Show InnerExpr

data EgisonValue Source

Instances

Eq EgisonValue
Show EgisonValue

type Matcher = (Env, MatcherInfo)Source

type PrimitiveFunc = [WHNFData] -> EgisonM EgisonValue Source

data Object Source

Constructors

Thunk (EgisonM WHNFData)
WHNF WHNFData

type ObjectRef = IORef Object Source

data WHNFData Source

Constructors

Intermediate Intermediate
Value EgisonValue

Instances

Show WHNFData

data Intermediate Source

Constructors

IInductiveData String [ObjectRef]
ITuple [ObjectRef]
ICollection (Seq Inner)
IArray (IntMap ObjectRef)

data Inner Source

Constructors

IElement ObjectRef
ISubCollection ObjectRef

fromCharValue :: WHNFData -> Either EgisonError Char Source

fromStringValue :: WHNFData -> Either EgisonError String Source

fromBoolValue :: WHNFData -> Either EgisonError Bool Source

fromIntegerValue :: WHNFData -> Either EgisonError Integer Source

fromFloatValue :: WHNFData -> Either EgisonError Double Source

fromPortValue :: WHNFData -> Either EgisonError Handle Source

fromMatcherValue :: WHNFData -> Either EgisonError Matcher Source

fromPrimitiveValue :: WHNFData -> Either EgisonError EgisonValue Source

type Var = String Source

type Env = [HashMap Var ObjectRef]Source

type Binding = (Var, ObjectRef)Source

nullEnv :: Env Source

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

refVar :: Env -> Var -> EgisonM ObjectRef Source

data MatchingState Source

Constructors

MState Env [LoopContext] [Binding] [MatchingTree]

data MatchingTree Source

Constructors

MAtom EgisonPattern ObjectRef WHNFData
MNode [PatternBinding] MatchingState

type PatternBinding = (Var, EgisonPattern)Source

data LoopContext Source

Constructors

LoopContext (String, ObjectRef) ObjectRef EgisonPattern EgisonPattern

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

newtype FreshT m a Source

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)
MonadFresh (ReaderT Subst (ErrorT EgisonError Fresh))

type Fresh = FreshT Identity Source

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

Methods

fresh :: m String Source

Instances

MonadFresh DesugarM
(Applicative m, Monad m) => MonadFresh (FreshT m)
MonadFresh (ReaderT Subst (ErrorT EgisonError Fresh))

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

runFresh :: Int -> Fresh a -> (a, Int)Source

newtype EgisonM a Source

Constructors

EgisonM
Fields unEgisonM :: ErrorT EgisonError (FreshT IO) a

Instances

Monad EgisonM
Functor EgisonM
Applicative EgisonM
MonadIO EgisonM
MonadError EgisonError EgisonM

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

liftEgisonM :: Fresh (Either EgisonError a) -> EgisonM aSource

type MatchM = MaybeT EgisonM Source

matchFail :: MatchM aSource

data MList m a Source

Constructors

MNil
MCons a (m (MList m a))

fromList :: Monad m => [a] -> MList m aSource

fromSeq :: Monad m => Seq a -> MList m aSource

fromMList :: Monad m => MList m a -> m [a]Source

msingleton :: Monad m => a -> MList m aSource

mfoldr :: Monad m => (a -> m b -> m b) -> m b -> MList m a -> m bSource

mappend :: Monad m => MList m a -> m (MList m a) -> m (MList m a)Source

mconcat :: Monad m => MList m (MList m a) -> m (MList m a)Source

mmap :: Monad m => (a -> m b) -> MList m a -> m (MList m b)Source

mfor :: Monad m => MList m a -> (a -> m b) -> m (MList m b)Source

WildCard
PatVar String
VarPat String
ValuePat EgisonExpr
PredPat EgisonExpr
IndexedPat EgisonPattern [EgisonExpr]
CutPat EgisonPattern
NotPat EgisonPattern
AndPat [EgisonPattern]
OrPat [EgisonPattern]
TuplePat [EgisonPattern]
InductivePat String [EgisonPattern]
ApplyPat EgisonExpr [EgisonPattern]
LoopPat String EgisonExpr EgisonPattern EgisonPattern
ContPat

World
Char Char
String String
Bool Bool
Integer Integer
Float Double
InductiveData String [EgisonValue]
Tuple [EgisonValue]
Collection (Seq EgisonValue)
Array (IntMap EgisonValue)
Matcher Matcher
Func Env [String] EgisonExpr
PatternFunc Env [String] EgisonPattern
PrimitiveFunc PrimitiveFunc
IOFunc (EgisonM WHNFData)
Port Handle
Something
Undefined
EOF

Parser ParseError
UnboundVariable Var
TypeMismatch String WHNFData
ArgumentsNum Int Int
NotImplemented String
Assertion String
Match String
Desugar String
Default String

Show EgisonError
Error EgisonError
MonadError EgisonError EgisonM
MonadError EgisonError DesugarM
MonadFresh (ReaderT Subst (ErrorT EgisonError Fresh))