| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Futhark.Optimise.InPlaceLowering.SubstituteIndices
Description
This module exports facilities for transforming array accesses in
a list of Stms (intended to be the bindings in a body). The
idea is that you can state that some variable x is in fact an
array indexing v[i0,i1,...].
Documentation
substituteIndices :: (MonadFreshNames m, BinderOps lore, Bindable lore, Aliased lore, LetAttr lore ~ attr) => IndexSubstitutions attr -> Stms lore -> m (IndexSubstitutions attr, Stms lore) Source #
type IndexSubstitution attr = (Certificates, VName, attr, Slice SubExp) Source #
type IndexSubstitutions attr = [(VName, IndexSubstitution attr)] Source #