{-# OPTIONS_GHC -fno-warn-orphans #-}
{-# LANGUAGE FlexibleInstances, ScopedTypeVariables, OverloadedStrings #-}
module Text.Pandoc.Arbitrary ()
where
import Test.QuickCheck
import Control.Applicative (Applicative ((<*>), pure), (<$>))
import Control.Monad (forM)
import Data.Text (Text)
import qualified Data.Text as T
import Text.Pandoc.Definition
import Text.Pandoc.Builder
realString :: Gen Text
realString :: Gen Text
realString = (String -> Text) -> Gen String -> Gen Text
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap String -> Text
T.pack (Gen String -> Gen Text) -> Gen String -> Gen Text
forall a b. (a -> b) -> a -> b
$ Int -> Gen String -> Gen String
forall a. Int -> Gen a -> Gen a
resize 8 (Gen String -> Gen String) -> Gen String -> Gen String
forall a b. (a -> b) -> a -> b
$ Gen Char -> Gen String
forall a. Gen a -> Gen [a]
listOf (Gen Char -> Gen String) -> Gen Char -> Gen String
forall a b. (a -> b) -> a -> b
$ [(Int, Gen Char)] -> Gen Char
forall a. [(Int, Gen a)] -> Gen a
frequency [ (9, String -> Gen Char
forall a. [a] -> Gen a
elements [' '..'\127'])
, (1, String -> Gen Char
forall a. [a] -> Gen a
elements ['\128'..'\9999']) ]
shrinkText :: Text -> [Text]
shrinkText :: Text -> [Text]
shrinkText xs :: Text
xs = String -> Text
T.pack (String -> Text) -> [String] -> [Text]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> String -> [String]
forall a. Arbitrary a => a -> [a]
shrink (Text -> String
T.unpack Text
xs)
shrinkText2 :: (Text, Text) -> [(Text, Text)]
shrinkText2 :: (Text, Text) -> [(Text, Text)]
shrinkText2 = (Text -> [Text])
-> (Text -> [Text]) -> (Text, Text) -> [(Text, Text)]
forall (f :: * -> * -> *) a b.
Arbitrary2 f =>
(a -> [a]) -> (b -> [b]) -> f a b -> [f a b]
liftShrink2 Text -> [Text]
shrinkText Text -> [Text]
shrinkText
arbAttr :: Gen Attr
arbAttr :: Gen Attr
arbAttr = do
Text
id' <- [Text] -> Gen Text
forall a. [a] -> Gen a
elements ["","loc"]
[Text]
classes' <- [[Text]] -> Gen [Text]
forall a. [a] -> Gen a
elements [[],["haskell"],["c","numberLines"]]
[(Text, Text)]
keyvals <- [[(Text, Text)]] -> Gen [(Text, Text)]
forall a. [a] -> Gen a
elements [[],[("start","22")],[("a","11"),("b_2","a b c")]]
Attr -> Gen Attr
forall (m :: * -> *) a. Monad m => a -> m a
return (Text
id',[Text]
classes',[(Text, Text)]
keyvals)
shrinkAttr :: Attr -> [Attr]
shrinkAttr :: Attr -> [Attr]
shrinkAttr (a :: Text
a, b :: [Text]
b, c :: [(Text, Text)]
c)
= [ (Text
a', [Text]
b', [(Text, Text)]
c') | Text
a' <- Text -> [Text]
shrinkText Text
a,
[Text]
b' <- (Text -> [Text]) -> [Text] -> [[Text]]
forall (f :: * -> *) a. Arbitrary1 f => (a -> [a]) -> f a -> [f a]
liftShrink Text -> [Text]
shrinkText [Text]
b,
[(Text, Text)]
c' <- ((Text, Text) -> [(Text, Text)])
-> [(Text, Text)] -> [[(Text, Text)]]
forall (f :: * -> *) a. Arbitrary1 f => (a -> [a]) -> f a -> [f a]
liftShrink (Text, Text) -> [(Text, Text)]
shrinkText2 [(Text, Text)]
c ]
instance Arbitrary Inlines where
arbitrary :: Gen Inlines
arbitrary = ([Inline] -> Inlines
forall a. [a] -> Many a
fromList :: [Inline] -> Inlines) ([Inline] -> Inlines) -> Gen [Inline] -> Gen Inlines
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen [Inline]
forall a. Arbitrary a => Gen a
arbitrary
shrink :: Inlines -> [Inlines]
shrink = ([Inline] -> Inlines) -> [[Inline]] -> [Inlines]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap [Inline] -> Inlines
forall a. [a] -> Many a
fromList ([[Inline]] -> [Inlines])
-> (Inlines -> [[Inline]]) -> Inlines -> [Inlines]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([[Inline]] -> [[Inline]] -> [[Inline]]
forall a. [a] -> [a] -> [a]
(++) ([[Inline]] -> [[Inline]] -> [[Inline]])
-> ([Inline] -> [[Inline]]) -> [Inline] -> [[Inline]] -> [[Inline]]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
forall a. Arbitrary a => a -> [a]
shrink ([Inline] -> [[Inline]] -> [[Inline]])
-> ([Inline] -> [[Inline]]) -> [Inline] -> [[Inline]]
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> [Inline] -> [[Inline]]
flattenShrinkInlines) ([Inline] -> [[Inline]])
-> (Inlines -> [Inline]) -> Inlines -> [[Inline]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Inlines -> [Inline]
forall a. Many a -> [a]
toList
where flattenShrinkInlines :: [Inline] -> [[Inline]]
flattenShrinkInlines (x :: Inline
x:xs :: [Inline]
xs) =
let x' :: [Inline]
x' = Inline -> [Inline]
flattenInline Inline
x
in (if [Inline] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [Inline]
x' then [] else [[Inline]
x' [Inline] -> [Inline] -> [Inline]
forall a. [a] -> [a] -> [a]
++ [Inline]
xs]) [[Inline]] -> [[Inline]] -> [[Inline]]
forall a. [a] -> [a] -> [a]
++ [Inline
xInline -> [Inline] -> [Inline]
forall a. a -> [a] -> [a]
:[Inline]
xs' | [Inline]
xs' <- [Inline] -> [[Inline]]
flattenShrinkInlines [Inline]
xs]
flattenShrinkInlines [] = []
flattenInline :: Inline -> [Inline]
flattenInline :: Inline -> [Inline]
flattenInline (Str _) = []
flattenInline (Emph ils :: [Inline]
ils) = [Inline]
ils
flattenInline (Strong ils :: [Inline]
ils) = [Inline]
ils
flattenInline (Strikeout ils :: [Inline]
ils) = [Inline]
ils
flattenInline (Superscript ils :: [Inline]
ils) = [Inline]
ils
flattenInline (Subscript ils :: [Inline]
ils) = [Inline]
ils
flattenInline (SmallCaps ils :: [Inline]
ils) = [Inline]
ils
flattenInline (Quoted _ ils :: [Inline]
ils) = [Inline]
ils
flattenInline (Cite _ ils :: [Inline]
ils) = [Inline]
ils
flattenInline Code{} = []
flattenInline Space = []
flattenInline SoftBreak = []
flattenInline LineBreak = []
flattenInline Math{} = []
flattenInline RawInline{} = []
flattenInline (Link _ ils :: [Inline]
ils _) = [Inline]
ils
flattenInline (Image _ ils :: [Inline]
ils _) = [Inline]
ils
flattenInline Note{} = []
flattenInline (Span _ ils :: [Inline]
ils) = [Inline]
ils
instance Arbitrary Blocks where
arbitrary :: Gen Blocks
arbitrary = ([Block] -> Blocks
forall a. [a] -> Many a
fromList :: [Block] -> Blocks) ([Block] -> Blocks) -> Gen [Block] -> Gen Blocks
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen [Block]
forall a. Arbitrary a => Gen a
arbitrary
shrink :: Blocks -> [Blocks]
shrink = ([Block] -> Blocks) -> [[Block]] -> [Blocks]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap [Block] -> Blocks
forall a. [a] -> Many a
fromList ([[Block]] -> [Blocks])
-> (Blocks -> [[Block]]) -> Blocks -> [Blocks]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([[Block]] -> [[Block]] -> [[Block]]
forall a. [a] -> [a] -> [a]
(++) ([[Block]] -> [[Block]] -> [[Block]])
-> ([Block] -> [[Block]]) -> [Block] -> [[Block]] -> [[Block]]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Block] -> [[Block]]
forall a. Arbitrary a => a -> [a]
shrink ([Block] -> [[Block]] -> [[Block]])
-> ([Block] -> [[Block]]) -> [Block] -> [[Block]]
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> [Block] -> [[Block]]
flattenShrinkBlocks) ([Block] -> [[Block]])
-> (Blocks -> [Block]) -> Blocks -> [[Block]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Blocks -> [Block]
forall a. Many a -> [a]
toList
where flattenShrinkBlocks :: [Block] -> [[Block]]
flattenShrinkBlocks (x :: Block
x:xs :: [Block]
xs) =
let x' :: [Block]
x' = Block -> [Block]
flattenBlock Block
x
in (if [Block] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [Block]
x' then [] else [[Block]
x' [Block] -> [Block] -> [Block]
forall a. [a] -> [a] -> [a]
++ [Block]
xs]) [[Block]] -> [[Block]] -> [[Block]]
forall a. [a] -> [a] -> [a]
++ [Block
xBlock -> [Block] -> [Block]
forall a. a -> [a] -> [a]
:[Block]
xs' | [Block]
xs' <- [Block] -> [[Block]]
flattenShrinkBlocks [Block]
xs]
flattenShrinkBlocks [] = []
flattenBlock :: Block -> [Block]
flattenBlock :: Block -> [Block]
flattenBlock Plain{} = []
flattenBlock Para{} = []
flattenBlock (LineBlock lns :: [[Inline]]
lns) = [[Inline] -> Block
Para [Inline]
x | [Inline]
x <- [[Inline]]
lns]
flattenBlock CodeBlock{} = []
flattenBlock RawBlock{} = []
flattenBlock (BlockQuote blks :: [Block]
blks) = [Block]
blks
flattenBlock (OrderedList _ blksList :: [[Block]]
blksList) = [[Block]] -> [Block]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [[Block]]
blksList
flattenBlock (BulletList blksList :: [[Block]]
blksList) = [[Block]] -> [Block]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [[Block]]
blksList
flattenBlock (DefinitionList defs :: [([Inline], [[Block]])]
defs) = [[Block]] -> [Block]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [[Inline] -> Block
Para [Inline]
ilsBlock -> [Block] -> [Block]
forall a. a -> [a] -> [a]
:[[Block]] -> [Block]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [[Block]]
blks | (ils :: [Inline]
ils, blks :: [[Block]]
blks) <- [([Inline], [[Block]])]
defs]
flattenBlock (Header _ _ ils :: [Inline]
ils) = [[Inline] -> Block
Para [Inline]
ils]
flattenBlock HorizontalRule = []
flattenBlock (Table caption :: [Inline]
caption _ _ cells :: [[Block]]
cells rows :: [[[Block]]]
rows) = [Inline] -> Block
Para [Inline]
caption Block -> [Block] -> [Block]
forall a. a -> [a] -> [a]
: [[Block]] -> [Block]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat ([[[Block]]] -> [[Block]]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat ([[[Block]]] -> [[Block]]) -> [[[Block]]] -> [[Block]]
forall a b. (a -> b) -> a -> b
$ [[Block]]
cells[[Block]] -> [[[Block]]] -> [[[Block]]]
forall a. a -> [a] -> [a]
:[[[Block]]]
rows)
flattenBlock (Div _ blks :: [Block]
blks) = [Block]
blks
flattenBlock Null = []
shrinkInlineList :: [Inline] -> [[Inline]]
shrinkInlineList :: [Inline] -> [[Inline]]
shrinkInlineList = (Inlines -> [Inline]) -> [Inlines] -> [[Inline]]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Inlines -> [Inline]
forall a. Many a -> [a]
toList ([Inlines] -> [[Inline]])
-> ([Inline] -> [Inlines]) -> [Inline] -> [[Inline]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Inlines -> [Inlines]
forall a. Arbitrary a => a -> [a]
shrink (Inlines -> [Inlines])
-> ([Inline] -> Inlines) -> [Inline] -> [Inlines]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Inline] -> Inlines
forall a. [a] -> Many a
fromList
shrinkInlinesList :: [[Inline]] -> [[[Inline]]]
shrinkInlinesList :: [[Inline]] -> [[[Inline]]]
shrinkInlinesList = ([Inlines] -> [[Inline]]) -> [[Inlines]] -> [[[Inline]]]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Inlines -> [Inline]) -> [Inlines] -> [[Inline]]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Inlines -> [Inline]
forall a. Many a -> [a]
toList) ([[Inlines]] -> [[[Inline]]])
-> ([[Inline]] -> [[Inlines]]) -> [[Inline]] -> [[[Inline]]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Inlines] -> [[Inlines]]
forall a. Arbitrary a => a -> [a]
shrink ([Inlines] -> [[Inlines]])
-> ([[Inline]] -> [Inlines]) -> [[Inline]] -> [[Inlines]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([Inline] -> Inlines) -> [[Inline]] -> [Inlines]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap [Inline] -> Inlines
forall a. [a] -> Many a
fromList
shrinkBlockList :: [Block] -> [[Block]]
shrinkBlockList :: [Block] -> [[Block]]
shrinkBlockList = (Blocks -> [Block]) -> [Blocks] -> [[Block]]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Blocks -> [Block]
forall a. Many a -> [a]
toList ([Blocks] -> [[Block]])
-> ([Block] -> [Blocks]) -> [Block] -> [[Block]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Blocks -> [Blocks]
forall a. Arbitrary a => a -> [a]
shrink (Blocks -> [Blocks]) -> ([Block] -> Blocks) -> [Block] -> [Blocks]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Block] -> Blocks
forall a. [a] -> Many a
fromList
shrinkBlocksList :: [[Block]] -> [[[Block]]]
shrinkBlocksList :: [[Block]] -> [[[Block]]]
shrinkBlocksList = ([Blocks] -> [[Block]]) -> [[Blocks]] -> [[[Block]]]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Blocks -> [Block]) -> [Blocks] -> [[Block]]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Blocks -> [Block]
forall a. Many a -> [a]
toList) ([[Blocks]] -> [[[Block]]])
-> ([[Block]] -> [[Blocks]]) -> [[Block]] -> [[[Block]]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Blocks] -> [[Blocks]]
forall a. Arbitrary a => a -> [a]
shrink ([Blocks] -> [[Blocks]])
-> ([[Block]] -> [Blocks]) -> [[Block]] -> [[Blocks]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ([Block] -> Blocks) -> [[Block]] -> [Blocks]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap [Block] -> Blocks
forall a. [a] -> Many a
fromList
instance Arbitrary Inline where
arbitrary :: Gen Inline
arbitrary = Int -> Gen Inline -> Gen Inline
forall a. Int -> Gen a -> Gen a
resize 3 (Gen Inline -> Gen Inline) -> Gen Inline -> Gen Inline
forall a b. (a -> b) -> a -> b
$ Int -> Gen Inline
arbInline 2
shrink :: Inline -> [Inline]
shrink (Str s :: Text
s) = Text -> Inline
Str (Text -> Inline) -> [Text] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Text -> [Text]
shrinkText Text
s
shrink (Emph ils :: [Inline]
ils) = [Inline] -> Inline
Emph ([Inline] -> Inline) -> [[Inline]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils
shrink (Strong ils :: [Inline]
ils) = [Inline] -> Inline
Strong ([Inline] -> Inline) -> [[Inline]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils
shrink (Strikeout ils :: [Inline]
ils) = [Inline] -> Inline
Strikeout ([Inline] -> Inline) -> [[Inline]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils
shrink (Superscript ils :: [Inline]
ils) = [Inline] -> Inline
Superscript ([Inline] -> Inline) -> [[Inline]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils
shrink (Subscript ils :: [Inline]
ils) = [Inline] -> Inline
Subscript ([Inline] -> Inline) -> [[Inline]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils
shrink (SmallCaps ils :: [Inline]
ils) = [Inline] -> Inline
SmallCaps ([Inline] -> Inline) -> [[Inline]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils
shrink (Quoted qtype :: QuoteType
qtype ils :: [Inline]
ils) = QuoteType -> [Inline] -> Inline
Quoted QuoteType
qtype ([Inline] -> Inline) -> [[Inline]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils
shrink (Cite cits :: [Citation]
cits ils :: [Inline]
ils) = ([Citation] -> [Inline] -> Inline
Cite [Citation]
cits ([Inline] -> Inline) -> [[Inline]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils)
[Inline] -> [Inline] -> [Inline]
forall a. [a] -> [a] -> [a]
++ (([Citation] -> [Inline] -> Inline)
-> [Inline] -> [Citation] -> Inline
forall a b c. (a -> b -> c) -> b -> a -> c
flip [Citation] -> [Inline] -> Inline
Cite [Inline]
ils ([Citation] -> Inline) -> [[Citation]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Citation] -> [[Citation]]
forall a. Arbitrary a => a -> [a]
shrink [Citation]
cits)
shrink (Code attr :: Attr
attr s :: Text
s) = (Attr -> Text -> Inline
Code Attr
attr (Text -> Inline) -> [Text] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Text -> [Text]
shrinkText Text
s)
[Inline] -> [Inline] -> [Inline]
forall a. [a] -> [a] -> [a]
++ ((Attr -> Text -> Inline) -> Text -> Attr -> Inline
forall a b c. (a -> b -> c) -> b -> a -> c
flip Attr -> Text -> Inline
Code Text
s (Attr -> Inline) -> [Attr] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Attr -> [Attr]
shrinkAttr Attr
attr)
shrink Space = []
shrink SoftBreak = []
shrink LineBreak = []
shrink (Math mtype :: MathType
mtype s :: Text
s) = MathType -> Text -> Inline
Math MathType
mtype (Text -> Inline) -> [Text] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Text -> [Text]
shrinkText Text
s
shrink (RawInline fmt :: Format
fmt s :: Text
s) = Format -> Text -> Inline
RawInline Format
fmt (Text -> Inline) -> [Text] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Text -> [Text]
shrinkText Text
s
shrink (Link attr :: Attr
attr ils :: [Inline]
ils target :: (Text, Text)
target) = [Attr -> [Inline] -> (Text, Text) -> Inline
Link Attr
attr [Inline]
ils' (Text, Text)
target | [Inline]
ils' <- [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils]
[Inline] -> [Inline] -> [Inline]
forall a. [a] -> [a] -> [a]
++ [Attr -> [Inline] -> (Text, Text) -> Inline
Link Attr
attr [Inline]
ils (Text, Text)
target' | (Text, Text)
target' <- (Text, Text) -> [(Text, Text)]
shrinkText2 (Text, Text)
target]
[Inline] -> [Inline] -> [Inline]
forall a. [a] -> [a] -> [a]
++ [Attr -> [Inline] -> (Text, Text) -> Inline
Link Attr
attr' [Inline]
ils (Text, Text)
target | Attr
attr' <- Attr -> [Attr]
shrinkAttr Attr
attr]
shrink (Image attr :: Attr
attr ils :: [Inline]
ils target :: (Text, Text)
target) = [Attr -> [Inline] -> (Text, Text) -> Inline
Image Attr
attr [Inline]
ils' (Text, Text)
target | [Inline]
ils' <- [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils]
[Inline] -> [Inline] -> [Inline]
forall a. [a] -> [a] -> [a]
++ [Attr -> [Inline] -> (Text, Text) -> Inline
Image Attr
attr [Inline]
ils (Text, Text)
target' | (Text, Text)
target' <- (Text, Text) -> [(Text, Text)]
shrinkText2 (Text, Text)
target]
[Inline] -> [Inline] -> [Inline]
forall a. [a] -> [a] -> [a]
++ [Attr -> [Inline] -> (Text, Text) -> Inline
Image Attr
attr' [Inline]
ils (Text, Text)
target | Attr
attr' <- Attr -> [Attr]
shrinkAttr Attr
attr]
shrink (Note blks :: [Block]
blks) = [Block] -> Inline
Note ([Block] -> Inline) -> [[Block]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Block] -> [[Block]]
shrinkBlockList [Block]
blks
shrink (Span attr :: Attr
attr s :: [Inline]
s) = (Attr -> [Inline] -> Inline
Span Attr
attr ([Inline] -> Inline) -> [[Inline]] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
forall a. Arbitrary a => a -> [a]
shrink [Inline]
s)
[Inline] -> [Inline] -> [Inline]
forall a. [a] -> [a] -> [a]
++ ((Attr -> [Inline] -> Inline) -> [Inline] -> Attr -> Inline
forall a b c. (a -> b -> c) -> b -> a -> c
flip Attr -> [Inline] -> Inline
Span [Inline]
s (Attr -> Inline) -> [Attr] -> [Inline]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Attr -> [Attr]
shrinkAttr Attr
attr)
arbInlines :: Int -> Gen [Inline]
arbInlines :: Int -> Gen [Inline]
arbInlines n :: Int
n = Gen Inline -> Gen [Inline]
forall a. Gen a -> Gen [a]
listOf1 (Int -> Gen Inline
arbInline Int
n) Gen [Inline] -> ([Inline] -> Bool) -> Gen [Inline]
forall a. Gen a -> (a -> Bool) -> Gen a
`suchThat` (Bool -> Bool
not (Bool -> Bool) -> ([Inline] -> Bool) -> [Inline] -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Inline] -> Bool
startsWithSpace)
where startsWithSpace :: [Inline] -> Bool
startsWithSpace (Space:_) = Bool
True
startsWithSpace (SoftBreak:_) = Bool
True
startsWithSpace _ = Bool
False
arbInline :: Int -> Gen Inline
arbInline :: Int -> Gen Inline
arbInline n :: Int
n = [(Int, Gen Inline)] -> Gen Inline
forall a. [(Int, Gen a)] -> Gen a
frequency ([(Int, Gen Inline)] -> Gen Inline)
-> [(Int, Gen Inline)] -> Gen Inline
forall a b. (a -> b) -> a -> b
$ [ (60, Text -> Inline
Str (Text -> Inline) -> Gen Text -> Gen Inline
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Text
realString)
, (40, Inline -> Gen Inline
forall (f :: * -> *) a. Applicative f => a -> f a
pure Inline
Space)
, (10, Inline -> Gen Inline
forall (f :: * -> *) a. Applicative f => a -> f a
pure Inline
SoftBreak)
, (10, Inline -> Gen Inline
forall (f :: * -> *) a. Applicative f => a -> f a
pure Inline
LineBreak)
, (10, Attr -> Text -> Inline
Code (Attr -> Text -> Inline) -> Gen Attr -> Gen (Text -> Inline)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Attr
arbAttr Gen (Text -> Inline) -> Gen Text -> Gen Inline
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen Text
realString)
, (5, [Inline] -> Gen Inline
forall a. [a] -> Gen a
elements [ Format -> Text -> Inline
RawInline (Text -> Format
Format "html") "<a id=\"eek\">"
, Format -> Text -> Inline
RawInline (Text -> Format
Format "latex") "\\my{command}" ])
] [(Int, Gen Inline)] -> [(Int, Gen Inline)] -> [(Int, Gen Inline)]
forall a. [a] -> [a] -> [a]
++ [ (Int, Gen Inline)
x | Int
n Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> 1, (Int, Gen Inline)
x <- [(Int, Gen Inline)]
nesters]
where nesters :: [(Int, Gen Inline)]
nesters = [ (10, [Inline] -> Inline
Emph ([Inline] -> Inline) -> Gen [Inline] -> Gen Inline
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (10, [Inline] -> Inline
Strong ([Inline] -> Inline) -> Gen [Inline] -> Gen Inline
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (10, [Inline] -> Inline
Strikeout ([Inline] -> Inline) -> Gen [Inline] -> Gen Inline
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (10, [Inline] -> Inline
Superscript ([Inline] -> Inline) -> Gen [Inline] -> Gen Inline
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (10, [Inline] -> Inline
Subscript ([Inline] -> Inline) -> Gen [Inline] -> Gen Inline
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (10, [Inline] -> Inline
SmallCaps ([Inline] -> Inline) -> Gen [Inline] -> Gen Inline
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (10, Attr -> [Inline] -> Inline
Span (Attr -> [Inline] -> Inline)
-> Gen Attr -> Gen ([Inline] -> Inline)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Attr
arbAttr Gen ([Inline] -> Inline) -> Gen [Inline] -> Gen Inline
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (10, QuoteType -> [Inline] -> Inline
Quoted (QuoteType -> [Inline] -> Inline)
-> Gen QuoteType -> Gen ([Inline] -> Inline)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen QuoteType
forall a. Arbitrary a => Gen a
arbitrary Gen ([Inline] -> Inline) -> Gen [Inline] -> Gen Inline
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (10, MathType -> Text -> Inline
Math (MathType -> Text -> Inline)
-> Gen MathType -> Gen (Text -> Inline)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen MathType
forall a. Arbitrary a => Gen a
arbitrary Gen (Text -> Inline) -> Gen Text -> Gen Inline
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen Text
realString)
, (10, Attr -> [Inline] -> (Text, Text) -> Inline
Link (Attr -> [Inline] -> (Text, Text) -> Inline)
-> Gen Attr -> Gen ([Inline] -> (Text, Text) -> Inline)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Attr
arbAttr Gen ([Inline] -> (Text, Text) -> Inline)
-> Gen [Inline] -> Gen ((Text, Text) -> Inline)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1) Gen ((Text, Text) -> Inline) -> Gen (Text, Text) -> Gen Inline
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((,) (Text -> Text -> (Text, Text))
-> Gen Text -> Gen (Text -> (Text, Text))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Text
realString Gen (Text -> (Text, Text)) -> Gen Text -> Gen (Text, Text)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen Text
realString))
, (10, Attr -> [Inline] -> (Text, Text) -> Inline
Image (Attr -> [Inline] -> (Text, Text) -> Inline)
-> Gen Attr -> Gen ([Inline] -> (Text, Text) -> Inline)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Attr
arbAttr Gen ([Inline] -> (Text, Text) -> Inline)
-> Gen [Inline] -> Gen ((Text, Text) -> Inline)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1) Gen ((Text, Text) -> Inline) -> Gen (Text, Text) -> Gen Inline
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> ((,) (Text -> Text -> (Text, Text))
-> Gen Text -> Gen (Text -> (Text, Text))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Text
realString Gen (Text -> (Text, Text)) -> Gen Text -> Gen (Text, Text)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen Text
realString))
, (2, [Citation] -> [Inline] -> Inline
Cite ([Citation] -> [Inline] -> Inline)
-> Gen [Citation] -> Gen ([Inline] -> Inline)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen [Citation]
forall a. Arbitrary a => Gen a
arbitrary Gen ([Inline] -> Inline) -> Gen [Inline] -> Gen Inline
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [Inline]
arbInlines 1)
, (2, [Block] -> Inline
Note ([Block] -> Inline) -> Gen [Block] -> Gen Inline
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Block] -> Gen [Block]
forall a. Int -> Gen a -> Gen a
resize 3 (Gen Block -> Gen [Block]
forall a. Gen a -> Gen [a]
listOf1 (Gen Block -> Gen [Block]) -> Gen Block -> Gen [Block]
forall a b. (a -> b) -> a -> b
$ Int -> Gen Block
arbBlock (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1)))
]
instance Arbitrary Block where
arbitrary :: Gen Block
arbitrary = Int -> Gen Block -> Gen Block
forall a. Int -> Gen a -> Gen a
resize 3 (Gen Block -> Gen Block) -> Gen Block -> Gen Block
forall a b. (a -> b) -> a -> b
$ Int -> Gen Block
arbBlock 2
shrink :: Block -> [Block]
shrink (Plain ils :: [Inline]
ils) = [Inline] -> Block
Plain ([Inline] -> Block) -> [[Inline]] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils
shrink (Para ils :: [Inline]
ils) = [Inline] -> Block
Para ([Inline] -> Block) -> [[Inline]] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils
shrink (LineBlock lns :: [[Inline]]
lns) = [[Inline]] -> Block
LineBlock ([[Inline]] -> Block) -> [[[Inline]]] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [[Inline]] -> [[[Inline]]]
shrinkInlinesList [[Inline]]
lns
shrink (CodeBlock attr :: Attr
attr s :: Text
s) = (Attr -> Text -> Block
CodeBlock Attr
attr (Text -> Block) -> [Text] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Text -> [Text]
shrinkText Text
s)
[Block] -> [Block] -> [Block]
forall a. [a] -> [a] -> [a]
++ ((Attr -> Text -> Block) -> Text -> Attr -> Block
forall a b c. (a -> b -> c) -> b -> a -> c
flip Attr -> Text -> Block
CodeBlock Text
s (Attr -> Block) -> [Attr] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Attr -> [Attr]
shrinkAttr Attr
attr)
shrink (RawBlock fmt :: Format
fmt s :: Text
s) = Format -> Text -> Block
RawBlock Format
fmt (Text -> Block) -> [Text] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Text -> [Text]
shrinkText Text
s
shrink (BlockQuote blks :: [Block]
blks) = [Block] -> Block
BlockQuote ([Block] -> Block) -> [[Block]] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Block] -> [[Block]]
shrinkBlockList [Block]
blks
shrink (OrderedList listAttrs :: ListAttributes
listAttrs blksList :: [[Block]]
blksList) = ListAttributes -> [[Block]] -> Block
OrderedList ListAttributes
listAttrs ([[Block]] -> Block) -> [[[Block]]] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [[Block]] -> [[[Block]]]
shrinkBlocksList [[Block]]
blksList
shrink (BulletList blksList :: [[Block]]
blksList) = [[Block]] -> Block
BulletList ([[Block]] -> Block) -> [[[Block]]] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [[Block]] -> [[[Block]]]
shrinkBlocksList [[Block]]
blksList
shrink (DefinitionList defs :: [([Inline], [[Block]])]
defs) = [([Inline], [[Block]])] -> Block
DefinitionList ([([Inline], [[Block]])] -> Block)
-> [[([Inline], [[Block]])]] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [([Inline], [[Block]])] -> [[([Inline], [[Block]])]]
shrinkDefinitionList [([Inline], [[Block]])]
defs
where shrinkDefinition :: ([Inline], [[Block]]) -> [([Inline], [[Block]])]
shrinkDefinition (ils :: [Inline]
ils, blksList :: [[Block]]
blksList) = [([Inline]
ils', [[Block]]
blksList) | [Inline]
ils' <- [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils]
[([Inline], [[Block]])]
-> [([Inline], [[Block]])] -> [([Inline], [[Block]])]
forall a. [a] -> [a] -> [a]
++ [([Inline]
ils, [[Block]]
blksList') | [[Block]]
blksList' <- [[Block]] -> [[[Block]]]
shrinkBlocksList [[Block]]
blksList]
shrinkDefinitionList :: [([Inline], [[Block]])] -> [[([Inline], [[Block]])]]
shrinkDefinitionList (x :: ([Inline], [[Block]])
x:xs :: [([Inline], [[Block]])]
xs) = [[([Inline], [[Block]])]
xs]
[[([Inline], [[Block]])]]
-> [[([Inline], [[Block]])]] -> [[([Inline], [[Block]])]]
forall a. [a] -> [a] -> [a]
++ [([Inline], [[Block]])
x'([Inline], [[Block]])
-> [([Inline], [[Block]])] -> [([Inline], [[Block]])]
forall a. a -> [a] -> [a]
:[([Inline], [[Block]])]
xs | ([Inline], [[Block]])
x' <- ([Inline], [[Block]]) -> [([Inline], [[Block]])]
shrinkDefinition ([Inline], [[Block]])
x]
[[([Inline], [[Block]])]]
-> [[([Inline], [[Block]])]] -> [[([Inline], [[Block]])]]
forall a. [a] -> [a] -> [a]
++ [([Inline], [[Block]])
x([Inline], [[Block]])
-> [([Inline], [[Block]])] -> [([Inline], [[Block]])]
forall a. a -> [a] -> [a]
:[([Inline], [[Block]])]
xs' | [([Inline], [[Block]])]
xs' <- [([Inline], [[Block]])] -> [[([Inline], [[Block]])]]
shrinkDefinitionList [([Inline], [[Block]])]
xs]
shrinkDefinitionList [] = []
shrink (Header n :: Int
n attr :: Attr
attr ils :: [Inline]
ils) = (Int -> Attr -> [Inline] -> Block
Header Int
n Attr
attr ([Inline] -> Block) -> [[Inline]] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Inline] -> [[Inline]]
shrinkInlineList [Inline]
ils)
[Block] -> [Block] -> [Block]
forall a. [a] -> [a] -> [a]
++ ((Attr -> [Inline] -> Block) -> [Inline] -> Attr -> Block
forall a b c. (a -> b -> c) -> b -> a -> c
flip (Int -> Attr -> [Inline] -> Block
Header Int
n) [Inline]
ils (Attr -> Block) -> [Attr] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Attr -> [Attr]
shrinkAttr Attr
attr)
shrink HorizontalRule = []
shrink (Table caption :: [Inline]
caption aligns :: [Alignment]
aligns widths :: [Double]
widths cells :: [[Block]]
cells rows :: [[[Block]]]
rows) =
[[Inline]
-> [Alignment] -> [Double] -> [[Block]] -> [[[Block]]] -> Block
Table [Inline]
caption [Alignment]
aligns [Double]
widths [[Block]]
cells' [[[Block]]]
rows | [[Block]]
cells' <- [[Block]] -> [[[Block]]]
shrinkRow [[Block]]
cells] [Block] -> [Block] -> [Block]
forall a. [a] -> [a] -> [a]
++
[[Inline]
-> [Alignment] -> [Double] -> [[Block]] -> [[[Block]]] -> Block
Table [Inline]
caption [Alignment]
aligns [Double]
widths [[Block]]
cells [[[Block]]]
rows' | [[[Block]]]
rows' <- [[[Block]]] -> [[[[Block]]]]
shrinkRows [[[Block]]]
rows] [Block] -> [Block] -> [Block]
forall a. [a] -> [a] -> [a]
++
[[Inline]
-> [Alignment] -> [Double] -> [[Block]] -> [[[Block]]] -> Block
Table [Inline]
caption' [Alignment]
aligns [Double]
widths [[Block]]
cells [[[Block]]]
rows | [Inline]
caption' <- [Inline] -> [[Inline]]
shrinkInlineList [Inline]
caption]
where
shrinkRow :: [TableCell] -> [[TableCell]]
shrinkRow :: [[Block]] -> [[[Block]]]
shrinkRow (x :: [Block]
x:xs :: [[Block]]
xs) = [[Block]
x'[Block] -> [[Block]] -> [[Block]]
forall a. a -> [a] -> [a]
:[[Block]]
xs | [Block]
x' <- [Block] -> [[Block]]
shrinkBlockList [Block]
x]
[[[Block]]] -> [[[Block]]] -> [[[Block]]]
forall a. [a] -> [a] -> [a]
++ [[Block]
x[Block] -> [[Block]] -> [[Block]]
forall a. a -> [a] -> [a]
:[[Block]]
xs' | [[Block]]
xs' <- [[Block]] -> [[[Block]]]
shrinkRow [[Block]]
xs]
shrinkRow [] = []
shrinkRows :: [[TableCell]] -> [[[TableCell]]]
shrinkRows :: [[[Block]]] -> [[[[Block]]]]
shrinkRows (x :: [[Block]]
x:xs :: [[[Block]]]
xs) = [[[[Block]]]
xs]
[[[[Block]]]] -> [[[[Block]]]] -> [[[[Block]]]]
forall a. [a] -> [a] -> [a]
++ [[[Block]]
x'[[Block]] -> [[[Block]]] -> [[[Block]]]
forall a. a -> [a] -> [a]
:[[[Block]]]
xs | [[Block]]
x' <- [[Block]] -> [[[Block]]]
shrinkRow [[Block]]
x]
[[[[Block]]]] -> [[[[Block]]]] -> [[[[Block]]]]
forall a. [a] -> [a] -> [a]
++ [[[Block]]
x[[Block]] -> [[[Block]]] -> [[[Block]]]
forall a. a -> [a] -> [a]
:[[[Block]]]
xs' | [[[Block]]]
xs' <- [[[Block]]] -> [[[[Block]]]]
shrinkRows [[[Block]]]
xs]
shrinkRows [] = []
shrink (Div attr :: Attr
attr blks :: [Block]
blks) = (Attr -> [Block] -> Block
Div Attr
attr ([Block] -> Block) -> [[Block]] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Block] -> [[Block]]
shrinkBlockList [Block]
blks)
[Block] -> [Block] -> [Block]
forall a. [a] -> [a] -> [a]
++ ((Attr -> [Block] -> Block) -> [Block] -> Attr -> Block
forall a b c. (a -> b -> c) -> b -> a -> c
flip Attr -> [Block] -> Block
Div [Block]
blks (Attr -> Block) -> [Attr] -> [Block]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Attr -> [Attr]
shrinkAttr Attr
attr)
shrink Null = []
arbBlock :: Int -> Gen Block
arbBlock :: Int -> Gen Block
arbBlock n :: Int
n = [(Int, Gen Block)] -> Gen Block
forall a. [(Int, Gen a)] -> Gen a
frequency ([(Int, Gen Block)] -> Gen Block)
-> [(Int, Gen Block)] -> Gen Block
forall a b. (a -> b) -> a -> b
$ [ (10, [Inline] -> Block
Plain ([Inline] -> Block) -> Gen [Inline] -> Gen Block
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (15, [Inline] -> Block
Para ([Inline] -> Block) -> Gen [Inline] -> Gen Block
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (5, Attr -> Text -> Block
CodeBlock (Attr -> Text -> Block) -> Gen Attr -> Gen (Text -> Block)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Attr
arbAttr Gen (Text -> Block) -> Gen Text -> Gen Block
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen Text
realString)
, (3, [[Inline]] -> Block
LineBlock ([[Inline]] -> Block) -> Gen [[Inline]] -> Gen Block
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$>
((:) ([Inline] -> [[Inline]] -> [[Inline]])
-> Gen [Inline] -> Gen ([[Inline]] -> [[Inline]])
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$>
Int -> Gen [Inline]
arbInlines ((Int
n Int -> Int -> Int
forall a. Num a => a -> a -> a
- 1) Int -> Int -> Int
forall a. Integral a => a -> a -> a
`mod` 3) Gen ([[Inline]] -> [[Inline]]) -> Gen [[Inline]] -> Gen [[Inline]]
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*>
[Int] -> (Int -> Gen [Inline]) -> Gen [[Inline]]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
t a -> (a -> m b) -> m (t b)
forM [1..((Int
n Int -> Int -> Int
forall a. Num a => a -> a -> a
- 1) Int -> Int -> Int
forall a. Integral a => a -> a -> a
`div` 3)] (Gen [Inline] -> Int -> Gen [Inline]
forall a b. a -> b -> a
const (Int -> Gen [Inline]
arbInlines 3))))
, (2, [Block] -> Gen Block
forall a. [a] -> Gen a
elements [ Format -> Text -> Block
RawBlock (Text -> Format
Format "html")
"<div>\n*&*\n</div>"
, Format -> Text -> Block
RawBlock (Text -> Format
Format "latex")
"\\begin[opt]{env}\nhi\n{\\end{env}"
])
, (5, Int -> Attr -> [Inline] -> Block
Header (Int -> Attr -> [Inline] -> Block)
-> Gen Int -> Gen (Attr -> [Inline] -> Block)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Int, Int) -> Gen Int
forall a. Random a => (a, a) -> Gen a
choose (1 :: Int, 6)
Gen (Attr -> [Inline] -> Block)
-> Gen Attr -> Gen ([Inline] -> Block)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Attr -> Gen Attr
forall (f :: * -> *) a. Applicative f => a -> f a
pure Attr
nullAttr
Gen ([Inline] -> Block) -> Gen [Inline] -> Gen Block
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
, (2, Block -> Gen Block
forall (f :: * -> *) a. Applicative f => a -> f a
pure Block
HorizontalRule)
] [(Int, Gen Block)] -> [(Int, Gen Block)] -> [(Int, Gen Block)]
forall a. [a] -> [a] -> [a]
++ [(Int, Gen Block)
x | Int
n Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> 0, (Int, Gen Block)
x <- [(Int, Gen Block)]
nesters]
where nesters :: [(Int, Gen Block)]
nesters = [ (5, [Block] -> Block
BlockQuote ([Block] -> Block) -> Gen [Block] -> Gen Block
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Block -> Gen [Block]
forall a. Gen a -> Gen [a]
listOf1 (Int -> Gen Block
arbBlock (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1)))
, (5, ListAttributes -> [[Block]] -> Block
OrderedList (ListAttributes -> [[Block]] -> Block)
-> Gen ListAttributes -> Gen ([[Block]] -> Block)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ((,,) (Int -> ListNumberStyle -> ListNumberDelim -> ListAttributes)
-> Gen Int
-> Gen (ListNumberStyle -> ListNumberDelim -> ListAttributes)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Gen Int
forall a. Arbitrary a => Gen a
arbitrary Gen Int -> (Int -> Bool) -> Gen Int
forall a. Gen a -> (a -> Bool) -> Gen a
`suchThat` (Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> 0))
Gen (ListNumberStyle -> ListNumberDelim -> ListAttributes)
-> Gen ListNumberStyle -> Gen (ListNumberDelim -> ListAttributes)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen ListNumberStyle
forall a. Arbitrary a => Gen a
arbitrary
Gen (ListNumberDelim -> ListAttributes)
-> Gen ListNumberDelim -> Gen ListAttributes
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen ListNumberDelim
forall a. Arbitrary a => Gen a
arbitrary)
Gen ([[Block]] -> Block) -> Gen [[Block]] -> Gen Block
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen [Block] -> Gen [[Block]]
forall a. Gen a -> Gen [a]
listOf1 (Gen Block -> Gen [Block]
forall a. Gen a -> Gen [a]
listOf1 (Gen Block -> Gen [Block]) -> Gen Block -> Gen [Block]
forall a b. (a -> b) -> a -> b
$ Int -> Gen Block
arbBlock (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1)))
, (5, [[Block]] -> Block
BulletList ([[Block]] -> Block) -> Gen [[Block]] -> Gen Block
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen [Block] -> Gen [[Block]]
forall a. Gen a -> Gen [a]
listOf1 (Gen Block -> Gen [Block]
forall a. Gen a -> Gen [a]
listOf1 (Gen Block -> Gen [Block]) -> Gen Block -> Gen [Block]
forall a b. (a -> b) -> a -> b
$ Int -> Gen Block
arbBlock (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1)))
, (5, [([Inline], [[Block]])] -> Block
DefinitionList ([([Inline], [[Block]])] -> Block)
-> Gen [([Inline], [[Block]])] -> Gen Block
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen ([Inline], [[Block]]) -> Gen [([Inline], [[Block]])]
forall a. Gen a -> Gen [a]
listOf1 ((,) ([Inline] -> [[Block]] -> ([Inline], [[Block]]))
-> Gen [Inline] -> Gen ([[Block]] -> ([Inline], [[Block]]))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1)
Gen ([[Block]] -> ([Inline], [[Block]]))
-> Gen [[Block]] -> Gen ([Inline], [[Block]])
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen [Block] -> Gen [[Block]]
forall a. Gen a -> Gen [a]
listOf1 (Gen Block -> Gen [Block]
forall a. Gen a -> Gen [a]
listOf1 (Gen Block -> Gen [Block]) -> Gen Block -> Gen [Block]
forall a b. (a -> b) -> a -> b
$ Int -> Gen Block
arbBlock (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))))
, (5, Attr -> [Block] -> Block
Div (Attr -> [Block] -> Block) -> Gen Attr -> Gen ([Block] -> Block)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Attr
arbAttr Gen ([Block] -> Block) -> Gen [Block] -> Gen Block
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen Block -> Gen [Block]
forall a. Gen a -> Gen [a]
listOf1 (Int -> Gen Block
arbBlock (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1)))
, (2, do Int
rs <- (Int, Int) -> Gen Int
forall a. Random a => (a, a) -> Gen a
choose (1 :: Int, 4)
Int
cs <- (Int, Int) -> Gen Int
forall a. Random a => (a, a) -> Gen a
choose (1 :: Int, 4)
[Inline]
-> [Alignment] -> [Double] -> [[Block]] -> [[[Block]]] -> Block
Table ([Inline]
-> [Alignment] -> [Double] -> [[Block]] -> [[[Block]]] -> Block)
-> Gen [Inline]
-> Gen
([Alignment] -> [Double] -> [[Block]] -> [[[Block]]] -> Block)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Int -> Gen [Inline]
arbInlines (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1)
Gen ([Alignment] -> [Double] -> [[Block]] -> [[[Block]]] -> Block)
-> Gen [Alignment]
-> Gen ([Double] -> [[Block]] -> [[[Block]]] -> Block)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [Alignment]
forall a. Arbitrary a => Int -> Gen [a]
vector Int
cs
Gen ([Double] -> [[Block]] -> [[[Block]]] -> Block)
-> Gen [Double] -> Gen ([[Block]] -> [[[Block]]] -> Block)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen Double -> Gen [Double]
forall a. Int -> Gen a -> Gen [a]
vectorOf Int
cs ([Double] -> Gen Double
forall a. [a] -> Gen a
elements [0, 0.25])
Gen ([[Block]] -> [[[Block]]] -> Block)
-> Gen [[Block]] -> Gen ([[[Block]]] -> Block)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [Block] -> Gen [[Block]]
forall a. Int -> Gen a -> Gen [a]
vectorOf Int
cs (Gen Block -> Gen [Block]
forall a. Gen a -> Gen [a]
listOf (Gen Block -> Gen [Block]) -> Gen Block -> Gen [Block]
forall a b. (a -> b) -> a -> b
$ Int -> Gen Block
arbBlock (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1))
Gen ([[[Block]]] -> Block) -> Gen [[[Block]]] -> Gen Block
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [[Block]] -> Gen [[[Block]]]
forall a. Int -> Gen a -> Gen [a]
vectorOf Int
rs (Int -> Gen [Block] -> Gen [[Block]]
forall a. Int -> Gen a -> Gen [a]
vectorOf Int
cs (Gen [Block] -> Gen [[Block]]) -> Gen [Block] -> Gen [[Block]]
forall a b. (a -> b) -> a -> b
$ Gen Block -> Gen [Block]
forall a. Gen a -> Gen [a]
listOf (Gen Block -> Gen [Block]) -> Gen Block -> Gen [Block]
forall a b. (a -> b) -> a -> b
$ Int -> Gen Block
arbBlock (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-1)))
]
instance Arbitrary Pandoc where
arbitrary :: Gen Pandoc
arbitrary = Int -> Gen Pandoc -> Gen Pandoc
forall a. Int -> Gen a -> Gen a
resize 8 (Meta -> [Block] -> Pandoc
Pandoc (Meta -> [Block] -> Pandoc) -> Gen Meta -> Gen ([Block] -> Pandoc)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Meta
forall a. Arbitrary a => Gen a
arbitrary Gen ([Block] -> Pandoc) -> Gen [Block] -> Gen Pandoc
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen [Block]
forall a. Arbitrary a => Gen a
arbitrary)
instance Arbitrary CitationMode where
arbitrary :: Gen CitationMode
arbitrary
= do Int
x <- (Int, Int) -> Gen Int
forall a. Random a => (a, a) -> Gen a
choose (0 :: Int, 2)
case Int
x of
0 -> CitationMode -> Gen CitationMode
forall (m :: * -> *) a. Monad m => a -> m a
return CitationMode
AuthorInText
1 -> CitationMode -> Gen CitationMode
forall (m :: * -> *) a. Monad m => a -> m a
return CitationMode
SuppressAuthor
2 -> CitationMode -> Gen CitationMode
forall (m :: * -> *) a. Monad m => a -> m a
return CitationMode
NormalCitation
_ -> String -> Gen CitationMode
forall a. HasCallStack => String -> a
error "FATAL ERROR: Arbitrary instance, logic bug"
instance Arbitrary Citation where
arbitrary :: Gen Citation
arbitrary
= Text
-> [Inline] -> [Inline] -> CitationMode -> Int -> Int -> Citation
Citation (Text
-> [Inline] -> [Inline] -> CitationMode -> Int -> Int -> Citation)
-> Gen Text
-> Gen
([Inline] -> [Inline] -> CitationMode -> Int -> Int -> Citation)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (String -> Text) -> Gen String -> Gen Text
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap String -> Text
T.pack (Gen Char -> Gen String
forall a. Gen a -> Gen [a]
listOf (Gen Char -> Gen String) -> Gen Char -> Gen String
forall a b. (a -> b) -> a -> b
$ String -> Gen Char
forall a. [a] -> Gen a
elements (String -> Gen Char) -> String -> Gen Char
forall a b. (a -> b) -> a -> b
$ ['a'..'z'] String -> String -> String
forall a. [a] -> [a] -> [a]
++ ['0'..'9'] String -> String -> String
forall a. [a] -> [a] -> [a]
++ ['_'])
Gen
([Inline] -> [Inline] -> CitationMode -> Int -> Int -> Citation)
-> Gen [Inline]
-> Gen ([Inline] -> CitationMode -> Int -> Int -> Citation)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [Inline]
arbInlines 1
Gen ([Inline] -> CitationMode -> Int -> Int -> Citation)
-> Gen [Inline] -> Gen (CitationMode -> Int -> Int -> Citation)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Int -> Gen [Inline]
arbInlines 1
Gen (CitationMode -> Int -> Int -> Citation)
-> Gen CitationMode -> Gen (Int -> Int -> Citation)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen CitationMode
forall a. Arbitrary a => Gen a
arbitrary
Gen (Int -> Int -> Citation) -> Gen Int -> Gen (Int -> Citation)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen Int
forall a. Arbitrary a => Gen a
arbitrary
Gen (Int -> Citation) -> Gen Int -> Gen Citation
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Gen Int
forall a. Arbitrary a => Gen a
arbitrary
instance Arbitrary MathType where
arbitrary :: Gen MathType
arbitrary
= do Int
x <- (Int, Int) -> Gen Int
forall a. Random a => (a, a) -> Gen a
choose (0 :: Int, 1)
case Int
x of
0 -> MathType -> Gen MathType
forall (m :: * -> *) a. Monad m => a -> m a
return MathType
DisplayMath
1 -> MathType -> Gen MathType
forall (m :: * -> *) a. Monad m => a -> m a
return MathType
InlineMath
_ -> String -> Gen MathType
forall a. HasCallStack => String -> a
error "FATAL ERROR: Arbitrary instance, logic bug"
instance Arbitrary QuoteType where
arbitrary :: Gen QuoteType
arbitrary
= do Int
x <- (Int, Int) -> Gen Int
forall a. Random a => (a, a) -> Gen a
choose (0 :: Int, 1)
case Int
x of
0 -> QuoteType -> Gen QuoteType
forall (m :: * -> *) a. Monad m => a -> m a
return QuoteType
SingleQuote
1 -> QuoteType -> Gen QuoteType
forall (m :: * -> *) a. Monad m => a -> m a
return QuoteType
DoubleQuote
_ -> String -> Gen QuoteType
forall a. HasCallStack => String -> a
error "FATAL ERROR: Arbitrary instance, logic bug"
instance Arbitrary Meta where
arbitrary :: Gen Meta
arbitrary
= do (Inlines
x1 :: Inlines) <- Gen Inlines
forall a. Arbitrary a => Gen a
arbitrary
([Inlines]
x2 :: [Inlines]) <- (Inlines -> Bool) -> [Inlines] -> [Inlines]
forall a. (a -> Bool) -> [a] -> [a]
filter (Bool -> Bool
not (Bool -> Bool) -> (Inlines -> Bool) -> Inlines -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Inlines -> Bool
forall a. Many a -> Bool
isNull) ([Inlines] -> [Inlines]) -> Gen [Inlines] -> Gen [Inlines]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen [Inlines]
forall a. Arbitrary a => Gen a
arbitrary
(Inlines
x3 :: Inlines) <- Gen Inlines
forall a. Arbitrary a => Gen a
arbitrary
Meta -> Gen Meta
forall (m :: * -> *) a. Monad m => a -> m a
return (Meta -> Gen Meta) -> Meta -> Gen Meta
forall a b. (a -> b) -> a -> b
$ Text -> Inlines -> Meta -> Meta
forall a b. (HasMeta a, ToMetaValue b) => Text -> b -> a -> a
setMeta "title" Inlines
x1
(Meta -> Meta) -> Meta -> Meta
forall a b. (a -> b) -> a -> b
$ Text -> [Inlines] -> Meta -> Meta
forall a b. (HasMeta a, ToMetaValue b) => Text -> b -> a -> a
setMeta "author" [Inlines]
x2
(Meta -> Meta) -> Meta -> Meta
forall a b. (a -> b) -> a -> b
$ Text -> Inlines -> Meta -> Meta
forall a b. (HasMeta a, ToMetaValue b) => Text -> b -> a -> a
setMeta "date" Inlines
x3
Meta
nullMeta
instance Arbitrary Alignment where
arbitrary :: Gen Alignment
arbitrary
= do Int
x <- (Int, Int) -> Gen Int
forall a. Random a => (a, a) -> Gen a
choose (0 :: Int, 3)
case Int
x of
0 -> Alignment -> Gen Alignment
forall (m :: * -> *) a. Monad m => a -> m a
return Alignment
AlignLeft
1 -> Alignment -> Gen Alignment
forall (m :: * -> *) a. Monad m => a -> m a
return Alignment
AlignRight
2 -> Alignment -> Gen Alignment
forall (m :: * -> *) a. Monad m => a -> m a
return Alignment
AlignCenter
3 -> Alignment -> Gen Alignment
forall (m :: * -> *) a. Monad m => a -> m a
return Alignment
AlignDefault
_ -> String -> Gen Alignment
forall a. HasCallStack => String -> a
error "FATAL ERROR: Arbitrary instance, logic bug"
instance Arbitrary ListNumberStyle where
arbitrary :: Gen ListNumberStyle
arbitrary
= do Int
x <- (Int, Int) -> Gen Int
forall a. Random a => (a, a) -> Gen a
choose (0 :: Int, 6)
case Int
x of
0 -> ListNumberStyle -> Gen ListNumberStyle
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberStyle
DefaultStyle
1 -> ListNumberStyle -> Gen ListNumberStyle
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberStyle
Example
2 -> ListNumberStyle -> Gen ListNumberStyle
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberStyle
Decimal
3 -> ListNumberStyle -> Gen ListNumberStyle
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberStyle
LowerRoman
4 -> ListNumberStyle -> Gen ListNumberStyle
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberStyle
UpperRoman
5 -> ListNumberStyle -> Gen ListNumberStyle
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberStyle
LowerAlpha
6 -> ListNumberStyle -> Gen ListNumberStyle
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberStyle
UpperAlpha
_ -> String -> Gen ListNumberStyle
forall a. HasCallStack => String -> a
error "FATAL ERROR: Arbitrary instance, logic bug"
instance Arbitrary ListNumberDelim where
arbitrary :: Gen ListNumberDelim
arbitrary
= do Int
x <- (Int, Int) -> Gen Int
forall a. Random a => (a, a) -> Gen a
choose (0 :: Int, 3)
case Int
x of
0 -> ListNumberDelim -> Gen ListNumberDelim
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberDelim
DefaultDelim
1 -> ListNumberDelim -> Gen ListNumberDelim
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberDelim
Period
2 -> ListNumberDelim -> Gen ListNumberDelim
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberDelim
OneParen
3 -> ListNumberDelim -> Gen ListNumberDelim
forall (m :: * -> *) a. Monad m => a -> m a
return ListNumberDelim
TwoParens
_ -> String -> Gen ListNumberDelim
forall a. HasCallStack => String -> a
error "FATAL ERROR: Arbitrary instance, logic bug"