LobsterLang-0.1.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Vm

Documentation

data Operator Source #

Constructors

Add
Sub
Mul
Div
Mod
Eq
Less
LessEq
Great
GreatEq
And
Or
Xorb
Not
ToString
Get
Append
RmOcc
Len

Instances

Instances details

Show Operator Source #
Instance details Defined in Vm Methods showsPrec :: Int -> Operator -> ShowS # show :: Operator -> String # showList :: [Operator] -> ShowS #
Eq Operator Source #
Instance details Defined in Vm Methods (==) :: Operator -> Operator -> Bool # (/=) :: Operator -> Operator -> Bool #
Ord Operator Source #
Instance details Defined in Vm Methods compare :: Operator -> Operator -> Ordering # (<) :: Operator -> Operator -> Bool # (<=) :: Operator -> Operator -> Bool # (>) :: Operator -> Operator -> Bool # (>=) :: Operator -> Operator -> Bool # max :: Operator -> Operator -> Operator # min :: Operator -> Operator -> Operator #

data Value Source #

Constructors

IntVal Int
BoolVal Bool
CharVal Char
StringVal String
ListVal [Value]
Op Operator
Function Func Int

Instances

Instances details

Num Value Source #
Instance details Defined in Vm Methods (+) :: Value -> Value -> Value # (-) :: Value -> Value -> Value # (*) :: Value -> Value -> Value # negate :: Value -> Value # abs :: Value -> Value # signum :: Value -> Value # fromInteger :: Integer -> Value #
Fractional Value Source #
Instance details Defined in Vm Methods (/) :: Value -> Value -> Value # recip :: Value -> Value # fromRational :: Rational -> Value #
Show Value Source #
Instance details Defined in Vm Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Eq Value Source #
Instance details Defined in Vm Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Ord Value Source #
Instance details Defined in Vm Methods compare :: Value -> Value -> Ordering # (<) :: Value -> Value -> Bool # (<=) :: Value -> Value -> Bool # (>) :: Value -> Value -> Bool # (>=) :: Value -> Value -> Bool # max :: Value -> Value -> Value # min :: Value -> Value -> Value #

data Instruction Source #

Constructors

Push Value
PushArg Int
PushEnv String
PutArg
Call
JumpIfFalse Int
JumpIfTrue Int
Jump Int
Define String
PushList Int
Ret

Instances

Instances details

Show Instruction Source #
Instance details Defined in Vm Methods showsPrec :: Int -> Instruction -> ShowS # show :: Instruction -> String # showList :: [Instruction] -> ShowS #
Eq Instruction Source #
Instance details Defined in Vm Methods (==) :: Instruction -> Instruction -> Bool # (/=) :: Instruction -> Instruction -> Bool #
Ord Instruction Source #
Instance details Defined in Vm Methods compare :: Instruction -> Instruction -> Ordering # (<) :: Instruction -> Instruction -> Bool # (<=) :: Instruction -> Instruction -> Bool # (>) :: Instruction -> Instruction -> Bool # (>=) :: Instruction -> Instruction -> Bool # max :: Instruction -> Instruction -> Instruction # min :: Instruction -> Instruction -> Instruction #

type Stack = [Value] Source #

type Inst = [Instruction] Source #

type Arg = [Value] Source #

type Func = [Instruction] Source #

type Env = [(String, Value, Int)] Source #

makeOperation :: Operator -> Stack -> Either String Stack Source #

exec :: Int -> Env -> Arg -> Inst -> Stack -> (Either String Value, Env) Source #