Safe Haskell	Safe-Inferred
Language	Haskell2010

Gibbon.L2.Interp

Contents

Orphan instances

Description

Interpreter reducing L2 programs to values.

Synopsis

interp :: SizeEnv -> RunConfig -> ValEnv Exp2 -> DDefs Ty2 -> Map Var (FunDef Exp2) -> Exp2 -> InterpM Store Exp2 (Value Exp2, Size)
interpExt :: SizeEnv -> RunConfig -> ValEnv Exp2 -> DDefs Ty2 -> Map Var (FunDef Exp2) -> E2Ext LocVar Ty2 -> InterpM Store Exp2 (Value Exp2, Size)
clk :: Clock
strToInt :: String -> Int
newtype Store = Store (Map Var Buffer)
emptyStore :: Store
insertIntoStore :: Var -> Buffer -> InterpM Store Exp2 ()
lookupInStore :: Var -> InterpM Store Exp2 (Maybe Buffer)
lookupInStore' :: Var -> Store -> Maybe Buffer
newtype Buffer = Buffer (Seq SerializedVal)
emptyBuffer :: Buffer
insertAtBuffer :: Int -> SerializedVal -> Buffer -> Buffer
dropInBuffer :: Int -> Buffer -> Buffer
data SerializedVal
- = SerTag Word8 DataCon
- | SerInt Int
- | SerChar Char
- | SerBool Int
- | SerFloat Double
- | SerPtr {
  - bufID :: Var
  - offset :: Int
  }
- | SerPad
byteSize :: SerializedVal -> Int
byteSizeOfTy :: UrTy d -> Maybe Int
deserialize :: Out ty => DDefs ty -> Store -> Buffer -> Value Exp2
data Size
- = SOne Int
- | SMany [Size]
type SizeEnv = Map Var Size
sizeToInt :: Size -> Int
appendSize :: Size -> Size -> Size

Documentation

interp :: SizeEnv -> RunConfig -> ValEnv Exp2 -> DDefs Ty2 -> Map Var (FunDef Exp2) -> Exp2 -> InterpM Store Exp2 (Value Exp2, Size) Source #

interpExt :: SizeEnv -> RunConfig -> ValEnv Exp2 -> DDefs Ty2 -> Map Var (FunDef Exp2) -> E2Ext LocVar Ty2 -> InterpM Store Exp2 (Value Exp2, Size) Source #

clk :: Clock Source #

strToInt :: String -> Int Source #

newtype Store Source #

A store is an address space full of buffers.

Constructors

Store (Map Var Buffer)

Instances

Instances details

Out Store Source #
Instance details Defined in Gibbon.L2.Interp Methods docPrec :: Int -> Store -> Doc Source # doc :: Store -> Doc Source # docList :: [Store] -> Doc Source #
Generic Store Source #
Instance details Defined in Gibbon.L2.Interp Associated Types type Rep Store :: Type -> Type Source # Methods from :: Store -> Rep Store x Source # to :: Rep Store x -> Store Source #
Read Store Source #
Instance details Defined in Gibbon.L2.Interp Methods readsPrec :: Int -> ReadS Store Source # readList :: ReadS [Store] Source # readPrec :: ReadPrec Store Source # readListPrec :: ReadPrec [Store] Source #
Show Store Source #
Instance details Defined in Gibbon.L2.Interp Methods showsPrec :: Int -> Store -> ShowS Source # show :: Store -> String Source # showList :: [Store] -> ShowS Source #
Eq Store Source #
Instance details Defined in Gibbon.L2.Interp Methods (==) :: Store -> Store -> Bool Source # (/=) :: Store -> Store -> Bool Source #
Ord Store Source #
Instance details Defined in Gibbon.L2.Interp Methods compare :: Store -> Store -> Ordering Source # (<) :: Store -> Store -> Bool Source # (<=) :: Store -> Store -> Bool Source # (>) :: Store -> Store -> Bool Source # (>=) :: Store -> Store -> Bool Source # max :: Store -> Store -> Store Source # min :: Store -> Store -> Store Source #
Interp Store Exp2 Source #
Instance details Defined in Gibbon.L2.Interp Methods gInterpExp :: RunConfig -> ValEnv Exp2 -> DDefs (TyOf Exp2) -> FunDefs Exp2 -> Exp2 -> InterpM Store Exp2 (Value Exp2) Source #
InterpProg Store Exp2 Source #
Instance details Defined in Gibbon.L2.Interp Methods gInterpProg :: Store -> RunConfig -> Prog Exp2 -> IO (Store, Value Exp2, ByteString) Source # gInterpNoLogs :: Store -> RunConfig -> Prog Exp2 -> String Source # gInterpWithStdout :: Store -> RunConfig -> Prog Exp2 -> IO (String, [String]) Source #
InterpExt Store Exp2 (E2Ext LocVar Ty2) Source #
Instance details Defined in Gibbon.L2.Interp Methods gInterpExt :: RunConfig -> ValEnv Exp2 -> DDefs (TyOf Exp2) -> FunDefs Exp2 -> E2Ext LocVar Ty2 -> InterpM Store Exp2 (Value Exp2) Source #
type Rep Store Source #
Instance details Defined in Gibbon.L2.Interp type Rep Store = D1 ('MetaData "Store" "Gibbon.L2.Interp" "gibbon-0.3-inplace" 'True) (C1 ('MetaCons "Store" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Var Buffer))))

emptyStore :: Store Source #

insertIntoStore :: Var -> Buffer -> InterpM Store Exp2 () Source #

lookupInStore :: Var -> InterpM Store Exp2 (Maybe Buffer) Source #

lookupInStore' :: Var -> Store -> Maybe Buffer Source #

newtype Buffer Source #

Constructors

Buffer (Seq SerializedVal)

Instances

Instances details

Out Buffer Source #
Instance details Defined in Gibbon.L2.Interp Methods docPrec :: Int -> Buffer -> Doc Source # doc :: Buffer -> Doc Source # docList :: [Buffer] -> Doc Source #
Generic Buffer Source #
Instance details Defined in Gibbon.L2.Interp Associated Types type Rep Buffer :: Type -> Type Source # Methods from :: Buffer -> Rep Buffer x Source # to :: Rep Buffer x -> Buffer Source #
Read Buffer Source #
Instance details Defined in Gibbon.L2.Interp Methods readsPrec :: Int -> ReadS Buffer Source # readList :: ReadS [Buffer] Source # readPrec :: ReadPrec Buffer Source # readListPrec :: ReadPrec [Buffer] Source #
Show Buffer Source #
Instance details Defined in Gibbon.L2.Interp Methods showsPrec :: Int -> Buffer -> ShowS Source # show :: Buffer -> String Source # showList :: [Buffer] -> ShowS Source #
Eq Buffer Source #
Instance details Defined in Gibbon.L2.Interp Methods (==) :: Buffer -> Buffer -> Bool Source # (/=) :: Buffer -> Buffer -> Bool Source #
Ord Buffer Source #
Instance details Defined in Gibbon.L2.Interp Methods compare :: Buffer -> Buffer -> Ordering Source # (<) :: Buffer -> Buffer -> Bool Source # (<=) :: Buffer -> Buffer -> Bool Source # (>) :: Buffer -> Buffer -> Bool Source # (>=) :: Buffer -> Buffer -> Bool Source # max :: Buffer -> Buffer -> Buffer Source # min :: Buffer -> Buffer -> Buffer Source #
type Rep Buffer Source #
Instance details Defined in Gibbon.L2.Interp type Rep Buffer = D1 ('MetaData "Buffer" "Gibbon.L2.Interp" "gibbon-0.3-inplace" 'True) (C1 ('MetaCons "Buffer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq SerializedVal))))

emptyBuffer :: Buffer Source #

insertAtBuffer :: Int -> SerializedVal -> Buffer -> Buffer Source #

Insert a value at a particular index in the buffer

dropInBuffer :: Int -> Buffer -> Buffer Source #

data SerializedVal Source #

Constructors

SerTag Word8 DataCon
SerInt Int
SerChar Char
SerBool Int
SerFloat Double
SerPtr
Fields bufID :: Var offset :: Int
SerPad	Used to make values artificially occupy more cells in the buffer. For example, everywhere else we assume that Ints occupy 8 cells. But `SerInt` only occupies a single cell. To make `SerInt` occupy 8 cells, we add 7 `SerPad`s after it.

Instances

Instances details

Out SerializedVal Source #
Instance details Defined in Gibbon.L2.Interp Methods docPrec :: Int -> SerializedVal -> Doc Source # doc :: SerializedVal -> Doc Source # docList :: [SerializedVal] -> Doc Source #
Generic SerializedVal Source #
Instance details Defined in Gibbon.L2.Interp Associated Types type Rep SerializedVal :: Type -> Type Source # Methods from :: SerializedVal -> Rep SerializedVal x Source # to :: Rep SerializedVal x -> SerializedVal Source #
Read SerializedVal Source #
Instance details Defined in Gibbon.L2.Interp Methods readsPrec :: Int -> ReadS SerializedVal Source # readList :: ReadS [SerializedVal] Source # readPrec :: ReadPrec SerializedVal Source # readListPrec :: ReadPrec [SerializedVal] Source #
Show SerializedVal Source #
Instance details Defined in Gibbon.L2.Interp Methods showsPrec :: Int -> SerializedVal -> ShowS Source # show :: SerializedVal -> String Source # showList :: [SerializedVal] -> ShowS Source #
NFData SerializedVal Source #
Instance details Defined in Gibbon.L2.Interp Methods rnf :: SerializedVal -> () Source #
Eq SerializedVal Source #
Instance details Defined in Gibbon.L2.Interp Methods (==) :: SerializedVal -> SerializedVal -> Bool Source # (/=) :: SerializedVal -> SerializedVal -> Bool Source #
Ord SerializedVal Source #
Instance details Defined in Gibbon.L2.Interp Methods compare :: SerializedVal -> SerializedVal -> Ordering Source # (<) :: SerializedVal -> SerializedVal -> Bool Source # (<=) :: SerializedVal -> SerializedVal -> Bool Source # (>) :: SerializedVal -> SerializedVal -> Bool Source # (>=) :: SerializedVal -> SerializedVal -> Bool Source # max :: SerializedVal -> SerializedVal -> SerializedVal Source # min :: SerializedVal -> SerializedVal -> SerializedVal Source #
type Rep SerializedVal Source #
Instance details Defined in Gibbon.L2.Interp type Rep SerializedVal = D1 ('MetaData "SerializedVal" "Gibbon.L2.Interp" "gibbon-0.3-inplace" 'False) ((C1 ('MetaCons "SerTag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataCon)) :+: (C1 ('MetaCons "SerInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "SerChar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char)))) :+: ((C1 ('MetaCons "SerBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "SerFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: (C1 ('MetaCons "SerPtr" 'PrefixI 'True) (S1 ('MetaSel ('Just "bufID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Var) :: S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "SerPad" 'PrefixI 'False) (U1 :: Type -> Type))))

byteSize :: SerializedVal -> Int Source #

byteSizeOfTy :: UrTy d -> Maybe Int Source #

Everything occupies a single cell in the Buffer.

deserialize :: Out ty => DDefs ty -> Store -> Buffer -> Value Exp2 Source #

Code to read a final answer back out.

data Size Source #

Constructors

SOne Int
SMany [Size]

Instances

Instances details

Out Size Source #
Instance details Defined in Gibbon.L2.Interp Methods docPrec :: Int -> Size -> Doc Source # doc :: Size -> Doc Source # docList :: [Size] -> Doc Source #
Generic Size Source #
Instance details Defined in Gibbon.L2.Interp Associated Types type Rep Size :: Type -> Type Source # Methods from :: Size -> Rep Size x Source # to :: Rep Size x -> Size Source #
Read Size Source #
Instance details Defined in Gibbon.L2.Interp Methods readsPrec :: Int -> ReadS Size Source # readList :: ReadS [Size] Source # readPrec :: ReadPrec Size Source # readListPrec :: ReadPrec [Size] Source #
Show Size Source #
Instance details Defined in Gibbon.L2.Interp Methods showsPrec :: Int -> Size -> ShowS Source # show :: Size -> String Source # showList :: [Size] -> ShowS Source #
Eq Size Source #
Instance details Defined in Gibbon.L2.Interp Methods (==) :: Size -> Size -> Bool Source # (/=) :: Size -> Size -> Bool Source #
Ord Size Source #
Instance details Defined in Gibbon.L2.Interp Methods compare :: Size -> Size -> Ordering Source # (<) :: Size -> Size -> Bool Source # (<=) :: Size -> Size -> Bool Source # (>) :: Size -> Size -> Bool Source # (>=) :: Size -> Size -> Bool Source # max :: Size -> Size -> Size Source # min :: Size -> Size -> Size Source #
type Rep Size Source #
Instance details Defined in Gibbon.L2.Interp type Rep Size = D1 ('MetaData "Size" "Gibbon.L2.Interp" "gibbon-0.3-inplace" 'False) (C1 ('MetaCons "SOne" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "SMany" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Size])))

type SizeEnv = Map Var Size Source #

sizeToInt :: Size -> Int Source #

appendSize :: Size -> Size -> Size Source #

Orphan instances

Out a => Out (Seq a) Source #
Instance details Methods docPrec :: Int -> Seq a -> Doc Source # doc :: Seq a -> Doc Source # docList :: [Seq a] -> Doc Source #