Portability | non-portable |
---|---|
Stability | provisional |
Maintainer | {magr,klee}@cs.tu-berlin.de |
Predefined call stubs for run-time generated code.
Documentation
conv[a10Lb] :: forall a[a10L4] b[a10L5] c[a10L6] d[a10L7] e[a10L8] f[a10L9] g[a10La]. FunPtr (Ptr a[a10L4] -> Ptr b[a10L5] -> Ptr c[a10L6] -> Ptr d[a10L7] -> Ptr e[a10L8] -> Ptr f[a10L9] -> Ptr g[a10La] -> ()) -> Ptr a[a10L4] -> Ptr b[a10L5] -> Ptr c[a10L6] -> Ptr d[a10L7] -> Ptr e[a10L8] -> Ptr f[a10L9] -> Ptr g[a10La] -> IO ()Source