genvalidity-mergeful-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Data.GenValidity.Mergeful.Value

Contents

Orphan instances

GenUnchecked ChangedFlag Source # 
Instance details

Methods

genUnchecked :: Gen ChangedFlag #

shrinkUnchecked :: ChangedFlag -> [ChangedFlag] #

GenValid ChangedFlag Source # 
Instance details

Methods

genValid :: Gen ChangedFlag #

shrinkValid :: ChangedFlag -> [ChangedFlag] #

GenUnchecked a => GenUnchecked (ClientValue a) Source # 
Instance details

Methods

genUnchecked :: Gen (ClientValue a) #

shrinkUnchecked :: ClientValue a -> [ClientValue a] #

GenUnchecked a => GenUnchecked (ServerValue a) Source # 
Instance details

Methods

genUnchecked :: Gen (ServerValue a) #

shrinkUnchecked :: ServerValue a -> [ServerValue a] #

GenUnchecked a => GenUnchecked (ValueSyncRequest a) Source # 
Instance details

Methods

genUnchecked :: Gen (ValueSyncRequest a) #

shrinkUnchecked :: ValueSyncRequest a -> [ValueSyncRequest a] #

GenUnchecked a => GenUnchecked (ValueSyncResponse a) Source # 
Instance details

Methods

genUnchecked :: Gen (ValueSyncResponse a) #

shrinkUnchecked :: ValueSyncResponse a -> [ValueSyncResponse a] #

GenValid a => GenValid (ClientValue a) Source # 
Instance details

Methods

genValid :: Gen (ClientValue a) #

shrinkValid :: ClientValue a -> [ClientValue a] #

GenValid a => GenValid (ServerValue a) Source # 
Instance details

Methods

genValid :: Gen (ServerValue a) #

shrinkValid :: ServerValue a -> [ServerValue a] #

GenValid a => GenValid (ValueSyncRequest a) Source # 
Instance details

Methods

genValid :: Gen (ValueSyncRequest a) #

shrinkValid :: ValueSyncRequest a -> [ValueSyncRequest a] #

GenValid a => GenValid (ValueSyncResponse a) Source # 
Instance details

Methods

genValid :: Gen (ValueSyncResponse a) #

shrinkValid :: ValueSyncResponse a -> [ValueSyncResponse a] #