| Portability | non-portable (GHC extensions) |
|---|---|
| Stability | experimental |
| Maintainer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> |
| Safe Haskell | None |
Data.Array.Accelerate.Analysis.Shape
Contents
Description
- type AccDim acc = forall aenv sh e. acc aenv (Array sh e) -> Int
- type AccDim2 acc = forall aenv sh1 e1 sh2 e2. acc aenv (Array sh1 e1, Array sh2 e2) -> (Int, Int)
- accDim :: AccDim OpenAcc
- accDim2 :: AccDim2 OpenAcc
- preAccDim :: forall acc aenv sh e. AccDim acc -> PreOpenAcc acc aenv (Array sh e) -> Int
- preAccDim2 :: forall acc aenv sh1 e1 sh2 e2. AccDim acc -> AccDim2 acc -> PreOpenAcc acc aenv (Array sh1 e1, Array sh2 e2) -> (Int, Int)
query AST dimensionality
type AccDim2 acc = forall aenv sh1 e1 sh2 e2. acc aenv (Array sh1 e1, Array sh2 e2) -> (Int, Int)Source
accDim2 :: AccDim2 OpenAccSource
Reify the dimensionality of the results of a computation that yields two arrays
preAccDim :: forall acc aenv sh e. AccDim acc -> PreOpenAcc acc aenv (Array sh e) -> IntSource
Reify dimensionality of a computation parameterised over a recursive closure
preAccDim2 :: forall acc aenv sh1 e1 sh2 e2. AccDim acc -> AccDim2 acc -> PreOpenAcc acc aenv (Array sh1 e1, Array sh2 e2) -> (Int, Int)Source