Ivory.Language.CArray

Documentation

class (IvoryArea area, IvoryArea rep) => ToCArray area rep | area -> rep

Guard invocations of toCArray.

Instances

IvoryStruct sym => ToCArray (Struct * sym) (Struct * sym)

IvoryType a => ToCArray (Stored * a) (Stored * a)

(ANat len, ToCArray area rep) => ToCArray (Array * len area) (CArray * rep)

toCArray :: forall s len area rep ref. (ANat len, ToCArray area rep, IvoryRef ref, IvoryExpr (ref s (Array len area)), IvoryExpr (ref s (CArray rep))) => ref s (Array len area) -> ref s (CArray rep)

Convert from a checked array to one that can be given to a c function.

Orphan instances

IvoryArea a => IvoryArea (CArray * a)

Methods

ivoryArea :: Proxy (Area *) (CArray * a) -> Type