Ivory.Language.Ptr

Documentation

newtype Ptr s a

Pointers (nullable references).

Constructors

Ptr

Fields

getPtr :: Expr

Instances

IvoryArea area => IvoryExpr (Ptr s area)

IvoryArea area => IvoryVar (Ptr s area)

IvoryArea area => IvoryType (Ptr s area)

IvoryArea area => IvoryEq (Ptr s area)

IvoryArea a => IvoryStore (Ptr Global a)

IvoryArea area => IvoryInit (Ptr Global area)

IvoryArea area => IvoryZero (Stored * (Ptr Global area))

nullPtr :: IvoryArea area => Ptr s area

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

Convert a reference to a pointer. This direction is safe as we know that the reference is a non-null pointer.

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