Portability | non-portable |
---|---|
Stability | provisional |
Maintainer | {magr,klee}@cs.tu-berlin.de |
Predefined call stubs for run-time generated code.
Documentation
conv[aaHy] :: forall a[aaHr] b[aaHs] c[aaHt] d[aaHu] e[aaHv] f[aaHw] g[aaHx]. FunPtr (Ptr a[aaHr] -> Ptr b[aaHs] -> Ptr c[aaHt] -> Ptr d[aaHu] -> Ptr e[aaHv] -> Ptr f[aaHw] -> Ptr g[aaHx] -> ()) -> Ptr a[aaHr] -> Ptr b[aaHs] -> Ptr c[aaHt] -> Ptr d[aaHu] -> Ptr e[aaHv] -> Ptr f[aaHw] -> Ptr g[aaHx] -> IO ()Source