Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
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
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 |