tests
Safe HaskellNone
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 #

data ThunkException Source #

Constructors

ThunkException 

Instances

Instances details
Exception ThunkException Source # 
Instance details

Defined in Test.VMap

Methods

toException ∷ ThunkException → SomeException #

fromException ∷ SomeException → Maybe ThunkException #

displayException ∷ ThunkException → String #

backtraceDesired ∷ ThunkException → Bool #

Show ThunkException Source # 
Instance details

Defined in Test.VMap

Methods

showsPrec ∷ Int → ThunkException → ShowS #

show ∷ ThunkException → String #

showList ∷ [ThunkException] → ShowS #

Eq ThunkException Source # 
Instance details

Defined in Test.VMap

Methods

(==) ∷ ThunkException → ThunkException → Bool #

(/=) ∷ ThunkException → ThunkException → Bool #

vMapTests ∷ Spec 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 #