Data.PrimitiveArray.Index.Outside

Documentation

newtype Outside z

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.

Constructors

O

Fields

unO :: z

Instances

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)