Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Flat.Instances.Vector

Contents

Description

Flat instances for the vector package.

Orphan instances

Flat a ⇒ Flat (Vector a) Source #	Vectors are encoded as arrays. `>>>` `tst (V.fromList [11::Word8,22,33])`(True,40,[3,11,22,33,0]) All Vectors are encoded in the same way: `>>>` `let l = [11::Word8,22,33] in all (tst (V.fromList l) ==) [tst (U.fromList l),tst (S.fromList l)]`True
Instance details Methods encode ∷ Vector a → Encoding Source # decode ∷ Get (Vector a) Source # size ∷ Vector a → NumBits → NumBits Source #
(Storable a, Flat a) ⇒ Flat (Vector a) Source #
Instance details Methods encode ∷ Vector a → Encoding Source # decode ∷ Get (Vector a) Source # size ∷ Vector a → NumBits → NumBits Source #
(Unbox a, Flat a) ⇒ Flat (Vector a) Source #
Instance details Methods encode ∷ Vector a → Encoding Source # decode ∷ Get (Vector a) Source # size ∷ Vector a → NumBits → NumBits Source #