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 |
Documentation
data DeclareVars s t aenv where Source #
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 #