| Copyright | [2012..2020] The Accelerate Team |
|---|---|
| License | BSD3 |
| Maintainer | Trevor L. McDonell <trevor.mcdonell@gmail.com> |
| Stability | experimental |
| Portability | non-portable (GHC extensions) |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Data.Array.Accelerate.Trafo.Var
Description
Documentation
data DeclareVars s t aenv where Source #
Constructors
| DeclareVars :: LeftHandSide s t env env' -> (env :> env') -> (forall env''. (env' :> env'') -> Vars s env'' t) -> DeclareVars s t env |
declareVars :: TupR s t -> DeclareVars s t env Source #
type ExtractAcc acc = forall env t. acc env t -> Maybe (PreOpenAcc acc env t) Source #
avarsOut :: ExtractAcc acc -> PreOpenAcc acc aenv a -> Maybe (ArrayVars aenv a) Source #