harpy-0.4.1: Runtime code generation for x86 machine code

Portabilitynon-portable
Stabilityprovisional
Maintainer{magr,klee}@cs.tu-berlin.de

Harpy.Call

Description

Predefined call stubs for run-time generated code.

Documentation

conv[a126I] :: FunPtr () -> IO ()Source

conv[a128f] :: FunPtr (Word32 -> Word32) -> Word32 -> IO Word32Source

conv[a12dF] :: forall a[a12dy] b[a12dz] c[a12dA] d[a12dB] e[a12dC] f[a12dD] g[a12dE]. FunPtr (Ptr a[a12dy] -> Ptr b[a12dz] -> Ptr c[a12dA] -> Ptr d[a12dB] -> Ptr e[a12dC] -> Ptr f[a12dD] -> Ptr g[a12dE] -> ()) -> Ptr a[a12dy] -> Ptr b[a12dz] -> Ptr c[a12dA] -> Ptr d[a12dB] -> Ptr e[a12dC] -> Ptr f[a12dD] -> Ptr g[a12dE] -> IO ()Source