Safe Haskell | None |
---|
Documentation
dumpCounter :: IORef (T Dump)Source
withConstArray :: C a => a -> (forall n. Natural n => ConstValue (Array n ArrayElem) -> b) -> IO bSource
proxyFromData :: a -> Proxy (Struct a)Source
Safe Haskell | None |
---|
dumpCounter :: IORef (T Dump)Source
withConstArray :: C a => a -> (forall n. Natural n => ConstValue (Array n ArrayElem) -> b) -> IO bSource
proxyFromData :: a -> Proxy (Struct a)Source