| Safe Haskell | None |
|---|
LLVM.Extra.Array
- size :: Natural n => Value (Array n a) -> Int
- assemble :: (Natural n, IsFirstClass a, IsSized a) => [Value a] -> CodeGenFunction r (Value (Array n a))
- extractAll :: (Natural n, IsFirstClass a, IsSized a) => Value (Array n a) -> CodeGenFunction r [Value a]
- map :: (Natural n, IsFirstClass a, IsSized a, IsFirstClass b, IsSized b) => (Value a -> CodeGenFunction r (Value b)) -> Value (Array n a) -> CodeGenFunction r (Value (Array n b))
Documentation
assemble :: (Natural n, IsFirstClass a, IsSized a) => [Value a] -> CodeGenFunction r (Value (Array n a))Source
construct an array out of single elements
You must assert that the length of the list matches the array size.
This can be considered the inverse of extractAll.
extractAll :: (Natural n, IsFirstClass a, IsSized a) => Value (Array n a) -> CodeGenFunction r [Value a]Source
provide the elements of an array as a list of individual virtual registers
This can be considered the inverse of assemble.
map :: (Natural n, IsFirstClass a, IsSized a, IsFirstClass b, IsSized b) => (Value a -> CodeGenFunction r (Value b)) -> Value (Array n a) -> CodeGenFunction r (Value (Array n b))Source
The loop is unrolled,
since insertvalue and extractvalue expect constant indices.