Synthesizer.LLVM.Generator.Source

Documentation

type T a = T (T a)

data StorableVector a

Constructors

StorableVector (Ptr a) Word

Instances

Storable a => C (StorableVector a)

Defined in Synthesizer.LLVM.Generator.Source

Methods

pack :: StorableVector a -> Struct (StorableVector a)

unpack :: Struct (StorableVector a) -> StorableVector a

Storable a => C (StorableVector a)

Defined in Synthesizer.LLVM.Generator.Source

Associated Types

type Repr (StorableVector a) :: Type

Methods

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)

Defined in Synthesizer.LLVM.Generator.Source

type Repr (StorableVector a) = (Value (Ptr a), Value Word)

storableVectorLength :: Exp (StorableVector a) -> Exp Word

consStorableVector :: Ptr a -> Int -> StorableVector a

storableVector :: C a => Exp (StorableVector a) -> T a

storableVectorLazy :: C a => Exp (StablePtr (T a)) -> T a

type Chunk a = (Value (Ptr a), Value Word)

storableVectorChunks :: C a => Exp (StablePtr (T a)) -> T (Chunk a)

flattenChunks :: C a => T (Chunk a) -> T a

eventList :: C a => Exp (StablePtr (T a)) -> T (T (T a))

lazySize :: Exp (StablePtr T) -> T (T ())