Copyright	Satoshi Egi
License	MIT
Safe Haskell	None
Language	Haskell98

Language.Egison.Types

Contents

Egison expressions
Egison values
Internal data
Environment
Pattern matching
Errors
Monads

Description

This module contains type definitions of Egison Data.

Synopsis

Egison expressions

data EgisonTopExpr Source

Constructors

Define String EgisonExpr
Test EgisonExpr
Execute EgisonExpr
LoadFile String
Load String

Instances

Show EgisonTopExpr

data EgisonExpr Source

Constructors

CharExpr Char
StringExpr Text
BoolExpr Bool
NumberExpr (Integer, Integer) (Integer, Integer)
FloatExpr Double 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, EgisonExpr, EgisonExpr)] EgisonExpr
PatternFunctionExpr [String] EgisonPattern
IfExpr EgisonExpr EgisonExpr EgisonExpr
LetRecExpr [BindingExpr] EgisonExpr
LetExpr [BindingExpr] EgisonExpr
LetStarExpr [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
ContExpr
ApplyExpr EgisonExpr EgisonExpr
PartialExpr Integer EgisonExpr
PartialVarExpr Integer
RecVarExpr
AlgebraicDataMatcherExpr [(String, [EgisonExpr])]
GenerateArrayExpr [String] EgisonExpr EgisonExpr
ArraySizeExpr EgisonExpr
ArrayRefExpr EgisonExpr EgisonExpr
SomethingExpr
UndefinedExpr

Instances

Show EgisonExpr

data InnerExpr Source

Constructors

ElementExpr EgisonExpr
SubCollectionExpr EgisonExpr

Instances

Show InnerExpr

type BindingExpr = ([String], EgisonExpr) Source

type MatchClause = (EgisonPattern, EgisonExpr) Source

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

data LoopRange Source

Constructors

LoopRange EgisonExpr EgisonExpr EgisonPattern

Instances

Show LoopRange

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

Egison values

type Matcher = EgisonValue Source

type PrimitiveFunc = WHNFData -> EgisonM WHNFData Source

class EgisonData a where Source

Methods

toEgison :: a -> EgisonValue Source

fromEgison :: EgisonValue -> EgisonM a Source

Instances

EgisonData Bool
EgisonData Char
EgisonData Double
EgisonData Integer
EgisonData Rational
EgisonData ()
EgisonData Handle
EgisonData Text
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)

showTSV :: EgisonValue -> String Source

addInteger :: EgisonValue -> EgisonValue -> EgisonValue Source

subInteger :: EgisonValue -> EgisonValue -> EgisonValue Source

mulInteger :: EgisonValue -> EgisonValue -> EgisonValue Source

addInteger' :: (Integer, Integer) -> (Integer, Integer) -> (Integer, Integer) Source

subInteger' :: (Integer, Integer) -> (Integer, Integer) -> (Integer, Integer) Source

mulInteger' :: (Integer, Integer) -> (Integer, Integer) -> (Integer, Integer) Source

reduceFraction :: EgisonValue -> EgisonValue Source

Internal data

data Object Source

Constructors

Thunk (EgisonM WHNFData)
WHNF WHNFData

Instances

Show Object
Show ObjectRef

type ObjectRef = IORef Object Source

For memoization

data WHNFData Source

Constructors

Intermediate Intermediate
Value EgisonValue

Instances

Show WHNFData

data Intermediate Source

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)

data Inner Source

Constructors

IElement ObjectRef
ISubCollection ObjectRef

class EgisonData a => EgisonWHNF a where Source

Minimal complete definition

fromWHNF

Methods

toWHNF :: a -> WHNFData Source

fromWHNF :: WHNFData -> EgisonM a Source

Instances

EgisonWHNF Bool
EgisonWHNF Char
EgisonWHNF Double
EgisonWHNF Integer
EgisonWHNF Rational
EgisonWHNF Handle
EgisonWHNF Text

Environment

type Env = [HashMap Var ObjectRef] Source

type Var = String Source

type Binding = (Var, ObjectRef) Source

nullEnv :: Env Source

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

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

Pattern matching

type Match = [Binding] Source

data PMMode Source

Constructors

BFSMode
DFSMode

Instances

Show PMMode

pmMode :: Matcher -> PMMode Source

data MatchingState Source

Constructors

MState Env [LoopPatContext] [Binding] [MatchingTree]

Instances

Show MatchingState

data MatchingTree Source

Constructors

MAtom EgisonPattern ObjectRef Matcher
MNode [PatternBinding] MatchingState

Instances

Show MatchingTree

type PatternBinding = (Var, EgisonPattern) Source

data LoopPatContext Source

Constructors

LoopPatContext Binding ObjectRef EgisonPattern EgisonPattern EgisonPattern

Instances

Show LoopPatContext

Errors

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

Monads

newtype EgisonM a Source

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) Source

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

fromEgisonM :: EgisonM a -> IO (Either EgisonError a) Source

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)

type Fresh = FreshT Identity Source

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

Methods

fresh :: m String Source

Instances

MonadFresh EgisonM
MonadFresh DesugarM
(Applicative m, Monad m) => MonadFresh (FreshT m)
(MonadFresh m, Monoid e) => MonadFresh (ReaderT e m)
(MonadFresh m, Error e) => MonadFresh (ErrorT e m)
MonadFresh m => MonadFresh (StateT s m)
(MonadFresh m, Monoid e) => MonadFresh (WriterT e m)

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

type MatchM = MaybeT EgisonM Source

matchFail :: MatchM a Source

data MList m a Source

Constructors

MNil
MCons a (m (MList m a))

Instances

Show (MList m a)

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

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

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

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

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

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
ValuePat EgisonExpr
RegexPat EgisonExpr
PredPat EgisonExpr
IndexedPat EgisonPattern [EgisonExpr]
LetPat [BindingExpr] EgisonPattern
NotPat EgisonPattern
AndPat [EgisonPattern]
OrPat [EgisonPattern]
OrderedOrPat [EgisonPattern]
TuplePat [EgisonPattern]
InductivePat String [EgisonPattern]
LoopPat String LoopRange EgisonPattern EgisonPattern
ContPat
ApplyPat EgisonExpr [EgisonPattern]
VarPat String

World
Char Char
String Text
Bool Bool
Number (Integer, Integer) (Integer, Integer)
Float Double 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 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

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

Show EgisonError
Exception EgisonError
Error EgisonError
Typeable * EgisonError
MonadError EgisonError EgisonM
MonadError EgisonError DesugarM