| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.IR.Mem.Simplify
Synopsis
- simplifyProgGeneric :: (SimplifyMemory rep, Op rep ~ MemOp inner) => SimpleOps rep -> Prog rep -> PassM (Prog rep)
- simplifyStmsGeneric :: (HasScope rep m, MonadFreshNames m, SimplifyMemory rep, Op rep ~ MemOp inner) => SimpleOps rep -> Stms rep -> m (SymbolTable (Wise rep), Stms rep)
- simpleGeneric :: (SimplifyMemory rep, Op rep ~ MemOp inner) => (OpWithWisdom inner -> UsageTable) -> SimplifyOp rep inner -> SimpleOps rep
- type SimplifyMemory rep = (SimplifiableRep rep, ExpDec rep ~ (), BodyDec rep ~ (), AllocOp (Op (Wise rep)), CanBeWise (Op rep), BinderOps (Wise rep), Mem rep)
Documentation
simplifyProgGeneric :: (SimplifyMemory rep, Op rep ~ MemOp inner) => SimpleOps rep -> Prog rep -> PassM (Prog rep) Source #
simplifyStmsGeneric :: (HasScope rep m, MonadFreshNames m, SimplifyMemory rep, Op rep ~ MemOp inner) => SimpleOps rep -> Stms rep -> m (SymbolTable (Wise rep), Stms rep) Source #
simpleGeneric :: (SimplifyMemory rep, Op rep ~ MemOp inner) => (OpWithWisdom inner -> UsageTable) -> SimplifyOp rep inner -> SimpleOps rep Source #