cardano-data-1.4.0.0: Specialized data for Cardano project
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Data.Arbitrary

Documentation

genOSet ∷ Ord a ⇒ Gen a → Gen (OSet a) Source #

Orphan instances

(Arbitrary a, Ord a) ⇒ Arbitrary (OSet a) Source # 
Instance details

Methods

arbitrary ∷ Gen (OSet a) Source #

shrink ∷ OSet a → [OSet a] Source #

(Arbitrary a, Ord a) ⇒ Arbitrary (NonEmptySet a) Source # 
Instance details

(Arbitrary k, Arbitrary v, Ord k) ⇒ Arbitrary (NonEmptyMap k v) Source # 
Instance details

(Arbitrary v, HasOKey k v, Arbitrary k) ⇒ Arbitrary (OMap k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (OMap k v) Source #

shrink ∷ OMap k v → [OMap k v] Source #