Safe Haskell	Safe-Inferred
Language	Haskell2010

Gibbon.L4.Interp

Contents

Orphan instances

Description

Interpreter for the target language (L4)

Documentation

data Val Source #

Constructors

FunVal FunDecl
IntVal Int	These also serve as Bools
CharVal Char
FloatVal Double	These also serve as Bools
TagVal Tag
BufVal (Seq Int)	Tags are also written as integers.

Instances

Instances details

Out Val Source #
Instance details Defined in Gibbon.L4.Interp Methods docPrec :: Int -> Val -> Doc Source # doc :: Val -> Doc Source # docList :: [Val] -> Doc Source #
Generic Val Source #
Instance details Defined in Gibbon.L4.Interp Associated Types type Rep Val :: Type -> Type Source # Methods from :: Val -> Rep Val x Source # to :: Rep Val x -> Val Source #
Show Val Source #
Instance details Defined in Gibbon.L4.Interp Methods showsPrec :: Int -> Val -> ShowS Source # show :: Val -> String Source # showList :: [Val] -> ShowS Source #
NFData Val Source #
Instance details Defined in Gibbon.L4.Interp Methods rnf :: Val -> () Source #
Eq Val Source #
Instance details Defined in Gibbon.L4.Interp Methods (==) :: Val -> Val -> Bool Source # (/=) :: Val -> Val -> Bool Source #
type Rep Val Source #
Instance details Defined in Gibbon.L4.Interp type Rep Val = D1 ('MetaData "Val" "Gibbon.L4.Interp" "gibbon-0.3-inplace" 'False) ((C1 ('MetaCons "FunVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunDecl)) :+: (C1 ('MetaCons "IntVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "CharVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char)))) :+: (C1 ('MetaCons "FloatVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: (C1 ('MetaCons "TagVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tag)) :+: C1 ('MetaCons "BufVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq Int))))))

applyPrim :: Prim -> [Val] -> IO [Val] Source #

execProg :: Prog -> IO [Val] Source #

Orphan instances

Out TimeSpec Source #
Instance details Methods docPrec :: Int -> TimeSpec -> Doc Source # doc :: TimeSpec -> Doc Source # docList :: [TimeSpec] -> Doc Source #
NFData TimeSpec Source #
Instance details Methods rnf :: TimeSpec -> () Source #
Out (Seq Int) Source #
Instance details Methods docPrec :: Int -> Seq Int -> Doc Source # doc :: Seq Int -> Doc Source # docList :: [Seq Int] -> Doc Source #