| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ADP.Fusion.SynVar.Indices
Description
With tableIndices we create a stream of legal indices for this table. We
need tableIndices in multi-dimensional tables as the type of the
multi-dimensional indices is generic.
- class TableIndices i where
- tableIndices :: Monad m => TblConstraint i -> Context i -> i -> Stream m (S5 z j j i i) -> Stream m (S5 z j j i i)
Documentation
class TableIndices i where Source
Methods
tableIndices :: Monad m => TblConstraint i -> Context i -> i -> Stream m (S5 z j j i i) -> Stream m (S5 z j j i i) Source
Instances
| TableIndices Z | |
| TableIndices (Outside Z) | |
| TableIndices (Outside is) => TableIndices (Outside ((:.) is PointL)) | |
| TableIndices is => TableIndices ((:.) is PointL) | TODO I think we need to check TODO yes, handle |
| TableIndices is => TableIndices ((:.) is Subword) |