Safe Haskell	Safe
Language	Haskell2010

Language.Janus.AST

Documentation

newtype Program Source #

Constructors

Program [Stmt]

Instances

Evaluable Program Source #
Methods eval :: Program -> InterpM Val Source #

newtype Ptr Source #

Constructors

Ptr Word

Instances

Bounded Ptr Source #
Methods minBound :: Ptr # maxBound :: Ptr #
Eq Ptr Source #
Methods (==) :: Ptr -> Ptr -> Bool # (/=) :: Ptr -> Ptr -> Bool #
Data Ptr Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ptr -> c Ptr # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ptr # toConstr :: Ptr -> Constr # dataTypeOf :: Ptr -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Ptr) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ptr) # gmapT :: (forall b. Data b => b -> b) -> Ptr -> Ptr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ptr -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ptr -> r # gmapQ :: (forall d. Data d => d -> u) -> Ptr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Ptr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ptr -> m Ptr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ptr -> m Ptr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ptr -> m Ptr #
Ord Ptr Source #
Methods compare :: Ptr -> Ptr -> Ordering # (<) :: Ptr -> Ptr -> Bool # (<=) :: Ptr -> Ptr -> Bool # (>) :: Ptr -> Ptr -> Bool # (>=) :: Ptr -> Ptr -> Bool # max :: Ptr -> Ptr -> Ptr # min :: Ptr -> Ptr -> Ptr #
Show Ptr Source #
Methods showsPrec :: Int -> Ptr -> ShowS # show :: Ptr -> String # showList :: [Ptr] -> ShowS #
Hashable Ptr Source #
Methods hashWithSalt :: Int -> Ptr -> Int # hash :: Ptr -> Int #
RefEvaluable Ptr Source #
Methods evalRef :: Ptr -> InterpM Ref Source # tryEvalRef :: Ptr -> InterpM (Maybe Ref) Source #

getAddress :: Ptr -> Word Source #

data Ref Source #

Constructors

PtrRef Ptr
IndexRef Ptr Val

Instances

Eq Ref Source #
Methods (==) :: Ref -> Ref -> Bool # (/=) :: Ref -> Ref -> Bool #
Ord Ref Source #
Methods compare :: Ref -> Ref -> Ordering # (<) :: Ref -> Ref -> Bool # (<=) :: Ref -> Ref -> Bool # (>) :: Ref -> Ref -> Bool # (>=) :: Ref -> Ref -> Bool # max :: Ref -> Ref -> Ref # min :: Ref -> Ref -> Ref #
Show Ref Source #
Methods showsPrec :: Int -> Ref -> ShowS # show :: Ref -> String # showList :: [Ref] -> ShowS #
RefEvaluable Ref Source #
Methods evalRef :: Ref -> InterpM Ref Source # tryEvalRef :: Ref -> InterpM (Maybe Ref) Source #

data Val Source #

Constructors

JUnit
JBool Bool
JInt Integer
JDouble Double
JChar Char
JStr String
JItem Item

Instances

Eq Val Source #
Methods (==) :: Val -> Val -> Bool # (/=) :: Val -> Val -> Bool #
Ord Val Source #
Methods compare :: Val -> Val -> Ordering # (<) :: Val -> Val -> Bool # (<=) :: Val -> Val -> Bool # (>) :: Val -> Val -> Bool # (>=) :: Val -> Val -> Bool # max :: Val -> Val -> Val # min :: Val -> Val -> Val #
Show Val Source #
Methods showsPrec :: Int -> Val -> ShowS # show :: Val -> String # showList :: [Val] -> ShowS #
FromVal Val Source #
Methods fromVal :: Val -> Val Source # tryFromVal :: Val -> Maybe Val Source #
ToVal Val Source #
Methods toVal :: Val -> Val Source #
Callable Val Source #
Methods call :: Val -> [Val] -> InterpM Val Source #
Evaluable Val Source #
Methods eval :: Val -> InterpM Val Source #

showVal :: Val -> String Source #

haskellTypeRep :: Val -> TypeRep Source #

class ToVal a where Source #

Minimal complete definition

toVal

Methods

toVal :: a -> Val Source #

Instances

ToVal Bool Source #
Methods toVal :: Bool -> Val Source #
ToVal Char Source #
Methods toVal :: Char -> Val Source #
ToVal Double Source #
Methods toVal :: Double -> Val Source #
ToVal Float Source #
Methods toVal :: Float -> Val Source #
ToVal Int Source #
Methods toVal :: Int -> Val Source #
ToVal Integer Source #
Methods toVal :: Integer -> Val Source #
ToVal () Source #
Methods toVal :: () -> Val Source #
ToVal String Source #
Methods toVal :: String -> Val Source #
ToVal Item Source #
Methods toVal :: Item -> Val Source #
ToVal Val Source #
Methods toVal :: Val -> Val Source #

toVal :: ToVal a => a -> Val Source #

toValI :: Integral a => a -> Val Source #

toValF :: Float -> Val Source #

toValD :: Double -> Val Source #

class FromVal a where Source #

Minimal complete definition

fromVal | tryFromVal

Methods

fromVal :: Val -> a Source #

tryFromVal :: Val -> Maybe a Source #

Instances

FromVal Bool Source #
Methods fromVal :: Val -> Bool Source # tryFromVal :: Val -> Maybe Bool Source #
FromVal Char Source #
Methods fromVal :: Val -> Char Source # tryFromVal :: Val -> Maybe Char Source #
FromVal Double Source #
Methods fromVal :: Val -> Double Source # tryFromVal :: Val -> Maybe Double Source #
FromVal Float Source #
Methods fromVal :: Val -> Float Source # tryFromVal :: Val -> Maybe Float Source #
FromVal Int Source #
Methods fromVal :: Val -> Int Source # tryFromVal :: Val -> Maybe Int Source #
FromVal Integer Source #
Methods fromVal :: Val -> Integer Source # tryFromVal :: Val -> Maybe Integer Source #
FromVal () Source #
Methods fromVal :: Val -> () Source # tryFromVal :: Val -> Maybe () Source #
FromVal String Source #
Methods fromVal :: Val -> String Source # tryFromVal :: Val -> Maybe String Source #
FromVal Item Source #
Methods fromVal :: Val -> Item Source # tryFromVal :: Val -> Maybe Item Source #
FromVal Val Source #
Methods fromVal :: Val -> Val Source # tryFromVal :: Val -> Maybe Val Source #

fromVal :: FromVal a => Val -> a Source #

tryFromVal :: FromVal a => Val -> Maybe a Source #

toLiteral :: ToVal a => a -> Expr Source #

toLiteralI :: Integral a => a -> Expr Source #

toLiteralF :: Float -> Expr Source #

toLiteralD :: Double -> Expr Source #

data Lvalue Source #

Constructors

Path String
IndexLv String Expr

Instances

Eq Lvalue Source #
Methods (==) :: Lvalue -> Lvalue -> Bool # (/=) :: Lvalue -> Lvalue -> Bool #
Show Lvalue Source #
Methods showsPrec :: Int -> Lvalue -> ShowS # show :: Lvalue -> String # showList :: [Lvalue] -> ShowS #
RefEvaluable Lvalue Source #
Methods evalRef :: Lvalue -> InterpM Ref Source # tryEvalRef :: Lvalue -> InterpM (Maybe Ref) Source #
Evaluable Lvalue Source #
Methods eval :: Lvalue -> InterpM Val Source #

data Expr Source #

Instances

Eq Expr Source #
Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Show Expr Source #
Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
RefEvaluable Expr Source #
Methods evalRef :: Expr -> InterpM Ref Source # tryEvalRef :: Expr -> InterpM (Maybe Ref) Source #
Evaluable Expr Source #
Methods eval :: Expr -> InterpM Val Source #

newtype Block Source #

Constructors

Block [Stmt]

Instances

Eq Block Source #
Methods (==) :: Block -> Block -> Bool # (/=) :: Block -> Block -> Bool #
Show Block Source #
Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #
Evaluable Block Source #
Methods eval :: Block -> InterpM Val Source #

data Stmt Source #

Constructors

LetDecl String Expr
FnDecl String [String] Block
SubstStmt Lvalue Expr
ExprStmt Expr

Instances

Eq Stmt Source #
Methods (==) :: Stmt -> Stmt -> Bool # (/=) :: Stmt -> Stmt -> Bool #
Show Stmt Source #
Methods showsPrec :: Int -> Stmt -> ShowS # show :: Stmt -> String # showList :: [Stmt] -> ShowS #
Evaluable Stmt Source #
Methods eval :: Stmt -> InterpM Val Source #

data Item Source #

Constructors

Func String [String] Block
NativeFunc String [String] ([Val] -> InterpM Val)

Instances

Eq Item Source #
Methods (==) :: Item -> Item -> Bool # (/=) :: Item -> Item -> Bool #
Ord Item Source #
Methods compare :: Item -> Item -> Ordering # (<) :: Item -> Item -> Bool # (<=) :: Item -> Item -> Bool # (>) :: Item -> Item -> Bool # (>=) :: Item -> Item -> Bool # max :: Item -> Item -> Item # min :: Item -> Item -> Item #
Show Item Source #
Methods showsPrec :: Int -> Item -> ShowS # show :: Item -> String # showList :: [Item] -> ShowS #
FromVal Item Source #
Methods fromVal :: Val -> Item Source # tryFromVal :: Val -> Maybe Item Source #
ToVal Item Source #
Methods toVal :: Item -> Val Source #
Callable Item Source #
Methods call :: Item -> [Val] -> InterpM Val Source #

LiteralExpr Val
BlockExpr Block
ParenExpr Expr
CallExpr Expr [Expr]
PostfixIncExpr Lvalue
PostfixDecExpr Lvalue
NotExpr Expr
BitNotExpr Expr
PlusExpr Expr
NegExpr Expr
PrefixIncExpr Lvalue
PrefixDecExpr Lvalue
ExpExpr Expr Expr
MulExpr Expr Expr
DivExpr Expr Expr
RemExpr Expr Expr
AddExpr Expr Expr
SubExpr Expr Expr
LshExpr Expr Expr
RshExpr Expr Expr
BitAndExpr Expr Expr
BitXorExpr Expr Expr
BitOrExpr Expr Expr
EqExpr Expr Expr
NeqExpr Expr Expr
LtExpr Expr Expr
GtExpr Expr Expr
LtEqExpr Expr Expr
GtEqExpr Expr Expr
AndExpr Expr Expr
OrExpr Expr Expr
IfExpr Expr Expr (Maybe Expr)
WhileExpr Expr Expr
LoopExpr Expr
BreakExpr
ContinueExpr
ReturnExpr Expr
LvalueExpr Lvalue