ivory-0.1.0.0: Safe embedded C programming.
Ivory.Language.CArray
Synopsis
class (IvoryArea area, IvoryArea rep) => ToCArray area rep | area -> repSource
Guard invocations of toCArray.
Instances
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)Source
Convert from a checked array to one that can be given to a c function.