tests
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.VMap

Documentation

type MapT = Map Char Int Source #

type VMapT = VMap VB VP Char Int Source #

prop_Roundtrip ∷ (VMapT → a) → (a → VMapT) → VMapT → Property Source #

prop_AsMapTo ∷ (Show a, Eq a) ⇒ (VMapT → a) → (MapT → a) → VMapT → Property Source #

prop_AsMapFrom ∷ (a → VMapT) → (a → MapT) → a → Property Source #

vMapTests ∷ TestTree Source #

Orphan instances

(Ord k, Vector kv k, Vector vv v, Arbitrary k, Arbitrary v) ⇒ Arbitrary (VMap kv vv k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (VMap kv vv k v) Source #

shrink ∷ VMap kv vv k v → [VMap kv vv k v] Source #