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

Network.MQTT.Arbitrary

Contents

Orphan instances

Description

Arbitrary instances for QuickCheck.

Synopsis

newtype SizeT = SizeT Int
newtype MatchingTopic = MatchingTopic (Topic, [Filter])
arbitraryTopicSegment :: [Char] -> Int -> Gen Text
arbitraryTopic :: [Char] -> (Int, Int) -> (Int, Int) -> Gen Topic
arbitraryFilter :: [Char] -> (Int, Int) -> (Int, Int) -> Gen Filter
arbitraryMatchingTopic :: [Char] -> (Int, Int) -> (Int, Int) -> (Int, Int) -> Gen (Topic, [Filter])
v311mask :: MQTTPkt -> MQTTPkt

Documentation

newtype SizeT Source #

Arbitrary type fitting variable integers.

Constructors

SizeT Int

Instances

Instances details

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

newtype MatchingTopic Source #

An arbitrary Topic and an arbitrary Filter that should match it.

Constructors

MatchingTopic (Topic, [Filter])

Instances

Instances details

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

arbitraryTopicSegment :: [Char] -> Int -> Gen Text Source #

Generate an arbitrary topic segment (e.g. the X in 'a/X/b') of a given length from the given alphabet.

arbitraryTopic :: [Char] -> (Int, Int) -> (Int, Int) -> Gen Topic Source #

Generate an arbitrary Topic from the given alphabet with lengths of segments and the segment count specified by the given ranges.

arbitraryFilter :: [Char] -> (Int, Int) -> (Int, Int) -> Gen Filter Source #

Generate an arbitrary Filter from the given alphabet with lengths of segments and the segment count specified by the given ranges. Segments may contain wildcards.

arbitraryMatchingTopic :: [Char] -> (Int, Int) -> (Int, Int) -> (Int, Int) -> Gen (Topic, [Filter]) Source #

Generate an arbitrary topic similarly to arbitraryTopic as well as some arbitrary filters that should match that topic.

v311mask :: MQTTPkt -> MQTTPkt Source #

v311mask strips all the v5 specific bits from an MQTTPkt.

Orphan instances

Arbitrary Filter Source #
Instance details Methods arbitrary :: Gen Filter shrink :: Filter -> [Filter]
Arbitrary Topic Source #
Instance details Methods arbitrary :: Gen Topic shrink :: Topic -> [Topic]
Arbitrary AuthRequest Source #
Instance details Methods arbitrary :: Gen AuthRequest shrink :: AuthRequest -> [AuthRequest]
Arbitrary ConnACKFlags Source #
Instance details Methods arbitrary :: Gen ConnACKFlags shrink :: ConnACKFlags -> [ConnACKFlags]
Arbitrary ConnACKRC Source #
Instance details Methods arbitrary :: Gen ConnACKRC shrink :: ConnACKRC -> [ConnACKRC]
Arbitrary ConnectRequest Source #
Instance details Methods arbitrary :: Gen ConnectRequest shrink :: ConnectRequest -> [ConnectRequest]
Arbitrary DiscoReason Source #
Instance details Methods arbitrary :: Gen DiscoReason shrink :: DiscoReason -> [DiscoReason]
Arbitrary DisconnectRequest Source #
Instance details Methods arbitrary :: Gen DisconnectRequest shrink :: DisconnectRequest -> [DisconnectRequest]
Arbitrary LastWill Source #
Instance details Methods arbitrary :: Gen LastWill shrink :: LastWill -> [LastWill]
Arbitrary MQTTPkt Source #
Instance details Methods arbitrary :: Gen MQTTPkt shrink :: MQTTPkt -> [MQTTPkt]
Arbitrary Property Source #
Instance details Methods arbitrary :: Gen Property shrink :: Property -> [Property]
Arbitrary ProtocolLevel Source #
Instance details Methods arbitrary :: Gen ProtocolLevel shrink :: ProtocolLevel -> [ProtocolLevel]
Arbitrary PubACK Source #
Instance details Methods arbitrary :: Gen PubACK shrink :: PubACK -> [PubACK]
Arbitrary PubCOMP Source #
Instance details Methods arbitrary :: Gen PubCOMP shrink :: PubCOMP -> [PubCOMP]
Arbitrary PubREC Source #
Instance details Methods arbitrary :: Gen PubREC shrink :: PubREC -> [PubREC]
Arbitrary PubREL Source #
Instance details Methods arbitrary :: Gen PubREL shrink :: PubREL -> [PubREL]
Arbitrary PublishRequest Source #
Instance details Methods arbitrary :: Gen PublishRequest shrink :: PublishRequest -> [PublishRequest]
Arbitrary QoS Source #
Instance details Methods arbitrary :: Gen QoS shrink :: QoS -> [QoS]
Arbitrary SessionReuse Source #
Instance details Methods arbitrary :: Gen SessionReuse shrink :: SessionReuse -> [SessionReuse]
Arbitrary SubErr Source #
Instance details Methods arbitrary :: Gen SubErr shrink :: SubErr -> [SubErr]
Arbitrary SubOptions Source #
Instance details Methods arbitrary :: Gen SubOptions shrink :: SubOptions -> [SubOptions]
Arbitrary SubscribeRequest Source #
Instance details Methods arbitrary :: Gen SubscribeRequest shrink :: SubscribeRequest -> [SubscribeRequest]
Arbitrary SubscribeResponse Source #
Instance details Methods arbitrary :: Gen SubscribeResponse shrink :: SubscribeResponse -> [SubscribeResponse]
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 UnsubscribeResponse Source #
Instance details Methods arbitrary :: Gen UnsubscribeResponse shrink :: UnsubscribeResponse -> [UnsubscribeResponse]