Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
withConstArray :: C a => a -> (forall n. Natural n => ConstValue (Array n ArrayElem) -> b) -> IO b Source #
proxyFromData :: a -> Proxy (Struct a) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
withConstArray :: C a => a -> (forall n. Natural n => ConstValue (Array n ArrayElem) -> b) -> IO b Source #
proxyFromData :: a -> Proxy (Struct a) Source #