Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type Ptr = Pointer Nullable Mutable
- nullPtr :: IvoryArea a => Pointer Nullable c s a
- ptrToRef :: IvoryArea area => Ptr s area -> Ref s area
- refToPtr :: IvoryArea area => Ref s area -> Ptr s area
- withRef :: (KnownConstancy c, IvoryArea a) => Pointer Nullable c s a -> (Pointer Valid c s a -> Ivory eff t) -> Ivory eff f -> Ivory eff ()
Documentation
ptrToRef :: IvoryArea area => Ptr s area -> Ref s area Source #
Convert nullable to valid pointer unsafely.
TODO deprecate in favor of unsafePointerCast