| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Pass.ExplicitAllocations
Contents
Documentation
explicitAllocationsInStms :: (MonadFreshNames m, HasScope ExplicitMemory m) => Stms Kernels -> m (Stms ExplicitMemory) Source #
simplifiable :: (SimplifiableLore lore, ExpAttr lore ~ (), BodyAttr lore ~ (), Op lore ~ MemOp inner, Allocator lore (PatAllocM lore)) => (inner -> SimpleM lore (OpWithWisdom inner, Stms (Wise lore))) -> SimpleOps lore Source #
Orphan instances
| BinderOps ExplicitMemory Source # | |
Methods mkExpAttrB :: (MonadBinder m, Lore m ~ ExplicitMemory) => Pattern ExplicitMemory -> Exp ExplicitMemory -> m (ExpAttr ExplicitMemory) Source # mkBodyB :: (MonadBinder m, Lore m ~ ExplicitMemory) => Stms ExplicitMemory -> Result -> m (Body ExplicitMemory) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ ExplicitMemory) => [VName] -> Exp ExplicitMemory -> m (Stm ExplicitMemory) Source # | |
| BinderOps (Wise ExplicitMemory) Source # | |
Methods mkExpAttrB :: (MonadBinder m, Lore m ~ Wise ExplicitMemory) => Pattern (Wise ExplicitMemory) -> Exp (Wise ExplicitMemory) -> m (ExpAttr (Wise ExplicitMemory)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise ExplicitMemory) => Stms (Wise ExplicitMemory) -> Result -> m (Body (Wise ExplicitMemory)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise ExplicitMemory) => [VName] -> Exp (Wise ExplicitMemory) -> m (Stm (Wise ExplicitMemory)) Source # | |