Ivory.Language.Ptr

Documentation

type Ptr = Pointer Nullable Mutable

Pointers (nullable references).

nullPtr :: IvoryArea a => Pointer Nullable c s a

ptrToRef :: IvoryArea area => Ptr s area -> Ref s area

Convert nullable to valid pointer unsafely. TODO deprecate in favor of unsafePointerCast

refToPtr :: IvoryArea area => Ref s area -> Ptr s area

Convert valid to nullable pointer. TODO deprecate in favor of pointerCastToNullable

withRef :: (KnownConstancy c, IvoryArea a) => Pointer Nullable c s a -> (Pointer Valid c s a -> Ivory eff t) -> Ivory eff f -> Ivory eff ()

Unwrap a pointer, and use it as a reference.