Safe Haskell	Safe-Inferred
Language	Haskell2010

Interpreter.Result

Contents

Interpretation result

Synopsis

type Result s a = ExceptT Err (StateT (Env s) (ST s)) a
lift2 :: ST s a -> Result s a
type ResultValue = Either Err
data Err
- = DivisionByZero
- | IndexOutOfRange Int Int
- | NoReturn
- | Npe
- | Panic Text
- | UnexpectedError
data Env s = Env {
- _funcs :: Map Identifier (STRef s Function, Scope s)
- _funcScopes :: [FuncScope s]
- _accumulatedOutput :: AccOut
}
type AccOut = [Text]
emptyEnv :: Env s
newtype FuncScope s = FuncScope {
- _scopes :: [Scope s]
}
newtype Scope s = Scope {
- _vars :: Map Identifier (STRef s (RuntimeValue s))
}
emptyScope :: Scope s
data RuntimeValue s
- = ValInt Int
- | ValBool Bool
- | ValString Text
- | ValArray [RuntimeValue s]
- | ValFunction FunctionValue (Scope s)
funcs :: forall s. Lens' (Env s) (Map Identifier (STRef s Function, Scope s))
funcScopes :: forall s. Lens' (Env s) [FuncScope s]
accumulatedOutput :: forall s. Lens' (Env s) AccOut
scopes :: forall s s. Iso (FuncScope s) (FuncScope s) [Scope s] [Scope s]
vars :: forall s s. Iso (Scope s) (Scope s) (Map Identifier (STRef s (RuntimeValue s))) (Map Identifier (STRef s (RuntimeValue s)))
var :: Applicative f => Int -> Int -> Identifier -> LensLike' f (Env s) (Maybe (STRef s (RuntimeValue s)))
data Env' = Env' {
- _funcs' :: Map Identifier Function
- _funcScopes' :: [FuncScope']
- _accumulatedOutput' :: AccOut
}
evalEnv :: Env s -> ST s Env'
newtype FuncScope' = FuncScope' {
- _scopes' :: [Scope']
}
evalFuncScope :: FuncScope s -> ST s FuncScope'
newtype Scope' = Scope' {
- _vars' :: Map Identifier RuntimeValue'
}
evalScope :: Scope s -> ST s Scope'
data RuntimeValue'
- = ValInt' Int
- | ValBool' Bool
- | ValString' Text
- | ValArray' [RuntimeValue']
- | ValFunction' FunctionValue
evalRuntimeValue :: RuntimeValue s -> RuntimeValue'
unevalRuntimeValue :: RuntimeValue' -> RuntimeValue s
funcs' :: Lens' Env' (Map Identifier Function)
funcScopes' :: Lens' Env' [FuncScope']
accumulatedOutput' :: Lens' Env' AccOut
scopes' :: Iso' FuncScope' [Scope']
vars' :: Iso' Scope' (Map Identifier RuntimeValue')

Interpretation result

type Result s a = ExceptT Err (StateT (Env s) (ST s)) a Source #

Represents the result of interpretation.

lift2 :: ST s a -> Result s a Source #

Result value

type ResultValue = Either Err Source #

data Err Source #

Represents unsuccessful interpretation.

Constructors

DivisionByZero	Division by zero error.
IndexOutOfRange Int Int	Index out of bounds error, contains info about index and array length.
NoReturn	No return error.
Npe	Null dereference error (happens when trying to call the `nil` as a regular function).
Panic Text	Panic error (happens when calling `panic` stdlib function).
UnexpectedError	Unexpected error, this type of errors must never happen.

Instances

Instances details

Show Err Source #
Instance details Defined in Interpreter.Result Methods showsPrec :: Int -> Err -> ShowS # show :: Err -> String # showList :: [Err] -> ShowS #

State

Environment

data Env s Source #

Constructors

Env
Fields _funcs :: Map Identifier (STRef s Function, Scope s) _funcScopes :: [FuncScope s] _accumulatedOutput :: AccOut

type AccOut = [Text] Source #

Accumulated output (every element is a text printed to the stdout).

emptyEnv :: Env s Source #

Function scope

newtype FuncScope s Source #

Constructors

FuncScope
Fields _scopes :: [Scope s]

Scope

newtype Scope s Source #

Scope contains identifiers mapped to their types.

Constructors

Scope
Fields _vars :: Map Identifier (STRef s (RuntimeValue s))

emptyScope :: Scope s Source #

Create empty Scope.

Runtime value

data RuntimeValue s Source #

Represents runtime value of the calculated expression.

Constructors

ValInt Int	Int value.
ValBool Bool	Boolean value.
ValString Text	String value.
ValArray [RuntimeValue s]	Array value.
ValFunction FunctionValue (Scope s)	Function value.

Instances

Instances details

Eq (RuntimeValue s) Source #
Instance details Defined in Interpreter.Result Methods (==) :: RuntimeValue s -> RuntimeValue s -> Bool # (/=) :: RuntimeValue s -> RuntimeValue s -> Bool #

Optics

funcs :: forall s. Lens' (Env s) (Map Identifier (STRef s Function, Scope s)) Source #

funcScopes :: forall s. Lens' (Env s) [FuncScope s] Source #

accumulatedOutput :: forall s. Lens' (Env s) AccOut Source #

scopes :: forall s s. Iso (FuncScope s) (FuncScope s) [Scope s] [Scope s] Source #

vars :: forall s s. Iso (Scope s) (Scope s) (Map Identifier (STRef s (RuntimeValue s))) (Map Identifier (STRef s (RuntimeValue s))) Source #

var :: Applicative f => Int -> Int -> Identifier -> LensLike' f (Env s) (Maybe (STRef s (RuntimeValue s))) Source #

Evaluated state

Environment

data Env' Source #

Constructors

Env'
Fields _funcs' :: Map Identifier Function _funcScopes' :: [FuncScope'] _accumulatedOutput' :: AccOut

Instances

Instances details

Show Env' Source #
Instance details Defined in Interpreter.Result Methods showsPrec :: Int -> Env' -> ShowS # show :: Env' -> String # showList :: [Env'] -> ShowS #

evalEnv :: Env s -> ST s Env' Source #

Function scope

newtype FuncScope' Source #

Constructors

FuncScope'
Fields _scopes' :: [Scope']

Instances

Instances details

Show FuncScope' Source #
Instance details Defined in Interpreter.Result Methods showsPrec :: Int -> FuncScope' -> ShowS # show :: FuncScope' -> String # showList :: [FuncScope'] -> ShowS #

evalFuncScope :: FuncScope s -> ST s FuncScope' Source #

Scope

newtype Scope' Source #

Constructors

Scope'
Fields _vars' :: Map Identifier RuntimeValue'

Instances

Instances details

Show Scope' Source #
Instance details Defined in Interpreter.Result Methods showsPrec :: Int -> Scope' -> ShowS # show :: Scope' -> String # showList :: [Scope'] -> ShowS #

evalScope :: Scope s -> ST s Scope' Source #

Runtime value

data RuntimeValue' Source #

Represents runtime value of the calculated expression.

Constructors

ValInt' Int	Int value.
ValBool' Bool	Boolean value.
ValString' Text	String value.
ValArray' [RuntimeValue']	Array value.
ValFunction' FunctionValue	Function value.

Instances

Instances details

Show RuntimeValue' Source #
Instance details Defined in Interpreter.Result Methods showsPrec :: Int -> RuntimeValue' -> ShowS # show :: RuntimeValue' -> String # showList :: [RuntimeValue'] -> ShowS #

evalRuntimeValue :: RuntimeValue s -> RuntimeValue' Source #

unevalRuntimeValue :: RuntimeValue' -> RuntimeValue s Source #

Optics

funcs' :: Lens' Env' (Map Identifier Function) Source #

funcScopes' :: Lens' Env' [FuncScope'] Source #

accumulatedOutput' :: Lens' Env' AccOut Source #

scopes' :: Iso' FuncScope' [Scope'] Source #

vars' :: Iso' Scope' (Map Identifier RuntimeValue') Source #