Language.Egison.Types

Contents

• Egison expressions
• Egison values
• Internal data
• Environment
• Pattern matching
• Errors
• Monads

Description

Synopsis

• data EgisonTopExpr
  • = Define String EgisonExpr
  • | Test EgisonExpr
  • | Execute EgisonExpr
  • | LoadFile String
  • | Load String
• data EgisonExpr
  • = 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
• data EgisonPattern
  • = 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
• data InnerExpr
  • = ElementExpr EgisonExpr
  • | SubCollectionExpr EgisonExpr
• type BindingExpr = ([String], EgisonExpr)
• type MatchClause = (EgisonPattern, EgisonExpr)
• type MatcherInfo = [(PrimitivePatPattern, EgisonExpr, [(PrimitiveDataPattern, EgisonExpr)])]
• data LoopRange = LoopRange EgisonExpr EgisonExpr EgisonPattern
• data PrimitivePatPattern
  • = PPWildCard
  • | PPPatVar
  • | PPValuePat String
  • | PPInductivePat String [PrimitivePatPattern]
• data PrimitiveDataPattern
  • = PDWildCard
  • | PDPatVar String
  • | PDInductivePat String [PrimitiveDataPattern]
  • | PDEmptyPat
  • | PDConsPat PrimitiveDataPattern PrimitiveDataPattern
  • | PDSnocPat PrimitiveDataPattern PrimitiveDataPattern
  • | PDConstantPat EgisonExpr
• data EgisonValue
  • = 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
• type Matcher = EgisonValue
• type PrimitiveFunc = WHNFData -> EgisonM WHNFData
• class EgisonData a where
  • toEgison :: a -> EgisonValue
  • fromEgison :: EgisonValue -> EgisonM a
• showTSV :: EgisonValue -> String
• addInteger :: EgisonValue -> EgisonValue -> EgisonValue
• subInteger :: EgisonValue -> EgisonValue -> EgisonValue
• mulInteger :: EgisonValue -> EgisonValue -> EgisonValue
• addInteger' :: (Integer, Integer) -> (Integer, Integer) -> (Integer, Integer)
• subInteger' :: (Integer, Integer) -> (Integer, Integer) -> (Integer, Integer)
• mulInteger' :: (Integer, Integer) -> (Integer, Integer) -> (Integer, Integer)
• reduceFraction :: EgisonValue -> EgisonValue
• data Object
  • = Thunk (EgisonM WHNFData)
  • | WHNF WHNFData
• type ObjectRef = IORef Object
• data WHNFData
  • = Intermediate Intermediate
  • | Value EgisonValue
• data Intermediate
  • = 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
  • = IElement ObjectRef
  • | ISubCollection ObjectRef
• class EgisonData a => EgisonWHNF a where
  • toWHNF :: a -> WHNFData
  • fromWHNF :: WHNFData -> EgisonM a
• type Env = [HashMap Var ObjectRef]
• type Var = String
• type Binding = (Var, ObjectRef)
• nullEnv :: Env
• extendEnv :: Env -> [Binding] -> Env
• refVar :: Env -> Var -> EgisonM ObjectRef
• type Match = [Binding]
• data PMMode
  • = BFSMode
  • | DFSMode
• pmMode :: Matcher -> PMMode
• data MatchingState = MState Env [LoopPatContext] [Binding] [MatchingTree]
• data MatchingTree
  • = MAtom EgisonPattern ObjectRef Matcher
  • | MNode [PatternBinding] MatchingState
• type PatternBinding = (Var, EgisonPattern)
• data LoopPatContext = LoopPatContext Binding ObjectRef EgisonPattern EgisonPattern EgisonPattern
• data EgisonError
  • = 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
• liftError :: MonadError e m => Either e a -> m a
• newtype EgisonM a = EgisonM {
  • unEgisonM :: ErrorT EgisonError (FreshT IO) 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 = FreshT {
  • unFreshT :: StateT Int m a
  }
• type Fresh = FreshT Identity
• class (Applicative m, Monad m) => MonadFresh m where
  • fresh :: m String
• runFreshT :: Monad m => Int -> FreshT m a -> m (a, Int)
• type MatchM = MaybeT EgisonM
• matchFail :: MatchM a
• data MList m a
  • = MNil
  • | MCons a (m (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)

Egison expressions

Egison values

Internal data

Environment

Pattern matching

Errors

Monads