Ivory.Language.Pointer

data Constancy

class KnownConstancy c

data Nullability

data Pointer n c s a

nullPtr

pointerCast

pointerCastToConst

pointerCastToNullable

unsafePointerCast

withRef