Module

Data.ArrayBuffer.DataView.Gen

Package
purescript-arraybuffer
Repository
jacereda/purescript-arraybuffer

#genDataView Source

genDataView :: forall m. MonadGen m => m DataView

#WithOffsetAndValue Source

data WithOffsetAndValue n (a :: ArrayViewType) t

For generating some set of offsets residing inside the generated array, with some computable value

Constructors

#genWithOffsetAndValue Source

genWithOffsetAndValue :: forall t b a n m. MonadGen m => MonadRec m => Nat n => BytesPerValue a b => BinaryValue a t => Nat b => m DataView -> m t -> m (WithOffsetAndValue n a t)