Ivory.Language.CArray

Documentation

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

Guard invocations of toCArray.

Instances

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

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

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

toCArray :: forall s len area rep ref. (SingI 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.