Safe Haskell	None
Language	Haskell2010

Ivory.Language.CArray

Contents

Synopsis

class (IvoryArea area, IvoryArea rep) => ToCArray (area :: Area *) (rep :: Area *) | area -> 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)

Documentation

class (IvoryArea area, IvoryArea rep) => ToCArray (area :: Area *) (rep :: Area *) | area -> rep Source #

Guard invocations of toCArray.

Instances

IvoryStruct sym => ToCArray (Struct sym :: Area Type) (Struct sym :: Area Type) Source #
Instance details Defined in Ivory.Language.CArray
IvoryType a => ToCArray (Stored a) (Stored a) Source #
Instance details Defined in Ivory.Language.CArray
(ANat len, ToCArray area rep) => ToCArray (Array len area) (CArray rep) Source #
Instance details Defined in Ivory.Language.CArray

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) Source #

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

Orphan instances

IvoryArea a => IvoryArea (CArray a) Source #
Instance details Methods ivoryArea :: Proxy (CArray a) -> Type Source #