Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
The Outside
wrapper takes an index structure, and provides
IndexStream
functions streamUp
and streamDown
that work the other
way around. In particular, for Outside z
streamUp (Outside z) = fmap
Outside $ streamDown z
and vice versa. Index
functions are unwrapped
but otherwise work as before.
Unbox z0 => Vector Vector (Outside z) | |
Unbox z0 => MVector MVector (Outside z) | |
Eq z => Eq (Outside z) | |
Ord z => Ord (Outside z) | |
Read z => Read (Outside z) | |
Show z => Show (Outside z) | |
Generic (Outside z) | |
Arbitrary z => Arbitrary (Outside z) | |
ToJSON z => ToJSON (Outside z) | |
FromJSON z => FromJSON (Outside z) | |
Binary z => Binary (Outside z) | |
Serialize z => Serialize (Outside z) | |
NFData z => NFData (Outside z) | |
Unbox z0 => Unbox (Outside z) | |
IndexStream i => IndexStream (Outside i) | |
Index i => Index (Outside i) | |
data MVector s0 (Outside z0) = MV_Outside (MVector s z) | |
type Rep (Outside z) | |
data Vector (Outside z0) = V_Outside (Vector z) |