Copyright	(c) Dustin Sallings 2019
License	BSD3
Maintainer	dustin@spy.net
Stability	experimental
Safe Haskell	Safe
Language	Haskell2010

Network.MQTT.Arbitrary

Contents

Orphan instances

Description

Arbitrary instances for QuickCheck.

Synopsis

newtype SizeT = SizeT Int
v311mask :: MQTTPkt -> MQTTPkt

Documentation

newtype SizeT Source #

Arbitrary type fitting variable integers.

Constructors

SizeT Int

Instances

Eq SizeT Source #
Instance details Defined in Network.MQTT.Arbitrary Methods (==) :: SizeT -> SizeT -> Bool # (/=) :: SizeT -> SizeT -> Bool #
Show SizeT Source #
Instance details Defined in Network.MQTT.Arbitrary Methods showsPrec :: Int -> SizeT -> ShowS # show :: SizeT -> String # showList :: [SizeT] -> ShowS #
Arbitrary SizeT Source #
Instance details Defined in Network.MQTT.Arbitrary Methods arbitrary :: Gen SizeT # shrink :: SizeT -> [SizeT] #

v311mask :: MQTTPkt -> MQTTPkt Source #

v311mask strips all the v5 specific bits from an MQTTPkt.

Orphan instances

Arbitrary DisconnectRequest Source #
Instance details Methods arbitrary :: Gen DisconnectRequest # shrink :: DisconnectRequest -> [DisconnectRequest] #
Arbitrary DiscoReason Source #
Instance details Methods arbitrary :: Gen DiscoReason # shrink :: DiscoReason -> [DiscoReason] #
Arbitrary AuthRequest Source #
Instance details Methods arbitrary :: Gen AuthRequest # shrink :: AuthRequest -> [AuthRequest] #
Arbitrary UnsubscribeResponse Source #
Instance details Methods arbitrary :: Gen UnsubscribeResponse # shrink :: UnsubscribeResponse -> [UnsubscribeResponse] #
Arbitrary UnsubStatus Source #
Instance details Methods arbitrary :: Gen UnsubStatus # shrink :: UnsubStatus -> [UnsubStatus] #
Arbitrary UnsubscribeRequest Source #
Instance details Methods arbitrary :: Gen UnsubscribeRequest # shrink :: UnsubscribeRequest -> [UnsubscribeRequest] #
Arbitrary SubErr Source #
Instance details Methods arbitrary :: Gen SubErr # shrink :: SubErr -> [SubErr] #
Arbitrary SubscribeResponse Source #
Instance details Methods arbitrary :: Gen SubscribeResponse # shrink :: SubscribeResponse -> [SubscribeResponse] #
Arbitrary PubCOMP Source #
Instance details Methods arbitrary :: Gen PubCOMP # shrink :: PubCOMP -> [PubCOMP] #
Arbitrary PubREL Source #
Instance details Methods arbitrary :: Gen PubREL # shrink :: PubREL -> [PubREL] #
Arbitrary PubREC Source #
Instance details Methods arbitrary :: Gen PubREC # shrink :: PubREC -> [PubREC] #
Arbitrary PubACK Source #
Instance details Methods arbitrary :: Gen PubACK # shrink :: PubACK -> [PubACK] #
Arbitrary SubscribeRequest Source #
Instance details Methods arbitrary :: Gen SubscribeRequest # shrink :: SubscribeRequest -> [SubscribeRequest] #
Arbitrary SubOptions Source #
Instance details Methods arbitrary :: Gen SubOptions # shrink :: SubOptions -> [SubOptions] #
Arbitrary PublishRequest Source #
Instance details Methods arbitrary :: Gen PublishRequest # shrink :: PublishRequest -> [PublishRequest] #
Arbitrary ConnACKFlags Source #
Instance details Methods arbitrary :: Gen ConnACKFlags # shrink :: ConnACKFlags -> [ConnACKFlags] #
Arbitrary SessionReuse Source #
Instance details Methods arbitrary :: Gen SessionReuse # shrink :: SessionReuse -> [SessionReuse] #
Arbitrary ConnACKRC Source #
Instance details Methods arbitrary :: Gen ConnACKRC # shrink :: ConnACKRC -> [ConnACKRC] #
Arbitrary MQTTPkt Source #
Instance details Methods arbitrary :: Gen MQTTPkt # shrink :: MQTTPkt -> [MQTTPkt] #
Arbitrary ConnectRequest Source #
Instance details Methods arbitrary :: Gen ConnectRequest # shrink :: ConnectRequest -> [ConnectRequest] #
Arbitrary LastWill Source #
Instance details Methods arbitrary :: Gen LastWill # shrink :: LastWill -> [LastWill] #
Arbitrary ProtocolLevel Source #
Instance details Methods arbitrary :: Gen ProtocolLevel # shrink :: ProtocolLevel -> [ProtocolLevel] #
Arbitrary Property Source #
Instance details Methods arbitrary :: Gen Property # shrink :: Property -> [Property] #
Arbitrary QoS Source #
Instance details Methods arbitrary :: Gen QoS # shrink :: QoS -> [QoS] #