gibbon-0.3: A compiler for operating on serialized data
Safe HaskellSafe-Inferred
LanguageHaskell2010

Gibbon.L0.Interp

Description

Interpreter for the source language (L0)

Orphan instances

Interp () Exp0 Source # 
Instance details

Methods

gInterpExp :: RunConfig -> ValEnv Exp0 -> DDefs (TyOf Exp0) -> FunDefs Exp0 -> Exp0 -> InterpM () Exp0 (Value Exp0) Source #

InterpProg () Exp0 Source # 
Instance details

Methods

gInterpProg :: () -> RunConfig -> Prog Exp0 -> IO ((), Value Exp0, ByteString) Source #

gInterpNoLogs :: () -> RunConfig -> Prog Exp0 -> String Source #

gInterpWithStdout :: () -> RunConfig -> Prog Exp0 -> IO (String, [String]) Source #

InterpExt () Exp0 (E0Ext Ty0 Ty0) Source # 
Instance details

Methods

gInterpExt :: RunConfig -> ValEnv Exp0 -> DDefs (TyOf Exp0) -> FunDefs Exp0 -> E0Ext Ty0 Ty0 -> InterpM () Exp0 (Value Exp0) Source #