1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
{-# LANGUAGE TupleSections #-}
-- | Contains definitions for generating 'Encoding's.
module Network.HTTP.Media.Encoding.Gen
( anything,
identity,
genEncoding,
genConcreteEncoding,
genDiffEncoding,
genDiffConcreteEncodings,
)
where
import Network.HTTP.Media.Encoding.Internal
import Network.HTTP.Media.Gen (genDiffWith, genToken)
import Test.QuickCheck.Gen
-- | The Encoding that matches anything.
anything :: Encoding
anything = Encoding "*"
-- | The default Encoding.
identity :: Encoding
identity = Encoding "identity"
-- | Generates any kind of Encoding.
genEncoding :: Gen Encoding
genEncoding = Encoding <$> genToken
-- | Generates an Encoding that does not match everything.
genConcreteEncoding :: Gen Encoding
genConcreteEncoding = genDiffWith genEncoding anything
-- | Generates a different Encoding to the given one.
genDiffEncoding :: Encoding -> Gen Encoding
genDiffEncoding = genDiffWith genEncoding
-- | Generates two different concrete Encodings.
genDiffConcreteEncodings :: Gen (Encoding, Encoding)
genDiffConcreteEncodings = do
enc <- genConcreteEncoding
(enc,) <$> genDiffWith genConcreteEncoding enc
|
