Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data StorableVector a Source #
StorableVector (Ptr a) Word |
Instances
Storable a => C (StorableVector a) Source # | |
Defined in Synthesizer.LLVM.Generator.Source pack :: StorableVector a -> Struct (StorableVector a) # unpack :: Struct (StorableVector a) -> StorableVector a # | |
Storable a => C (StorableVector a) Source # | |
Defined in Synthesizer.LLVM.Generator.Source type Repr (StorableVector a) :: Type # cons :: StorableVector a -> T (StorableVector a) # undef :: T (StorableVector a) # zero :: T (StorableVector a) # phi :: BasicBlock -> T (StorableVector a) -> CodeGenFunction r (T (StorableVector a)) # addPhi :: BasicBlock -> T (StorableVector a) -> T (StorableVector a) -> CodeGenFunction r () # | |
type Repr (StorableVector a) Source # | |
Defined in Synthesizer.LLVM.Generator.Source |
storableVectorLength :: Exp (StorableVector a) -> Exp Word Source #
consStorableVector :: Ptr a -> Int -> StorableVector a Source #
storableVector :: C a => Exp (StorableVector a) -> T a Source #