Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- simplifyGPU :: Prog GPU -> PassM (Prog GPU)
- simplifyLambda :: (HasScope GPU m, MonadFreshNames m) => Lambda GPU -> m (Lambda GPU)
- data GPU
- simplifyKernelOp :: (SimplifiableRep rep, BodyDec rep ~ ()) => SimplifyOp rep op -> HostOp rep op -> SimpleM rep (HostOp (Wise rep) (OpWithWisdom op), Stms (Wise rep))
Documentation
simplifyLambda :: (HasScope GPU m, MonadFreshNames m) => Lambda GPU -> m (Lambda GPU) Source #
The phantom data type for the kernels representation.
Instances
Building blocks
simplifyKernelOp :: (SimplifiableRep rep, BodyDec rep ~ ()) => SimplifyOp rep op -> HostOp rep op -> SimpleM rep (HostOp (Wise rep) (OpWithWisdom op), Stms (Wise rep)) Source #
Orphan instances
BuilderOps (Wise GPU) Source # | |
mkExpDecB :: (MonadBuilder m, Rep m ~ Wise GPU) => Pat (Wise GPU) -> Exp (Wise GPU) -> m (ExpDec (Wise GPU)) Source # mkBodyB :: (MonadBuilder m, Rep m ~ Wise GPU) => Stms (Wise GPU) -> Result -> m (Body (Wise GPU)) Source # mkLetNamesB :: (MonadBuilder m, Rep m ~ Wise GPU) => [VName] -> Exp (Wise GPU) -> m (Stm (Wise GPU)) Source # | |
HasSOAC (Wise GPU) Source # | |
HasSegOp (Wise GPU) Source # | |