Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Phantom type for Inside
indices.
IndexStream z => IndexStream ((:.) z (PInt I p)) Source | |
IndexStream z => IndexStream ((:.) z (PointL I)) Source | |
IndexStream z => IndexStream ((:.) z (BS2 i j I)) Source | |
IndexStream z => IndexStream ((:.) z (BS1 i I)) Source | |
IndexStream z => IndexStream ((:.) z (BitSet I)) Source | |
IndexStream z => IndexStream ((:.) z (Subword I)) Source |
|
IndexStream (PInt I p) Source |
Phantom type for Outside
indices.
IndexStream z => IndexStream ((:.) z (PInt O p)) Source | |
IndexStream z => IndexStream ((:.) z (PointL O)) Source | |
IndexStream z => IndexStream ((:.) z (BS2 i j O)) Source | |
IndexStream z => IndexStream ((:.) z (BS1 i O)) Source | |
IndexStream z => IndexStream ((:.) z (BitSet O)) Source | |
IndexStream z => IndexStream ((:.) z (Subword O)) Source |
Note: |
IndexStream (PInt O p) Source |
Phantom type for Complement
indices.
IndexStream z => IndexStream ((:.) z (PInt C p)) Source | |
IndexStream z => IndexStream ((:.) z (PointL C)) Source | |
IndexStream z => IndexStream ((:.) z (BS2 i j C)) Source | |
IndexStream z => IndexStream ((:.) z (BS1 i C)) Source | |
IndexStream z => IndexStream ((:.) z (BitSet C)) Source | |
IndexStream z => IndexStream ((:.) z (Subword C)) Source | |
IndexStream (PInt C p) Source |