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 => IvoryZeroVal (Ptr Global area)

IvoryArea area => IvoryInit (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

withRef :: IvoryArea area => Ptr as area -> (Ref as area -> Ivory eff t) -> Ivory eff f -> Ivory eff ()

Unwrap a pointer, and use it as a reference.