glam

Safe Haskell	Safe-Inferred
Language	Haskell2010

Glam.Run

Description

The glam interpreter

Synopsis

data Statement
- = TypeDef TVar [TVar] Type
- | Signature Var Polytype
- | Def Var Term
- | Eval Term
data GlamState = GlamState {
- _termBindings :: Map Var (Maybe Value, Polytype)
- _typeBindings :: Map TVar ([TVar], Type)
}
typeBindings :: Lens' GlamState (Map TVar ([TVar], Type))
termBindings :: Lens' GlamState (Map Var (Maybe Value, Polytype))
type MonadGlam = MonadState GlamState
runGlamT :: Monad m => StateT GlamState m a -> m a
runGlam :: StateT GlamState Identity c -> c
evalTerm :: MonadGlam m => Term -> m Value
withTypes :: MonadState GlamState m => ReaderT (Map TVar TVarBinding) m b -> m b
withTerms :: MonadState GlamState m => ReaderT Environment m b -> m b
getWords :: MonadGlam m => m [Var]
getType :: MonadGlam m => String -> m (Either String Polytype)
statement :: Parser Statement
file :: Parser [Statement]
runFile :: MonadGlam m => String -> String -> m (Either String [String])
runStatement :: (MonadGlam m, MonadWriter [String] m, MonadError String m) => Statement -> m ()

Documentation

data Statement Source #

Program statements

Constructors

TypeDef TVar [TVar] Type	Type synonym definitions
Signature Var Polytype	Type signatures
Def Var Term	Definitions
Eval Term	Evaluate and print a term

Instances

Instances details

Show Statement Source #
Instance details Defined in Glam.Run Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #
Eq Statement Source #
Instance details Defined in Glam.Run Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #

data GlamState Source #

Constructors

GlamState
Fields _termBindings :: Map Var (Maybe Value, Polytype) _typeBindings :: Map TVar ([TVar], Type)

typeBindings :: Lens' GlamState (Map TVar ([TVar], Type)) Source #

termBindings :: Lens' GlamState (Map Var (Maybe Value, Polytype)) Source #

type MonadGlam = MonadState GlamState Source #

runGlamT :: Monad m => StateT GlamState m a -> m a Source #

runGlam :: StateT GlamState Identity c -> c Source #

evalTerm :: MonadGlam m => Term -> m Value Source #

withTypes :: MonadState GlamState m => ReaderT (Map TVar TVarBinding) m b -> m b Source #

withTerms :: MonadState GlamState m => ReaderT Environment m b -> m b Source #

getWords :: MonadGlam m => m [Var] Source #

getType :: MonadGlam m => String -> m (Either String Polytype) Source #

statement :: Parser Statement Source #

file :: Parser [Statement] Source #

runFile :: MonadGlam m => String -> String -> m (Either String [String]) Source #

runStatement :: (MonadGlam m, MonadWriter [String] m, MonadError String m) => Statement -> m () Source #