[{"display_html":"class FunctorB (b :: (k -> Type) -> Type) where","name":"FunctorB bmap $dmbmap","module":"Hedgehog.Internal.Barbie","link":"Hedgehog-Internal-Barbie.html#t:FunctorB"},{"display_html":"class FunctorB b => TraversableB (b :: (k -> Type) -> Type) where","name":"TraversableB btraverse $dmbtraverse","module":"Hedgehog.Internal.Barbie","link":"Hedgehog-Internal-Barbie.html#t:TraversableB"},{"display_html":"newtype Rec p a (x :: k) = Rec {}","name":"Rec Rec unRec","module":"Hedgehog.Internal.Barbie","link":"Hedgehog-Internal-Barbie.html#t:Rec"},{"display_html":"class MonadTransDistributive (g :: (Type -> Type) -> Type -> Type) where","name":"MonadTransDistributive distributeT Transformer","module":"Hedgehog.Internal.Distributive","link":"Hedgehog-Internal-Distributive.html#t:MonadTransDistributive"},{"display_html":"tryAll :: MonadCatch m => m a -> m (Either SomeException a)","name":"tryAll","module":"Hedgehog.Internal.Exception","link":"Hedgehog-Internal-Exception.html#v:tryAll"},{"display_html":"tryEvaluate :: a -> Either SomeException a","name":"tryEvaluate","module":"Hedgehog.Internal.Exception","link":"Hedgehog-Internal-Exception.html#v:tryEvaluate"},{"display_html":"class HTraversable (t :: (Type -> Type) -> Type) where","name":"HTraversable htraverse","module":"Hedgehog.Internal.HTraversable","link":"Hedgehog-Internal-HTraversable.html#t:HTraversable"},{"display_html":"newtype Opaque a = Opaque {}","name":"Opaque Opaque unOpaque","module":"Hedgehog.Internal.Opaque","link":"Hedgehog-Internal-Opaque.html#t:Opaque"},{"display_html":"class Semigroup a where","name":"Semigroup <> sconcat stimes $dm<> $dmsconcat $dmstimes","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Semigroup"},{"display_html":"class Monad m => MonadFail (m :: Type -> Type)","name":"MonadFail","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:MonadFail"},{"display_html":"type String = [Char]","name":"String","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:String"},{"display_html":"data Maybe a","name":"Maybe Nothing Just","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Maybe"},{"display_html":"data Bool","name":"Bool False True","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Bool"},{"display_html":"data Char","name":"Char","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Char"},{"display_html":"data Double","name":"Double","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Double"},{"display_html":"data Float","name":"Float","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Float"},{"display_html":"data Int","name":"Int","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Int"},{"display_html":"data Word","name":"Word","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Word"},{"display_html":"data Ordering","name":"Ordering LT EQ GT","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Ordering"},{"display_html":"class a ~# b => (a :: k) ~ (b :: k)","name":"~","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:-126-"},{"display_html":"data Integer","name":"Integer","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Integer"},{"display_html":"($) :: (a -> b) -> a -> b","name":"$","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:-36-"},{"display_html":"otherwise :: Bool","name":"otherwise","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:otherwise"},{"display_html":"(++) :: [a] -> [a] -> [a]","name":"++","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:-43--43-"},{"display_html":"class Foldable (t :: Type -> Type) where","name":"Foldable foldr foldl length foldl1 foldMap null sum product foldr1 maximum minimum elem $dmfoldr $dmfoldl $dmlength $dmfoldl1 $dmfoldMap $dmnull $dmsum $dmproduct $dmfoldr1 $dmmaximum $dmminimum $dmelem","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Foldable"},{"display_html":"class Applicative m => Monad (m :: Type -> Type) where","name":"Monad return >> >>= $dmreturn $dm>>","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Monad"},{"display_html":"class Functor (f :: Type -> Type) where","name":"Functor fmap <$ $dm<$","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Functor"},{"display_html":"class Functor f => Applicative (f :: Type -> Type) where","name":"Applicative *> <*> pure liftA2 <* $dm*> $dm<*> $dmliftA2 $dm<*","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Applicative"},{"display_html":"class Semigroup a => Monoid a where","name":"Monoid mconcat mappend mempty $dmmconcat $dmmappend $dmmempty","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Monoid"},{"display_html":"class Semigroup a where","name":"Semigroup <> $dm<>","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Semigroup"},{"display_html":"data IO a","name":"IO","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:IO"},{"display_html":"class (Functor t, Foldable t) => Traversable (t :: Type -> Type) where","name":"Traversable traverse mapM sequenceA sequence $dmtraverse $dmmapM $dmsequenceA $dmsequence","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Traversable"},{"display_html":"mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()","name":"mapM_","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:mapM_"},{"display_html":"(=<<) :: Monad m => (a -> m b) -> m a -> m b","name":"=<<","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:-61--60--60-"},{"display_html":"zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]","name":"zipWith","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:zipWith"},{"display_html":"zipWith3 :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]","name":"zipWith3","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:zipWith3"},{"display_html":"class Show a where","name":"Show show showsPrec showList $dmshow $dmshowsPrec $dmshowList","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Show"},{"display_html":"id :: a -> a","name":"id","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:id"},{"display_html":"unzip :: [(a, b)] -> ([a], [b])","name":"unzip","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:unzip"},{"display_html":"zip :: [a] -> [b] -> [(a, b)]","name":"zip","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:zip"},{"display_html":"data Either a b","name":"Either Right Left","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Either"},{"display_html":"concat :: Foldable t => t [a] -> [a]","name":"concat","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:concat"},{"display_html":"error :: HasCallStack => [Char] -> a","name":"error","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:error"},{"display_html":"even :: Integral a => a -> Bool","name":"even","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:even"},{"display_html":"(<$>) :: Functor f => (a -> b) -> f a -> f b","name":"<$>","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:-60--36--62-"},{"display_html":"class Enum a where","name":"Enum fromEnum toEnum enumFrom enumFromThen enumFromTo enumFromThenTo succ pred $dmenumFrom $dmenumFromThen $dmenumFromTo $dmenumFromThenTo $dmsucc $dmpred","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Enum"},{"display_html":"class (Real a, Enum a) => Integral a where","name":"Integral toInteger quot rem div mod quotRem divMod $dmquot $dmrem $dmdiv $dmmod $dmdivMod","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Integral"},{"display_html":"type Rational = Ratio Integer","name":"Rational","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Rational"},{"display_html":"repeat :: a -> [a]","name":"repeat","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:repeat"},{"display_html":"cycle :: HasCallStack => [a] -> [a]","name":"cycle","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:cycle"},{"display_html":"class Read a where","name":"Read readsPrec readList $dmreadsPrec $dmreadList","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Read"},{"display_html":"uncurry :: (a -> b -> c) -> (a, b) -> c","name":"uncurry","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:uncurry"},{"display_html":"head :: HasCallStack => [a] -> a","name":"head","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:head"},{"display_html":"type IOError = IOException","name":"IOError","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:IOError"},{"display_html":"writeFile :: FilePath -> String -> IO ()","name":"writeFile","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:writeFile"},{"display_html":"getLine :: IO String","name":"getLine","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:getLine"},{"display_html":"putStrLn :: String -> IO ()","name":"putStrLn","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:putStrLn"},{"display_html":"sequence_ :: (Foldable t, Monad m) => t (m a) -> m ()","name":"sequence_","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:sequence_"},{"display_html":"const :: a -> b -> a","name":"const","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:const"},{"display_html":"seq :: a -> b -> b","name":"seq","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:seq"},{"display_html":"class Num a where","name":"Num fromInteger - negate + * abs signum $dm- $dmnegate","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Num"},{"display_html":"class Num a => Fractional a where","name":"Fractional fromRational / recip $dm/ $dmrecip","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Fractional"},{"display_html":"class Eq a where","name":"Eq == /= $dm== $dm/=","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Eq"},{"display_html":"class Eq a => Ord a where","name":"Ord >= compare < <= > max min $dm>= $dmcompare $dm< $dm<= $dm> $dmmax $dmmin","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Ord"},{"display_html":"class Monad m => MonadFail (m :: Type -> Type) where","name":"MonadFail fail","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:MonadFail"},{"display_html":"fromIntegral :: (Integral a, Num b) => a -> b","name":"fromIntegral","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:fromIntegral"},{"display_html":"realToFrac :: (Real a, Fractional b) => a -> b","name":"realToFrac","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:realToFrac"},{"display_html":"class (Num a, Ord a) => Real a where","name":"Real toRational","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Real"},{"display_html":"class Bounded a where","name":"Bounded minBound maxBound","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Bounded"},{"display_html":"class Fractional a => Floating a where","name":"Floating pi exp log sqrt ** logBase sin cos tan asin acos atan sinh cosh tanh asinh acosh atanh $dmsqrt $dm** $dmlogBase $dmtan $dmtanh","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:Floating"},{"display_html":"class (RealFrac a, Floating a) => RealFloat a where","name":"RealFloat floatRadix floatDigits floatRange decodeFloat encodeFloat exponent significand scaleFloat isNaN isInfinite isDenormalized isNegativeZero isIEEE atan2 $dmexponent $dmsignificand $dmscaleFloat $dmatan2","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:RealFloat"},{"display_html":"class (Real a, Fractional a) => RealFrac a where","name":"RealFrac properFraction truncate round ceiling floor $dmtruncate $dmround $dmceiling $dmfloor","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:RealFrac"},{"display_html":"(^) :: (Num a, Integral b) => a -> b -> a","name":"^","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:-94-"},{"display_html":"(&&) :: Bool -> Bool -> Bool","name":"&&","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:-38--38-"},{"display_html":"(||) :: Bool -> Bool -> Bool","name":"||","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:-124--124-"},{"display_html":"not :: Bool -> Bool","name":"not","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:not"},{"display_html":"errorWithoutStackTrace :: [Char] -> a","name":"errorWithoutStackTrace","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:errorWithoutStackTrace"},{"display_html":"undefined :: HasCallStack => a","name":"undefined","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:undefined"},{"display_html":"(.) :: (b -> c) -> (a -> b) -> a -> c","name":".","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:."},{"display_html":"flip :: (a -> b -> c) -> b -> a -> c","name":"flip","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:flip"},{"display_html":"($!) :: (a -> b) -> a -> b","name":"$!","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:-36--33-"},{"display_html":"until :: (a -> Bool) -> (a -> a) -> a -> a","name":"until","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:until"},{"display_html":"asTypeOf :: a -> a -> a","name":"asTypeOf","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:asTypeOf"},{"display_html":"subtract :: Num a => a -> a -> a","name":"subtract","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:subtract"},{"display_html":"maybe :: b -> (a -> b) -> Maybe a -> b","name":"maybe","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:maybe"},{"display_html":"tail :: HasCallStack => [a] -> [a]","name":"tail","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:tail"},{"display_html":"last :: HasCallStack => [a] -> a","name":"last","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:last"},{"display_html":"init :: HasCallStack => [a] -> [a]","name":"init","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:init"},{"display_html":"scanl :: (b -> a -> b) -> b -> [a] -> [b]","name":"scanl","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:scanl"},{"display_html":"scanl1 :: (a -> a -> a) -> [a] -> [a]","name":"scanl1","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:scanl1"},{"display_html":"scanr :: (a -> b -> b) -> b -> [a] -> [b]","name":"scanr","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:scanr"},{"display_html":"scanr1 :: (a -> a -> a) -> [a] -> [a]","name":"scanr1","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:scanr1"},{"display_html":"iterate :: (a -> a) -> a -> [a]","name":"iterate","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:iterate"},{"display_html":"replicate :: Int -> a -> [a]","name":"replicate","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:replicate"},{"display_html":"takeWhile :: (a -> Bool) -> [a] -> [a]","name":"takeWhile","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:takeWhile"},{"display_html":"dropWhile :: (a -> Bool) -> [a] -> [a]","name":"dropWhile","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:dropWhile"},{"display_html":"take :: Int -> [a] -> [a]","name":"take","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:take"},{"display_html":"drop :: Int -> [a] -> [a]","name":"drop","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:drop"},{"display_html":"splitAt :: Int -> [a] -> ([a], [a])","name":"splitAt","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:splitAt"},{"display_html":"span :: (a -> Bool) -> [a] -> ([a], [a])","name":"span","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:span"},{"display_html":"break :: (a -> Bool) -> [a] -> ([a], [a])","name":"break","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:break"},{"display_html":"reverse :: [a] -> [a]","name":"reverse","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:reverse"},{"display_html":"and :: Foldable t => t Bool -> Bool","name":"and","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:and"},{"display_html":"or :: Foldable t => t Bool -> Bool","name":"or","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:or"},{"display_html":"any :: Foldable t => (a -> Bool) -> t a -> Bool","name":"any","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:any"},{"display_html":"all :: Foldable t => (a -> Bool) -> t a -> Bool","name":"all","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:all"},{"display_html":"notElem :: (Foldable t, Eq a) => a -> t a -> Bool","name":"notElem","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:notElem"},{"display_html":"lookup :: Eq a => a -> [(a, b)] -> Maybe b","name":"lookup","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:lookup"},{"display_html":"concatMap :: Foldable t => (a -> [b]) -> t a -> [b]","name":"concatMap","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:concatMap"},{"display_html":"(!!) :: HasCallStack => [a] -> Int -> a","name":"!!","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:-33--33-"},{"display_html":"zip3 :: [a] -> [b] -> [c] -> [(a, b, c)]","name":"zip3","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:zip3"},{"display_html":"unzip3 :: [(a, b, c)] -> ([a], [b], [c])","name":"unzip3","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:unzip3"},{"display_html":"type ShowS = String -> String","name":"ShowS","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:ShowS"},{"display_html":"shows :: Show a => a -> ShowS","name":"shows","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:shows"},{"display_html":"showChar :: Char -> ShowS","name":"showChar","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:showChar"},{"display_html":"showString :: String -> ShowS","name":"showString","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:showString"},{"display_html":"showParen :: Bool -> ShowS -> ShowS","name":"showParen","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:showParen"},{"display_html":"odd :: Integral a => a -> Bool","name":"odd","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:odd"},{"display_html":"(^^) :: (Fractional a, Integral b) => a -> b -> a","name":"^^","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:-94--94-"},{"display_html":"gcd :: Integral a => a -> a -> a","name":"gcd","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:gcd"},{"display_html":"lcm :: Integral a => a -> a -> a","name":"lcm","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:lcm"},{"display_html":"fst :: (a, b) -> a","name":"fst","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:fst"},{"display_html":"snd :: (a, b) -> b","name":"snd","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:snd"},{"display_html":"curry :: ((a, b) -> c) -> a -> b -> c","name":"curry","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:curry"},{"display_html":"type ReadS a = String -> [(a, String)]","name":"ReadS","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:ReadS"},{"display_html":"lex :: ReadS String","name":"lex","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:lex"},{"display_html":"readParen :: Bool -> ReadS a -> ReadS a","name":"readParen","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:readParen"},{"display_html":"either :: (a -> c) -> (b -> c) -> Either a b -> c","name":"either","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:either"},{"display_html":"reads :: Read a => ReadS a","name":"reads","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:reads"},{"display_html":"read :: Read a => String -> a","name":"read","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:read"},{"display_html":"lines :: String -> [String]","name":"lines","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:lines"},{"display_html":"unlines :: [String] -> String","name":"unlines","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:unlines"},{"display_html":"words :: String -> [String]","name":"words","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:words"},{"display_html":"unwords :: [String] -> String","name":"unwords","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:unwords"},{"display_html":"userError :: String -> IOError","name":"userError","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:userError"},{"display_html":"type FilePath = String","name":"FilePath","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#t:FilePath"},{"display_html":"ioError :: IOError -> IO a","name":"ioError","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:ioError"},{"display_html":"putChar :: Char -> IO ()","name":"putChar","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:putChar"},{"display_html":"putStr :: String -> IO ()","name":"putStr","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:putStr"},{"display_html":"getChar :: IO Char","name":"getChar","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:getChar"},{"display_html":"getContents :: IO String","name":"getContents","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:getContents"},{"display_html":"interact :: (String -> String) -> IO ()","name":"interact","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:interact"},{"display_html":"readFile :: FilePath -> IO String","name":"readFile","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:readFile"},{"display_html":"appendFile :: FilePath -> String -> IO ()","name":"appendFile","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:appendFile"},{"display_html":"readLn :: Read a => IO a","name":"readLn","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:readLn"},{"display_html":"readIO :: Read a => String -> IO a","name":"readIO","module":"Hedgehog.Internal.Prelude","link":"Hedgehog-Internal-Prelude.html#v:readIO"},{"display_html":"newtype Size = Size {}","name":"Size Size unSize","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#t:Size"},{"display_html":"data Range a = Range !a (Size -> (a, a))","name":"Range Range","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#t:Range"},{"display_html":"origin :: Range a -> a","name":"origin","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:origin"},{"display_html":"bounds :: Size -> Range a -> (a, a)","name":"bounds","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:bounds"},{"display_html":"lowerBound :: Ord a => Size -> Range a -> a","name":"lowerBound","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:lowerBound"},{"display_html":"upperBound :: Ord a => Size -> Range a -> a","name":"upperBound","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:upperBound"},{"display_html":"singleton :: a -> Range a","name":"singleton","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:singleton"},{"display_html":"constant :: a -> a -> Range a","name":"constant","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:constant"},{"display_html":"constantFrom :: a -> a -> a -> Range a","name":"constantFrom","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:constantFrom"},{"display_html":"constantBounded :: (Bounded a, Num a) => Range a","name":"constantBounded","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:constantBounded"},{"display_html":"linear :: Integral a => a -> a -> Range a","name":"linear","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:linear"},{"display_html":"linearFrom :: Integral a => a -> a -> a -> Range a","name":"linearFrom","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:linearFrom"},{"display_html":"linearFrac :: (Fractional a, Ord a) => a -> a -> Range a","name":"linearFrac","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:linearFrac"},{"display_html":"linearFracFrom :: (Fractional a, Ord a) => a -> a -> a -> Range a","name":"linearFracFrom","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:linearFracFrom"},{"display_html":"linearBounded :: (Bounded a, Integral a) => Range a","name":"linearBounded","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:linearBounded"},{"display_html":"exponential :: Integral a => a -> a -> Range a","name":"exponential","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:exponential"},{"display_html":"exponentialFrom :: Integral a => a -> a -> a -> Range a","name":"exponentialFrom","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:exponentialFrom"},{"display_html":"exponentialBounded :: (Bounded a, Integral a) => Range a","name":"exponentialBounded","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:exponentialBounded"},{"display_html":"exponentialFloat :: (Floating a, Ord a) => a -> a -> Range a","name":"exponentialFloat","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:exponentialFloat"},{"display_html":"exponentialFloatFrom :: (Floating a, Ord a) => a -> a -> a -> Range a","name":"exponentialFloatFrom","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:exponentialFloatFrom"},{"display_html":"clamp :: Ord a => a -> a -> a -> a","name":"clamp","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:clamp"},{"display_html":"scaleLinear :: Integral a => Size -> a -> a -> a","name":"scaleLinear","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:scaleLinear"},{"display_html":"scaleLinearFrac :: Fractional a => Size -> a -> a -> a","name":"scaleLinearFrac","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:scaleLinearFrac"},{"display_html":"scaleExponential :: Integral a => Size -> a -> a -> a","name":"scaleExponential","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:scaleExponential"},{"display_html":"scaleExponentialFloat :: Floating a => Size -> a -> a -> a","name":"scaleExponentialFloat","module":"Hedgehog.Internal.Range","link":"Hedgehog-Internal-Range.html#v:scaleExponentialFloat"},{"display_html":"newtype Region = Region {}","name":"Region Region unRegion","module":"Hedgehog.Internal.Region","link":"Hedgehog-Internal-Region.html#t:Region"},{"display_html":"newEmptyRegion :: LiftRegion m => m Region","name":"newEmptyRegion","module":"Hedgehog.Internal.Region","link":"Hedgehog-Internal-Region.html#v:newEmptyRegion"},{"display_html":"newOpenRegion :: LiftRegion m => m Region","name":"newOpenRegion","module":"Hedgehog.Internal.Region","link":"Hedgehog-Internal-Region.html#v:newOpenRegion"},{"display_html":"openRegion :: LiftRegion m => Region -> String -> m ()","name":"openRegion","module":"Hedgehog.Internal.Region","link":"Hedgehog-Internal-Region.html#v:openRegion"},{"display_html":"setRegion :: LiftRegion m => Region -> String -> m ()","name":"setRegion","module":"Hedgehog.Internal.Region","link":"Hedgehog-Internal-Region.html#v:setRegion"},{"display_html":"displayRegions :: (MonadIO m, MonadMask m) => m a -> m a","name":"displayRegions","module":"Hedgehog.Internal.Region","link":"Hedgehog-Internal-Region.html#v:displayRegions"},{"display_html":"displayRegion :: (MonadIO m, MonadMask m, LiftRegion m) => (Region -> m a) -> m a","name":"displayRegion","module":"Hedgehog.Internal.Region","link":"Hedgehog-Internal-Region.html#v:displayRegion"},{"display_html":"moveToBottom :: Region -> STM ()","name":"moveToBottom","module":"Hedgehog.Internal.Region","link":"Hedgehog-Internal-Region.html#v:moveToBottom"},{"display_html":"finishRegion :: LiftRegion m => Region -> m ()","name":"finishRegion","module":"Hedgehog.Internal.Region","link":"Hedgehog-Internal-Region.html#v:finishRegion"},{"display_html":"data Seed = Seed {}","name":"Seed Seed seedValue seedGamma","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#t:Seed"},{"display_html":"random :: MonadIO m => m Seed","name":"random","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:random"},{"display_html":"from :: Word64 -> Seed","name":"from","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:from"},{"display_html":"split :: Seed -> (Seed, Seed)","name":"split","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:split"},{"display_html":"nextInteger :: Integer -> Integer -> Seed -> (Integer, Seed)","name":"nextInteger","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:nextInteger"},{"display_html":"nextDouble :: Double -> Double -> Seed -> (Double, Seed)","name":"nextDouble","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:nextDouble"},{"display_html":"goldenGamma :: Word64","name":"goldenGamma","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:goldenGamma"},{"display_html":"nextWord64 :: Seed -> (Word64, Seed)","name":"nextWord64","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:nextWord64"},{"display_html":"nextWord32 :: Seed -> (Word32, Seed)","name":"nextWord32","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:nextWord32"},{"display_html":"mix64 :: Word64 -> Word64","name":"mix64","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:mix64"},{"display_html":"mix64variant13 :: Word64 -> Word64","name":"mix64variant13","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:mix64variant13"},{"display_html":"mix32 :: Word64 -> Word32","name":"mix32","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:mix32"},{"display_html":"mixGamma :: Word64 -> Word64","name":"mixGamma","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:mixGamma"},{"display_html":"global :: IORef Seed","name":"global","module":"Hedgehog.Internal.Seed","link":"Hedgehog-Internal-Seed.html#v:global"},{"display_html":"type Name = String","name":"Name","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#t:Name"},{"display_html":"data Value","name":"Value String Char Float List Integer Rec Ratio Con InfixCons Tuple Neg Date Time Quote","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#t:Value"},{"display_html":"data ValueDiff","name":"ValueDiff ValueDiff ValueCon ValueRec ValueTuple ValueList ValueSame","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#t:ValueDiff"},{"display_html":"data LineDiff","name":"LineDiff LineSame LineRemoved LineAdded","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#t:LineDiff"},{"display_html":"mkValue :: Show a => a -> Maybe Value","name":"mkValue","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#v:mkValue"},{"display_html":"showPretty :: Show a => a -> String","name":"showPretty","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#v:showPretty"},{"display_html":"valueDiff :: Value -> Value -> ValueDiff","name":"valueDiff","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#v:valueDiff"},{"display_html":"lineDiff :: Value -> Value -> [LineDiff]","name":"lineDiff","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#v:lineDiff"},{"display_html":"toLineDiff :: ValueDiff -> [LineDiff]","name":"toLineDiff","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#v:toLineDiff"},{"display_html":"renderValue :: Value -> String","name":"renderValue","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#v:renderValue"},{"display_html":"renderValueDiff :: ValueDiff -> String","name":"renderValueDiff","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#v:renderValueDiff"},{"display_html":"renderLineDiff :: LineDiff -> String","name":"renderLineDiff","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#v:renderLineDiff"},{"display_html":"takeLeft :: ValueDiff -> Value","name":"takeLeft","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#v:takeLeft"},{"display_html":"takeRight :: ValueDiff -> Value","name":"takeRight","module":"Hedgehog.Internal.Show","link":"Hedgehog-Internal-Show.html#v:takeRight"},{"display_html":"towards :: Integral a => a -> a -> [a]","name":"towards","module":"Hedgehog.Internal.Shrink","link":"Hedgehog-Internal-Shrink.html#v:towards"},{"display_html":"towardsFloat :: RealFloat a => a -> a -> [a]","name":"towardsFloat","module":"Hedgehog.Internal.Shrink","link":"Hedgehog-Internal-Shrink.html#v:towardsFloat"},{"display_html":"list :: [a] -> [[a]]","name":"list","module":"Hedgehog.Internal.Shrink","link":"Hedgehog-Internal-Shrink.html#v:list"},{"display_html":"halves :: Integral a => a -> [a]","name":"halves","module":"Hedgehog.Internal.Shrink","link":"Hedgehog-Internal-Shrink.html#v:halves"},{"display_html":"removes :: Int -> [a] -> [[a]]","name":"removes","module":"Hedgehog.Internal.Shrink","link":"Hedgehog-Internal-Shrink.html#v:removes"},{"display_html":"consNub :: Eq a => a -> [a] -> [a]","name":"consNub","module":"Hedgehog.Internal.Shrink","link":"Hedgehog-Internal-Shrink.html#v:consNub"},{"display_html":"newtype LineNo = LineNo {}","name":"LineNo LineNo unLineNo","module":"Hedgehog.Internal.Source","link":"Hedgehog-Internal-Source.html#t:LineNo"},{"display_html":"newtype ColumnNo = ColumnNo {}","name":"ColumnNo ColumnNo unColumnNo","module":"Hedgehog.Internal.Source","link":"Hedgehog-Internal-Source.html#t:ColumnNo"},{"display_html":"data Span = Span {}","name":"Span Span spanFile spanStartLine spanStartColumn spanEndLine spanEndColumn","module":"Hedgehog.Internal.Source","link":"Hedgehog-Internal-Source.html#t:Span"},{"display_html":"getCaller :: CallStack -> Maybe Span","name":"getCaller","module":"Hedgehog.Internal.Source","link":"Hedgehog-Internal-Source.html#v:getCaller"},{"display_html":"data CallStack","name":"CallStack","module":"Hedgehog.Internal.Source","link":"Hedgehog-Internal-Source.html#t:CallStack"},{"display_html":"type HasCallStack = ?callStack :: CallStack","name":"HasCallStack","module":"Hedgehog.Internal.Source","link":"Hedgehog-Internal-Source.html#t:HasCallStack"},{"display_html":"callStack :: HasCallStack => CallStack","name":"callStack","module":"Hedgehog.Internal.Source","link":"Hedgehog-Internal-Source.html#v:callStack"},{"display_html":"withFrozenCallStack :: HasCallStack => (HasCallStack => a) -> a","name":"withFrozenCallStack","module":"Hedgehog.Internal.Source","link":"Hedgehog-Internal-Source.html#v:withFrozenCallStack"},{"display_html":"type Tree = TreeT Identity","name":"Tree","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#t:Tree"},{"display_html":"pattern Tree :: NodeT Identity a -> Tree a","name":"Tree","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:Tree"},{"display_html":"newtype TreeT (m :: Type -> Type) a = TreeT {}","name":"TreeT TreeT runTreeT","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#t:TreeT"},{"display_html":"runTree :: Tree a -> Node a","name":"runTree","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:runTree"},{"display_html":"mapTreeT :: (m (NodeT m a) -> m (NodeT m a)) -> TreeT m a -> TreeT m a","name":"mapTreeT","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:mapTreeT"},{"display_html":"treeValue :: Tree a -> a","name":"treeValue","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:treeValue"},{"display_html":"treeChildren :: Tree a -> [Tree a]","name":"treeChildren","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:treeChildren"},{"display_html":"type Node = NodeT Identity","name":"Node","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#t:Node"},{"display_html":"pattern Node :: a -> [Tree a] -> Node a","name":"Node","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:Node"},{"display_html":"data NodeT (m :: Type -> Type) a = NodeT {}","name":"NodeT NodeT nodeValue nodeChildren","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#t:NodeT"},{"display_html":"fromNodeT :: forall (m :: Type -> Type) a. Applicative m => NodeT m a -> TreeT m a","name":"fromNodeT","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:fromNodeT"},{"display_html":"unfold :: forall (m :: Type -> Type) a. Monad m => (a -> [a]) -> a -> TreeT m a","name":"unfold","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:unfold"},{"display_html":"unfoldForest :: forall (m :: Type -> Type) a. Monad m => (a -> [a]) -> a -> [TreeT m a]","name":"unfoldForest","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:unfoldForest"},{"display_html":"expand :: forall (m :: Type -> Type) a. Monad m => (a -> [a]) -> TreeT m a -> TreeT m a","name":"expand","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:expand"},{"display_html":"prune :: forall (m :: Type -> Type) a. Monad m => Int -> TreeT m a -> TreeT m a","name":"prune","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:prune"},{"display_html":"catMaybes :: Tree (Maybe a) -> Maybe (Tree a)","name":"catMaybes","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:catMaybes"},{"display_html":"filter :: (a -> Bool) -> Tree a -> Maybe (Tree a)","name":"filter","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:filter"},{"display_html":"mapMaybe :: (a -> Maybe b) -> Tree a -> Maybe (Tree b)","name":"mapMaybe","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:mapMaybe"},{"display_html":"filterMaybeT :: (a -> Bool) -> TreeT (MaybeT Identity) a -> TreeT (MaybeT Identity) a","name":"filterMaybeT","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:filterMaybeT"},{"display_html":"mapMaybeMaybeT :: (a -> Maybe b) -> TreeT (MaybeT Identity) a -> TreeT (MaybeT Identity) b","name":"mapMaybeMaybeT","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:mapMaybeMaybeT"},{"display_html":"filterT :: forall (m :: Type -> Type) a. (Monad m, Alternative m) => (a -> Bool) -> TreeT m a -> TreeT m a","name":"filterT","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:filterT"},{"display_html":"consChild :: forall (m :: Type -> Type) a. Monad m => a -> TreeT m a -> TreeT m a","name":"consChild","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:consChild"},{"display_html":"mapMaybeT :: forall (m :: Type -> Type) a b. (Monad m, Alternative m) => (a -> Maybe b) -> TreeT m a -> TreeT m b","name":"mapMaybeT","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:mapMaybeT"},{"display_html":"depth :: Tree a -> Int","name":"depth","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:depth"},{"display_html":"interleave :: forall (m :: Type -> Type) a. Monad m => [NodeT m a] -> NodeT m [a]","name":"interleave","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:interleave"},{"display_html":"render :: Tree String -> String","name":"render","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:render"},{"display_html":"renderT :: Monad m => TreeT m String -> m String","name":"renderT","module":"Hedgehog.Internal.Tree","link":"Hedgehog-Internal-Tree.html#v:renderT"},{"display_html":"defaultMain :: [IO Bool] -> IO ()","name":"defaultMain","module":"Hedgehog.Main","link":"Hedgehog-Main.html#v:defaultMain"},{"display_html":"newtype Size = Size {}","name":"Size Size unSize","module":"Hedgehog.Range","link":"Hedgehog-Range.html#t:Size"},{"display_html":"data Range a","name":"Range","module":"Hedgehog.Range","link":"Hedgehog-Range.html#t:Range"},{"display_html":"origin :: Range a -> a","name":"origin","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:origin"},{"display_html":"bounds :: Size -> Range a -> (a, a)","name":"bounds","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:bounds"},{"display_html":"lowerBound :: Ord a => Size -> Range a -> a","name":"lowerBound","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:lowerBound"},{"display_html":"upperBound :: Ord a => Size -> Range a -> a","name":"upperBound","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:upperBound"},{"display_html":"singleton :: a -> Range a","name":"singleton","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:singleton"},{"display_html":"constant :: a -> a -> Range a","name":"constant","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:constant"},{"display_html":"constantFrom :: a -> a -> a -> Range a","name":"constantFrom","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:constantFrom"},{"display_html":"constantBounded :: (Bounded a, Num a) => Range a","name":"constantBounded","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:constantBounded"},{"display_html":"linear :: Integral a => a -> a -> Range a","name":"linear","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:linear"},{"display_html":"linearFrom :: Integral a => a -> a -> a -> Range a","name":"linearFrom","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:linearFrom"},{"display_html":"linearFrac :: (Fractional a, Ord a) => a -> a -> Range a","name":"linearFrac","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:linearFrac"},{"display_html":"linearFracFrom :: (Fractional a, Ord a) => a -> a -> a -> Range a","name":"linearFracFrom","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:linearFracFrom"},{"display_html":"linearBounded :: (Bounded a, Integral a) => Range a","name":"linearBounded","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:linearBounded"},{"display_html":"exponential :: Integral a => a -> a -> Range a","name":"exponential","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:exponential"},{"display_html":"exponentialFrom :: Integral a => a -> a -> a -> Range a","name":"exponentialFrom","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:exponentialFrom"},{"display_html":"exponentialBounded :: (Bounded a, Integral a) => Range a","name":"exponentialBounded","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:exponentialBounded"},{"display_html":"exponentialFloat :: (Floating a, Ord a) => a -> a -> Range a","name":"exponentialFloat","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:exponentialFloat"},{"display_html":"exponentialFloatFrom :: (Floating a, Ord a) => a -> a -> a -> Range a","name":"exponentialFloatFrom","module":"Hedgehog.Range","link":"Hedgehog-Range.html#v:exponentialFloatFrom"},{"display_html":"type Gen = GenT Identity","name":"Gen","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#t:Gen"},{"display_html":"newtype GenT (m :: Type -> Type) a = GenT {}","name":"GenT GenT unGenT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#t:GenT"},{"display_html":"class (Monad m, Monad (GenBase m)) => MonadGen (m :: Type -> Type) where","name":"MonadGen GenBase fromGenT toGenT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#t:MonadGen"},{"display_html":"generalize :: forall (m :: Type -> Type) a. Monad m => Gen a -> GenT m a","name":"generalize","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:generalize"},{"display_html":"shrink :: MonadGen m => (a -> [a]) -> m a -> m a","name":"shrink","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:shrink"},{"display_html":"prune :: MonadGen m => m a -> m a","name":"prune","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:prune"},{"display_html":"small :: MonadGen m => m a -> m a","name":"small","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:small"},{"display_html":"scale :: (HasCallStack, MonadGen m) => (Size -> Size) -> m a -> m a","name":"scale","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:scale"},{"display_html":"resize :: MonadGen m => Size -> m a -> m a","name":"resize","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:resize"},{"display_html":"sized :: MonadGen m => (Size -> m a) -> m a","name":"sized","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:sized"},{"display_html":"integral :: (MonadGen m, Integral a) => Range a -> m a","name":"integral","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:integral"},{"display_html":"integral_ :: (MonadGen m, Integral a) => Range a -> m a","name":"integral_","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:integral_"},{"display_html":"int :: MonadGen m => Range Int -> m Int","name":"int","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:int"},{"display_html":"int8 :: MonadGen m => Range Int8 -> m Int8","name":"int8","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:int8"},{"display_html":"int16 :: MonadGen m => Range Int16 -> m Int16","name":"int16","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:int16"},{"display_html":"int32 :: MonadGen m => Range Int32 -> m Int32","name":"int32","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:int32"},{"display_html":"int64 :: MonadGen m => Range Int64 -> m Int64","name":"int64","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:int64"},{"display_html":"word :: MonadGen m => Range Word -> m Word","name":"word","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:word"},{"display_html":"word8 :: MonadGen m => Range Word8 -> m Word8","name":"word8","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:word8"},{"display_html":"word16 :: MonadGen m => Range Word16 -> m Word16","name":"word16","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:word16"},{"display_html":"word32 :: MonadGen m => Range Word32 -> m Word32","name":"word32","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:word32"},{"display_html":"word64 :: MonadGen m => Range Word64 -> m Word64","name":"word64","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:word64"},{"display_html":"realFloat :: (MonadGen m, RealFloat a) => Range a -> m a","name":"realFloat","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:realFloat"},{"display_html":"realFrac_ :: (MonadGen m, RealFrac a) => Range a -> m a","name":"realFrac_","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:realFrac_"},{"display_html":"float :: MonadGen m => Range Float -> m Float","name":"float","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:float"},{"display_html":"double :: MonadGen m => Range Double -> m Double","name":"double","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:double"},{"display_html":"enum :: (MonadGen m, Enum a) => a -> a -> m a","name":"enum","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:enum"},{"display_html":"enumBounded :: (MonadGen m, Enum a, Bounded a) => m a","name":"enumBounded","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:enumBounded"},{"display_html":"bool :: MonadGen m => m Bool","name":"bool","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:bool"},{"display_html":"bool_ :: MonadGen m => m Bool","name":"bool_","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:bool_"},{"display_html":"binit :: MonadGen m => m Char","name":"binit","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:binit"},{"display_html":"octit :: MonadGen m => m Char","name":"octit","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:octit"},{"display_html":"digit :: MonadGen m => m Char","name":"digit","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:digit"},{"display_html":"hexit :: MonadGen m => m Char","name":"hexit","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:hexit"},{"display_html":"lower :: MonadGen m => m Char","name":"lower","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:lower"},{"display_html":"upper :: MonadGen m => m Char","name":"upper","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:upper"},{"display_html":"alpha :: MonadGen m => m Char","name":"alpha","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:alpha"},{"display_html":"alphaNum :: MonadGen m => m Char","name":"alphaNum","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:alphaNum"},{"display_html":"ascii :: MonadGen m => m Char","name":"ascii","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:ascii"},{"display_html":"latin1 :: MonadGen m => m Char","name":"latin1","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:latin1"},{"display_html":"unicode :: MonadGen m => m Char","name":"unicode","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:unicode"},{"display_html":"unicodeAll :: MonadGen m => m Char","name":"unicodeAll","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:unicodeAll"},{"display_html":"string :: MonadGen m => Range Int -> m Char -> m String","name":"string","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:string"},{"display_html":"text :: MonadGen m => Range Int -> m Char -> m Text","name":"text","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:text"},{"display_html":"utf8 :: MonadGen m => Range Int -> m Char -> m ByteString","name":"utf8","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:utf8"},{"display_html":"bytes :: MonadGen m => Range Int -> m ByteString","name":"bytes","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:bytes"},{"display_html":"constant :: MonadGen m => a -> m a","name":"constant","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:constant"},{"display_html":"element :: (HasCallStack, Foldable f, MonadGen m) => f a -> m a","name":"element","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:element"},{"display_html":"element_ :: (HasCallStack, MonadGen m) => [a] -> m a","name":"element_","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:element_"},{"display_html":"choice :: (HasCallStack, MonadGen m) => [m a] -> m a","name":"choice","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:choice"},{"display_html":"frequency :: (HasCallStack, MonadGen m) => [(Int, m a)] -> m a","name":"frequency","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:frequency"},{"display_html":"recursive :: MonadGen m => ([m a] -> m a) -> [m a] -> [m a] -> m a","name":"recursive","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:recursive"},{"display_html":"discard :: MonadGen m => m a","name":"discard","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:discard"},{"display_html":"ensure :: MonadGen m => (a -> Bool) -> m a -> m a","name":"ensure","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:ensure"},{"display_html":"filter :: (MonadGen m, GenBase m ~ Identity) => (a -> Bool) -> m a -> m a","name":"filter","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:filter"},{"display_html":"mapMaybe :: (MonadGen m, GenBase m ~ Identity) => (a -> Maybe b) -> m a -> m b","name":"mapMaybe","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:mapMaybe"},{"display_html":"filterT :: MonadGen m => (a -> Bool) -> m a -> m a","name":"filterT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:filterT"},{"display_html":"mapMaybeT :: MonadGen m => (a -> Maybe b) -> m a -> m b","name":"mapMaybeT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:mapMaybeT"},{"display_html":"just :: (MonadGen m, GenBase m ~ Identity) => m (Maybe a) -> m a","name":"just","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:just"},{"display_html":"justT :: MonadGen m => m (Maybe a) -> m a","name":"justT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:justT"},{"display_html":"maybe :: MonadGen m => m a -> m (Maybe a)","name":"maybe","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:maybe"},{"display_html":"either :: MonadGen m => m a -> m b -> m (Either a b)","name":"either","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:either"},{"display_html":"either_ :: MonadGen m => m a -> m b -> m (Either a b)","name":"either_","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:either_"},{"display_html":"list :: MonadGen m => Range Int -> m a -> m [a]","name":"list","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:list"},{"display_html":"seq :: MonadGen m => Range Int -> m a -> m (Seq a)","name":"seq","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:seq"},{"display_html":"nonEmpty :: MonadGen m => Range Int -> m a -> m (NonEmpty a)","name":"nonEmpty","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:nonEmpty"},{"display_html":"set :: (MonadGen m, Ord a) => Range Int -> m a -> m (Set a)","name":"set","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:set"},{"display_html":"map :: (MonadGen m, Ord k) => Range Int -> m (k, v) -> m (Map k v)","name":"map","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:map"},{"display_html":"freeze :: MonadGen m => m a -> m (a, m a)","name":"freeze","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:freeze"},{"display_html":"subterm :: MonadGen m => m a -> (a -> a) -> m a","name":"subterm","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:subterm"},{"display_html":"subtermM :: MonadGen m => m a -> (a -> m a) -> m a","name":"subtermM","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:subtermM"},{"display_html":"subterm2 :: MonadGen m => m a -> m a -> (a -> a -> a) -> m a","name":"subterm2","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:subterm2"},{"display_html":"subtermM2 :: MonadGen m => m a -> m a -> (a -> a -> m a) -> m a","name":"subtermM2","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:subtermM2"},{"display_html":"subterm3 :: MonadGen m => m a -> m a -> m a -> (a -> a -> a -> a) -> m a","name":"subterm3","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:subterm3"},{"display_html":"subtermM3 :: MonadGen m => m a -> m a -> m a -> (a -> a -> a -> m a) -> m a","name":"subtermM3","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:subtermM3"},{"display_html":"subsequence :: MonadGen m => [a] -> m [a]","name":"subsequence","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:subsequence"},{"display_html":"subset :: MonadGen m => Set a -> m (Set a)","name":"subset","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:subset"},{"display_html":"shuffle :: MonadGen m => [a] -> m [a]","name":"shuffle","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:shuffle"},{"display_html":"shuffleSeq :: MonadGen m => Seq a -> m (Seq a)","name":"shuffleSeq","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:shuffleSeq"},{"display_html":"sample :: (HasCallStack, MonadIO m) => Gen a -> m a","name":"sample","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:sample"},{"display_html":"print :: (MonadIO m, Show a) => Gen a -> m ()","name":"print","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:print"},{"display_html":"printTree :: (MonadIO m, Show a) => Gen a -> m ()","name":"printTree","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:printTree"},{"display_html":"printWith :: (MonadIO m, Show a) => Size -> Seed -> Gen a -> m ()","name":"printWith","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:printWith"},{"display_html":"printTreeWith :: (MonadIO m, Show a) => Size -> Seed -> Gen a -> m ()","name":"printTreeWith","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:printTreeWith"},{"display_html":"renderTree :: Show a => Size -> Seed -> Gen a -> String","name":"renderTree","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:renderTree"},{"display_html":"runGenT :: forall (m :: Type -> Type) a. Size -> Seed -> GenT m a -> TreeT (MaybeT m) a","name":"runGenT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:runGenT"},{"display_html":"evalGen :: Size -> Seed -> Gen a -> Maybe (Tree a)","name":"evalGen","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:evalGen"},{"display_html":"evalGenT :: forall (m :: Type -> Type) a. Monad m => Size -> Seed -> GenT m a -> TreeT m (Maybe a)","name":"evalGenT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:evalGenT"},{"display_html":"mapGenT :: forall (m :: Type -> Type) a (n :: Type -> Type) b. (TreeT (MaybeT m) a -> TreeT (MaybeT n) b) -> GenT m a -> GenT n b","name":"mapGenT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:mapGenT"},{"display_html":"generate :: MonadGen m => (Size -> Seed -> a) -> m a","name":"generate","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:generate"},{"display_html":"toTree :: (MonadGen m, GenBase m ~ Identity) => m a -> m (Tree a)","name":"toTree","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:toTree"},{"display_html":"toTreeMaybeT :: MonadGen m => m a -> m (TreeT (MaybeT (GenBase m)) a)","name":"toTreeMaybeT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:toTreeMaybeT"},{"display_html":"fromTree :: MonadGen m => Tree a -> m a","name":"fromTree","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:fromTree"},{"display_html":"fromTreeT :: MonadGen m => TreeT (GenBase m) a -> m a","name":"fromTreeT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:fromTreeT"},{"display_html":"fromTreeMaybeT :: MonadGen m => TreeT (MaybeT (GenBase m)) a -> m a","name":"fromTreeMaybeT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:fromTreeMaybeT"},{"display_html":"runDiscardEffect :: TreeT (MaybeT Identity) a -> Maybe (Tree a)","name":"runDiscardEffect","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:runDiscardEffect"},{"display_html":"runDiscardEffectT :: forall (m :: Type -> Type) a. Monad m => TreeT (MaybeT m) a -> TreeT m (Maybe a)","name":"runDiscardEffectT","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:runDiscardEffectT"},{"display_html":"golden :: Size -> Size","name":"golden","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:golden"},{"display_html":"atLeast :: Int -> [a] -> Bool","name":"atLeast","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:atLeast"},{"display_html":"isSurrogate :: Char -> Bool","name":"isSurrogate","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:isSurrogate"},{"display_html":"isNoncharacter :: Char -> Bool","name":"isNoncharacter","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:isNoncharacter"},{"display_html":"data Vec (n :: Nat) a where","name":"Vec Nil :.","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#t:Vec"},{"display_html":"data Nat","name":"Nat S Z","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#t:Nat"},{"display_html":"subtermMVec :: forall m (n :: Nat) a. MonadGen m => Vec n (m a) -> (Vec n a -> m a) -> m a","name":"subtermMVec","module":"Hedgehog.Internal.Gen","link":"Hedgehog-Internal-Gen.html#v:subtermMVec"},{"display_html":"data Property = Property {}","name":"Property Property propertyConfig propertyTest","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Property"},{"display_html":"newtype PropertyT (m :: Type -> Type) a = PropertyT {}","name":"PropertyT PropertyT unPropertyT","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:PropertyT"},{"display_html":"newtype PropertyName = PropertyName {}","name":"PropertyName PropertyName unPropertyName","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:PropertyName"},{"display_html":"data PropertyConfig = PropertyConfig {}","name":"PropertyConfig PropertyConfig propertyDiscardLimit propertyShrinkLimit propertyShrinkRetries propertyTerminationCriteria propertySkip","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:PropertyConfig"},{"display_html":"newtype TestLimit = TestLimit Int","name":"TestLimit TestLimit","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:TestLimit"},{"display_html":"newtype TestCount = TestCount Int","name":"TestCount TestCount","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:TestCount"},{"display_html":"newtype DiscardLimit = DiscardLimit Int","name":"DiscardLimit DiscardLimit","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:DiscardLimit"},{"display_html":"newtype DiscardCount = DiscardCount Int","name":"DiscardCount DiscardCount","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:DiscardCount"},{"display_html":"newtype ShrinkLimit = ShrinkLimit Int","name":"ShrinkLimit ShrinkLimit","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:ShrinkLimit"},{"display_html":"newtype ShrinkCount = ShrinkCount Int","name":"ShrinkCount ShrinkCount","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:ShrinkCount"},{"display_html":"data Skip","name":"Skip SkipNothing SkipToTest SkipToShrink","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Skip"},{"display_html":"newtype ShrinkPath = ShrinkPath [Int]","name":"ShrinkPath ShrinkPath","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:ShrinkPath"},{"display_html":"newtype ShrinkRetries = ShrinkRetries Int","name":"ShrinkRetries ShrinkRetries","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:ShrinkRetries"},{"display_html":"withTests :: TestLimit -> Property -> Property","name":"withTests","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:withTests"},{"display_html":"withDiscards :: DiscardLimit -> Property -> Property","name":"withDiscards","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:withDiscards"},{"display_html":"withShrinks :: ShrinkLimit -> Property -> Property","name":"withShrinks","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:withShrinks"},{"display_html":"withRetries :: ShrinkRetries -> Property -> Property","name":"withRetries","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:withRetries"},{"display_html":"withSkip :: Skip -> Property -> Property","name":"withSkip","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:withSkip"},{"display_html":"property :: HasCallStack => PropertyT IO () -> Property","name":"property","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:property"},{"display_html":"test :: forall (m :: Type -> Type) a. Monad m => TestT m a -> PropertyT m a","name":"test","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:test"},{"display_html":"forAll :: forall (m :: Type -> Type) a. (Monad m, Show a, HasCallStack) => Gen a -> PropertyT m a","name":"forAll","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:forAll"},{"display_html":"forAllT :: forall (m :: Type -> Type) a. (Monad m, Show a, HasCallStack) => GenT m a -> PropertyT m a","name":"forAllT","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:forAllT"},{"display_html":"forAllWith :: forall (m :: Type -> Type) a. (Monad m, HasCallStack) => (a -> String) -> Gen a -> PropertyT m a","name":"forAllWith","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:forAllWith"},{"display_html":"forAllWithT :: forall (m :: Type -> Type) a. (Monad m, HasCallStack) => (a -> String) -> GenT m a -> PropertyT m a","name":"forAllWithT","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:forAllWithT"},{"display_html":"defaultMinTests :: TestLimit","name":"defaultMinTests","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:defaultMinTests"},{"display_html":"discard :: forall (m :: Type -> Type) a. Monad m => PropertyT m a","name":"discard","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:discard"},{"display_html":"skipCompress :: Skip -> String","name":"skipCompress","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:skipCompress"},{"display_html":"shrinkPathCompress :: ShrinkPath -> String","name":"shrinkPathCompress","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:shrinkPathCompress"},{"display_html":"skipDecompress :: String -> Maybe Skip","name":"skipDecompress","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:skipDecompress"},{"display_html":"shrinkPathDecompress :: String -> Maybe ShrinkPath","name":"shrinkPathDecompress","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:shrinkPathDecompress"},{"display_html":"data Group = Group {}","name":"Group groupName Group groupProperties","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Group"},{"display_html":"newtype GroupName = GroupName {}","name":"GroupName GroupName unGroupName","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:GroupName"},{"display_html":"newtype PropertyCount = PropertyCount Int","name":"PropertyCount PropertyCount","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:PropertyCount"},{"display_html":"class Monad m => MonadTest (m :: Type -> Type) where","name":"MonadTest liftTest","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:MonadTest"},{"display_html":"type Test = TestT Identity","name":"Test","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Test"},{"display_html":"newtype TestT (m :: Type -> Type) a = TestT {}","name":"TestT TestT unTest","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:TestT"},{"display_html":"data Log","name":"Log Label Annotation Footnote","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Log"},{"display_html":"newtype Journal = Journal {}","name":"Journal Journal journalLogs","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Journal"},{"display_html":"data Failure = Failure (Maybe Span) String (Maybe Diff)","name":"Failure Failure","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Failure"},{"display_html":"data Diff = Diff {}","name":"Diff Diff diffPrefix diffRemoved diffInfix diffAdded diffSuffix diffValue","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Diff"},{"display_html":"annotate :: (MonadTest m, HasCallStack) => String -> m ()","name":"annotate","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:annotate"},{"display_html":"annotateShow :: (MonadTest m, Show a, HasCallStack) => a -> m ()","name":"annotateShow","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:annotateShow"},{"display_html":"footnote :: MonadTest m => String -> m ()","name":"footnote","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:footnote"},{"display_html":"footnoteShow :: (MonadTest m, Show a) => a -> m ()","name":"footnoteShow","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:footnoteShow"},{"display_html":"failure :: (MonadTest m, HasCallStack) => m a","name":"failure","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:failure"},{"display_html":"success :: MonadTest m => m ()","name":"success","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:success"},{"display_html":"assert :: (MonadTest m, HasCallStack) => Bool -> m ()","name":"assert","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:assert"},{"display_html":"diff :: (MonadTest m, Show a, Show b, HasCallStack) => a -> (a -> b -> Bool) -> b -> m ()","name":"diff","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:diff"},{"display_html":"(===) :: (MonadTest m, Eq a, Show a, HasCallStack) => a -> a -> m ()","name":"===","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:-61--61--61-"},{"display_html":"(/==) :: (MonadTest m, Eq a, Show a, HasCallStack) => a -> a -> m ()","name":"/==","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:-47--61--61-"},{"display_html":"eval :: (MonadTest m, HasCallStack) => a -> m a","name":"eval","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:eval"},{"display_html":"evalNF :: (MonadTest m, NFData a, HasCallStack) => a -> m a","name":"evalNF","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:evalNF"},{"display_html":"evalM :: (MonadTest m, MonadCatch m, HasCallStack) => m a -> m a","name":"evalM","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:evalM"},{"display_html":"evalIO :: (MonadTest m, MonadIO m, HasCallStack) => IO a -> m a","name":"evalIO","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:evalIO"},{"display_html":"evalEither :: (MonadTest m, Show x, HasCallStack) => Either x a -> m a","name":"evalEither","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:evalEither"},{"display_html":"evalEitherM :: (MonadTest m, Show x, MonadCatch m, HasCallStack) => m (Either x a) -> m a","name":"evalEitherM","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:evalEitherM"},{"display_html":"evalExceptT :: (MonadTest m, Show x, HasCallStack) => ExceptT x m a -> m a","name":"evalExceptT","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:evalExceptT"},{"display_html":"evalMaybe :: (MonadTest m, HasCallStack) => Maybe a -> m a","name":"evalMaybe","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:evalMaybe"},{"display_html":"evalMaybeM :: (MonadTest m, MonadCatch m, HasCallStack) => m (Maybe a) -> m a","name":"evalMaybeM","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:evalMaybeM"},{"display_html":"newtype Coverage a = Coverage {}","name":"Coverage Coverage coverageLabels","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Coverage"},{"display_html":"data Label a = MkLabel {}","name":"Label MkLabel labelName labelLocation labelMinimum labelAnnotation","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Label"},{"display_html":"newtype LabelName = LabelName {}","name":"LabelName LabelName unLabelName","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:LabelName"},{"display_html":"cover :: (MonadTest m, HasCallStack) => CoverPercentage -> LabelName -> Bool -> m ()","name":"cover","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:cover"},{"display_html":"classify :: (MonadTest m, HasCallStack) => LabelName -> Bool -> m ()","name":"classify","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:classify"},{"display_html":"label :: (MonadTest m, HasCallStack) => LabelName -> m ()","name":"label","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:label"},{"display_html":"collect :: (MonadTest m, Show a, HasCallStack) => a -> m ()","name":"collect","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:collect"},{"display_html":"coverPercentage :: TestCount -> CoverCount -> CoverPercentage","name":"coverPercentage","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:coverPercentage"},{"display_html":"labelCovered :: TestCount -> Label CoverCount -> Bool","name":"labelCovered","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:labelCovered"},{"display_html":"coverageSuccess :: TestCount -> Coverage CoverCount -> Bool","name":"coverageSuccess","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:coverageSuccess"},{"display_html":"coverageFailures :: TestCount -> Coverage CoverCount -> [Label CoverCount]","name":"coverageFailures","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:coverageFailures"},{"display_html":"journalCoverage :: Journal -> Coverage CoverCount","name":"journalCoverage","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:journalCoverage"},{"display_html":"data Cover","name":"Cover Cover NoCover","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Cover"},{"display_html":"newtype CoverCount = CoverCount {}","name":"CoverCount CoverCount unCoverCount","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:CoverCount"},{"display_html":"newtype CoverPercentage = CoverPercentage {}","name":"CoverPercentage CoverPercentage unCoverPercentage","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:CoverPercentage"},{"display_html":"toCoverCount :: Cover -> CoverCount","name":"toCoverCount","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:toCoverCount"},{"display_html":"newtype Confidence = Confidence {}","name":"Confidence Confidence unConfidence","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:Confidence"},{"display_html":"data TerminationCriteria","name":"TerminationCriteria EarlyTermination NoEarlyTermination NoConfidenceTermination","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#t:TerminationCriteria"},{"display_html":"confidenceSuccess :: TestCount -> Confidence -> Coverage CoverCount -> Bool","name":"confidenceSuccess","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:confidenceSuccess"},{"display_html":"confidenceFailure :: TestCount -> Confidence -> Coverage CoverCount -> Bool","name":"confidenceFailure","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:confidenceFailure"},{"display_html":"withConfidence :: Confidence -> Property -> Property","name":"withConfidence","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:withConfidence"},{"display_html":"verifiedTermination :: Property -> Property","name":"verifiedTermination","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:verifiedTermination"},{"display_html":"defaultConfidence :: Confidence","name":"defaultConfidence","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:defaultConfidence"},{"display_html":"defaultConfig :: PropertyConfig","name":"defaultConfig","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:defaultConfig"},{"display_html":"mapConfig :: (PropertyConfig -> PropertyConfig) -> Property -> Property","name":"mapConfig","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:mapConfig"},{"display_html":"failDiff :: (MonadTest m, Show a, Show b, HasCallStack) => a -> b -> m ()","name":"failDiff","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:failDiff"},{"display_html":"failException :: (MonadTest m, HasCallStack) => SomeException -> m a","name":"failException","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:failException"},{"display_html":"failWith :: (MonadTest m, HasCallStack) => Maybe Diff -> String -> m a","name":"failWith","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:failWith"},{"display_html":"writeLog :: MonadTest m => Log -> m ()","name":"writeLog","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:writeLog"},{"display_html":"mkTest :: (Either Failure a, Journal) -> Test a","name":"mkTest","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:mkTest"},{"display_html":"mkTestT :: m (Either Failure a, Journal) -> TestT m a","name":"mkTestT","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:mkTestT"},{"display_html":"runTest :: Test a -> (Either Failure a, Journal)","name":"runTest","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:runTest"},{"display_html":"runTestT :: TestT m a -> m (Either Failure a, Journal)","name":"runTestT","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:runTestT"},{"display_html":"wilsonBounds :: Integer -> Integer -> Double -> (Double, Double)","name":"wilsonBounds","module":"Hedgehog.Internal.Property","link":"Hedgehog-Internal-Property.html#v:wilsonBounds"},{"display_html":"tripping :: (MonadTest m, Applicative f, Show b, Show (f a), Eq (f a), HasCallStack) => a -> (a -> b) -> (b -> f a) -> m ()","name":"tripping","module":"Hedgehog.Internal.Tripping","link":"Hedgehog-Internal-Tripping.html#v:tripping"},{"display_html":"newtype Var a (v :: Type -> Type) = Var (v a)","name":"Var Var","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:Var"},{"display_html":"concrete :: Var a Concrete -> a","name":"concrete","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:concrete"},{"display_html":"opaque :: Var (Opaque a) Concrete -> a","name":"opaque","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:opaque"},{"display_html":"newtype Concrete a where","name":"Concrete Concrete","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:Concrete"},{"display_html":"data Symbolic a where","name":"Symbolic Symbolic","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:Symbolic"},{"display_html":"newtype Name = Name Int","name":"Name Name","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:Name"},{"display_html":"newtype Environment = Environment {}","name":"Environment Environment unEnvironment","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:Environment"},{"display_html":"data EnvironmentError","name":"EnvironmentError EnvironmentValueNotFound EnvironmentTypeError","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:EnvironmentError"},{"display_html":"emptyEnvironment :: Environment","name":"emptyEnvironment","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:emptyEnvironment"},{"display_html":"insertConcrete :: Symbolic a -> Concrete a -> Environment -> Environment","name":"insertConcrete","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:insertConcrete"},{"display_html":"reifyDynamic :: Typeable a => Dynamic -> Either EnvironmentError (Concrete a)","name":"reifyDynamic","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:reifyDynamic"},{"display_html":"reifyEnvironment :: Environment -> forall a. Symbolic a -> Either EnvironmentError (Concrete a)","name":"reifyEnvironment","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:reifyEnvironment"},{"display_html":"reify :: TraversableB t => Environment -> t Symbolic -> Either EnvironmentError (t Concrete)","name":"reify","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:reify"},{"display_html":"data Command (gen :: Type -> Type) (m :: Type -> Type) (state :: (Type -> Type) -> Type) = (TraversableB input, Show (input Symbolic), Show output, Typeable output) => Command {}","name":"Command Command commandGen commandExecute commandCallbacks","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:Command"},{"display_html":"data Callback (input :: (Type -> Type) -> Type) output (state :: (Type -> Type) -> Type)","name":"Callback Require Update Ensure","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:Callback"},{"display_html":"data Action (m :: Type -> Type) (state :: (Type -> Type) -> Type) = (TraversableB input, Show (input Symbolic), Show output) => Action {}","name":"Action Action actionInput actionOutput actionExecute actionRequire actionUpdate actionEnsure","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:Action"},{"display_html":"newtype Sequential (m :: Type -> Type) (state :: (Type -> Type) -> Type) = Sequential {}","name":"Sequential Sequential sequentialActions","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:Sequential"},{"display_html":"data Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type) = Parallel {}","name":"Parallel Parallel parallelPrefix parallelBranch1 parallelBranch2","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#t:Parallel"},{"display_html":"takeVariables :: TraversableB t => t Symbolic -> Map Name TypeRep","name":"takeVariables","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:takeVariables"},{"display_html":"variablesOK :: TraversableB t => t Symbolic -> Map Name TypeRep -> Bool","name":"variablesOK","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:variablesOK"},{"display_html":"dropInvalid :: forall (m :: Type -> Type) (state :: (Type -> Type) -> Type). [Action m state] -> State (Context state) [Action m state]","name":"dropInvalid","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:dropInvalid"},{"display_html":"action :: forall (gen :: Type -> Type) (m :: Type -> Type) (state :: (Type -> Type) -> Type). (MonadGen gen, MonadTest m) => [Command gen m state] -> GenT (StateT (Context state) (GenBase gen)) (Action m state)","name":"action","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:action"},{"display_html":"sequential :: forall gen (m :: Type -> Type) state. (MonadGen gen, MonadTest m) => Range Int -> (forall (v :: Type -> Type). state v) -> [Command gen m state] -> gen (Sequential m state)","name":"sequential","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:sequential"},{"display_html":"parallel :: forall gen (m :: Type -> Type) state. (MonadGen gen, MonadTest m) => Range Int -> Range Int -> (forall (v :: Type -> Type). state v) -> [Command gen m state] -> gen (Parallel m state)","name":"parallel","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:parallel"},{"display_html":"executeSequential :: (MonadTest m, MonadCatch m, HasCallStack) => (forall (v :: Type -> Type). state v) -> Sequential m state -> m ()","name":"executeSequential","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:executeSequential"},{"display_html":"executeParallel :: (MonadTest m, MonadCatch m, MonadBaseControl IO m, HasCallStack) => (forall (v :: Type -> Type). state v) -> Parallel m state -> m ()","name":"executeParallel","module":"Hedgehog.Internal.State","link":"Hedgehog-Internal-State.html#v:executeParallel"},{"display_html":"newtype PropertySource = PropertySource {}","name":"PropertySource PropertySource propertySource","module":"Hedgehog.Internal.Discovery","link":"Hedgehog-Internal-Discovery.html#t:PropertySource"},{"display_html":"readProperties :: MonadIO m => String -> FilePath -> m (Map PropertyName PropertySource)","name":"readProperties","module":"Hedgehog.Internal.Discovery","link":"Hedgehog-Internal-Discovery.html#v:readProperties"},{"display_html":"findProperties :: String -> FilePath -> String -> Map PropertyName PropertySource","name":"findProperties","module":"Hedgehog.Internal.Discovery","link":"Hedgehog-Internal-Discovery.html#v:findProperties"},{"display_html":"readDeclaration :: MonadIO m => FilePath -> LineNo -> m (Maybe (String, Pos String))","name":"readDeclaration","module":"Hedgehog.Internal.Discovery","link":"Hedgehog-Internal-Discovery.html#v:readDeclaration"},{"display_html":"data Pos a = Pos {}","name":"Pos Pos posPostion posValue","module":"Hedgehog.Internal.Discovery","link":"Hedgehog-Internal-Discovery.html#t:Pos"},{"display_html":"data Position = Position {}","name":"Position Position posLine posColumn _posPath","module":"Hedgehog.Internal.Discovery","link":"Hedgehog-Internal-Discovery.html#t:Position"},{"display_html":"type TExpQ a = CodeQ a","name":"TExpQ","module":"Hedgehog.Internal.TH","link":"Hedgehog-Internal-TH.html#t:TExpQ"},{"display_html":"discover :: TExpQ Group","name":"discover","module":"Hedgehog.Internal.TH","link":"Hedgehog-Internal-TH.html#v:discover"},{"display_html":"discoverPrefix :: String -> TExpQ Group","name":"discoverPrefix","module":"Hedgehog.Internal.TH","link":"Hedgehog-Internal-TH.html#v:discoverPrefix"},{"display_html":"data UseColor","name":"UseColor DisableColor EnableColor","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#t:UseColor"},{"display_html":"resolveColor :: MonadIO m => Maybe UseColor -> m UseColor","name":"resolveColor","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:resolveColor"},{"display_html":"data Seed = Seed {}","name":"Seed Seed seedValue seedGamma","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#t:Seed"},{"display_html":"resolveSeed :: MonadIO m => Maybe Seed -> m Seed","name":"resolveSeed","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:resolveSeed"},{"display_html":"data Verbosity","name":"Verbosity Quiet Normal","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#t:Verbosity"},{"display_html":"resolveVerbosity :: MonadIO m => Maybe Verbosity -> m Verbosity","name":"resolveVerbosity","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:resolveVerbosity"},{"display_html":"newtype WorkerCount = WorkerCount Int","name":"WorkerCount WorkerCount","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#t:WorkerCount"},{"display_html":"resolveWorkers :: MonadIO m => Maybe WorkerCount -> m WorkerCount","name":"resolveWorkers","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:resolveWorkers"},{"display_html":"data Skip","name":"Skip SkipNothing SkipToTest SkipToShrink","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#t:Skip"},{"display_html":"resolveSkip :: MonadIO m => Maybe Skip -> m Skip","name":"resolveSkip","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:resolveSkip"},{"display_html":"detectMark :: MonadIO m => m Bool","name":"detectMark","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:detectMark"},{"display_html":"detectColor :: MonadIO m => m UseColor","name":"detectColor","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:detectColor"},{"display_html":"detectSeed :: MonadIO m => m Seed","name":"detectSeed","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:detectSeed"},{"display_html":"detectVerbosity :: MonadIO m => m Verbosity","name":"detectVerbosity","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:detectVerbosity"},{"display_html":"detectWorkers :: MonadIO m => m WorkerCount","name":"detectWorkers","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:detectWorkers"},{"display_html":"detectSkip :: MonadIO m => m Skip","name":"detectSkip","module":"Hedgehog.Internal.Config","link":"Hedgehog-Internal-Config.html#v:detectSkip"},{"display_html":"data Summary = Summary {}","name":"Summary Summary summaryWaiting summaryRunning summaryFailed summaryGaveUp summaryOK","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:Summary"},{"display_html":"data Report a = Report {}","name":"Report Report reportTests reportDiscards reportCoverage reportSeed reportStatus","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:Report"},{"display_html":"data Progress","name":"Progress Running Shrinking","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:Progress"},{"display_html":"data Result","name":"Result Failed GaveUp OK","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:Result"},{"display_html":"data FailureReport = FailureReport {}","name":"FailureReport FailureReport failureShrinks failureShrinkPath failureCoverage failureAnnotations failureLocation failureMessage failureDiff failureFootnotes","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:FailureReport"},{"display_html":"data FailedAnnotation = FailedAnnotation {}","name":"FailedAnnotation FailedAnnotation failedSpan failedValue","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:FailedAnnotation"},{"display_html":"data Style","name":"Style StyleDefault StyleAnnotation StyleFailure","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:Style"},{"display_html":"data Markup","name":"Markup WaitingIcon WaitingHeader RunningIcon RunningHeader ShrinkingIcon ShrinkingHeader FailedIcon FailedText GaveUpIcon GaveUpText SuccessIcon SuccessText CoverageIcon CoverageText CoverageFill DeclarationLocation StyledLineNo StyledBorder StyledSource AnnotationGutter AnnotationValue FailureArrows FailureGutter FailureMessage DiffPrefix DiffInfix DiffSuffix DiffSame DiffRemoved DiffAdded ReproduceHeader ReproduceGutter ReproduceSource","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:Markup"},{"display_html":"data Config = Config {}","name":"Config Config configPrintReproduceMessage configPrintPrefixIcons configContext configPrintFailedAtLocation configPrintShrinkPath","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:Config"},{"display_html":"defaultConfig :: Config","name":"defaultConfig","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:defaultConfig"},{"display_html":"data Context","name":"Context Context FullContext","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:Context"},{"display_html":"data Lines","name":"Lines","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:Lines"},{"display_html":"data PrintPrefixIcons","name":"PrintPrefixIcons DisablePrefixIcons EnablePrefixIcons","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#t:PrintPrefixIcons"},{"display_html":"renderProgress :: MonadIO m => UseColor -> Maybe PropertyName -> Report Progress -> m String","name":"renderProgress","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:renderProgress"},{"display_html":"renderResult :: MonadIO m => UseColor -> Maybe PropertyName -> Report Result -> m String","name":"renderResult","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:renderResult"},{"display_html":"renderResultWith :: MonadIO m => Config -> UseColor -> Maybe PropertyName -> Report Result -> m String","name":"renderResultWith","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:renderResultWith"},{"display_html":"renderSummary :: MonadIO m => UseColor -> Summary -> m String","name":"renderSummary","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:renderSummary"},{"display_html":"renderDoc :: MonadIO m => UseColor -> Doc Markup -> m String","name":"renderDoc","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:renderDoc"},{"display_html":"ppProgress :: MonadIO m => Maybe PropertyName -> Report Progress -> m (Doc Markup)","name":"ppProgress","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:ppProgress"},{"display_html":"ppResult :: MonadIO m => Maybe PropertyName -> Report Result -> m (Doc Markup)","name":"ppResult","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:ppResult"},{"display_html":"ppResultWith :: MonadIO m => Config -> Maybe PropertyName -> Report Result -> m (Doc Markup)","name":"ppResultWith","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:ppResultWith"},{"display_html":"ppSummary :: MonadIO m => Summary -> m (Doc Markup)","name":"ppSummary","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:ppSummary"},{"display_html":"fromResult :: Result -> Summary","name":"fromResult","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:fromResult"},{"display_html":"mkFailure :: ShrinkCount -> ShrinkPath -> Maybe (Coverage CoverCount) -> Maybe Span -> String -> Maybe Diff -> [Log] -> FailureReport","name":"mkFailure","module":"Hedgehog.Internal.Report","link":"Hedgehog-Internal-Report.html#v:mkFailure"},{"display_html":"newtype TaskIndex = TaskIndex Int","name":"TaskIndex TaskIndex","module":"Hedgehog.Internal.Queue","link":"Hedgehog-Internal-Queue.html#t:TaskIndex"},{"display_html":"newtype TasksRemaining = TasksRemaining Int","name":"TasksRemaining TasksRemaining","module":"Hedgehog.Internal.Queue","link":"Hedgehog-Internal-Queue.html#t:TasksRemaining"},{"display_html":"runTasks :: WorkerCount -> [a] -> (TasksRemaining -> TaskIndex -> a -> IO b) -> (b -> IO ()) -> (b -> IO ()) -> (b -> IO c) -> IO [c]","name":"runTasks","module":"Hedgehog.Internal.Queue","link":"Hedgehog-Internal-Queue.html#v:runTasks"},{"display_html":"finalizeTask :: MonadIO m => MVar (TaskIndex, Map TaskIndex (IO ())) -> TaskIndex -> IO () -> m ()","name":"finalizeTask","module":"Hedgehog.Internal.Queue","link":"Hedgehog-Internal-Queue.html#v:finalizeTask"},{"display_html":"runActiveFinalizers :: MonadIO m => MVar (TaskIndex, Map TaskIndex (IO ())) -> m ()","name":"runActiveFinalizers","module":"Hedgehog.Internal.Queue","link":"Hedgehog-Internal-Queue.html#v:runActiveFinalizers"},{"display_html":"dequeueMVar :: MVar [(TaskIndex, a)] -> (TasksRemaining -> TaskIndex -> a -> IO b) -> IO (Maybe (TaskIndex, b))","name":"dequeueMVar","module":"Hedgehog.Internal.Queue","link":"Hedgehog-Internal-Queue.html#v:dequeueMVar"},{"display_html":"updateNumCapabilities :: WorkerCount -> IO ()","name":"updateNumCapabilities","module":"Hedgehog.Internal.Queue","link":"Hedgehog-Internal-Queue.html#v:updateNumCapabilities"},{"display_html":"check :: MonadIO m => Property -> m Bool","name":"check","module":"Hedgehog.Internal.Runner","link":"Hedgehog-Internal-Runner.html#v:check"},{"display_html":"recheck :: MonadIO m => Size -> Seed -> Property -> m ()","name":"recheck","module":"Hedgehog.Internal.Runner","link":"Hedgehog-Internal-Runner.html#v:recheck"},{"display_html":"recheckAt :: MonadIO m => Seed -> Skip -> Property -> m ()","name":"recheckAt","module":"Hedgehog.Internal.Runner","link":"Hedgehog-Internal-Runner.html#v:recheckAt"},{"display_html":"data RunnerConfig = RunnerConfig {}","name":"RunnerConfig RunnerConfig runnerWorkers runnerColor runnerSeed runnerVerbosity","module":"Hedgehog.Internal.Runner","link":"Hedgehog-Internal-Runner.html#t:RunnerConfig"},{"display_html":"checkParallel :: MonadIO m => Group -> m Bool","name":"checkParallel","module":"Hedgehog.Internal.Runner","link":"Hedgehog-Internal-Runner.html#v:checkParallel"},{"display_html":"checkSequential :: MonadIO m => Group -> m Bool","name":"checkSequential","module":"Hedgehog.Internal.Runner","link":"Hedgehog-Internal-Runner.html#v:checkSequential"},{"display_html":"checkGroup :: MonadIO m => RunnerConfig -> Group -> m Bool","name":"checkGroup","module":"Hedgehog.Internal.Runner","link":"Hedgehog-Internal-Runner.html#v:checkGroup"},{"display_html":"checkReport :: (MonadIO m, MonadCatch m) => PropertyConfig -> Size -> Seed -> PropertyT m () -> (Report Progress -> m ()) -> m (Report Result)","name":"checkReport","module":"Hedgehog.Internal.Runner","link":"Hedgehog-Internal-Runner.html#v:checkReport"},{"display_html":"checkRegion :: MonadIO m => Region -> UseColor -> Maybe PropertyName -> Size -> Seed -> Property -> m (Report Result)","name":"checkRegion","module":"Hedgehog.Internal.Runner","link":"Hedgehog-Internal-Runner.html#v:checkRegion"},{"display_html":"checkNamed :: MonadIO m => Region -> UseColor -> Maybe PropertyName -> Maybe Seed -> Property -> m (Report Result)","name":"checkNamed","module":"Hedgehog.Internal.Runner","link":"Hedgehog-Internal-Runner.html#v:checkNamed"},{"display_html":"shrink :: MonadGen m => (a -> [a]) -> m a -> m a","name":"shrink","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:shrink"},{"display_html":"prune :: MonadGen m => m a -> m a","name":"prune","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:prune"},{"display_html":"small :: MonadGen m => m a -> m a","name":"small","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:small"},{"display_html":"scale :: (HasCallStack, MonadGen m) => (Size -> Size) -> m a -> m a","name":"scale","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:scale"},{"display_html":"resize :: MonadGen m => Size -> m a -> m a","name":"resize","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:resize"},{"display_html":"sized :: MonadGen m => (Size -> m a) -> m a","name":"sized","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:sized"},{"display_html":"integral :: (MonadGen m, Integral a) => Range a -> m a","name":"integral","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:integral"},{"display_html":"integral_ :: (MonadGen m, Integral a) => Range a -> m a","name":"integral_","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:integral_"},{"display_html":"int :: MonadGen m => Range Int -> m Int","name":"int","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:int"},{"display_html":"int8 :: MonadGen m => Range Int8 -> m Int8","name":"int8","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:int8"},{"display_html":"int16 :: MonadGen m => Range Int16 -> m Int16","name":"int16","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:int16"},{"display_html":"int32 :: MonadGen m => Range Int32 -> m Int32","name":"int32","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:int32"},{"display_html":"int64 :: MonadGen m => Range Int64 -> m Int64","name":"int64","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:int64"},{"display_html":"word :: MonadGen m => Range Word -> m Word","name":"word","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:word"},{"display_html":"word8 :: MonadGen m => Range Word8 -> m Word8","name":"word8","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:word8"},{"display_html":"word16 :: MonadGen m => Range Word16 -> m Word16","name":"word16","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:word16"},{"display_html":"word32 :: MonadGen m => Range Word32 -> m Word32","name":"word32","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:word32"},{"display_html":"word64 :: MonadGen m => Range Word64 -> m Word64","name":"word64","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:word64"},{"display_html":"realFloat :: (MonadGen m, RealFloat a) => Range a -> m a","name":"realFloat","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:realFloat"},{"display_html":"realFrac_ :: (MonadGen m, RealFrac a) => Range a -> m a","name":"realFrac_","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:realFrac_"},{"display_html":"float :: MonadGen m => Range Float -> m Float","name":"float","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:float"},{"display_html":"double :: MonadGen m => Range Double -> m Double","name":"double","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:double"},{"display_html":"enum :: (MonadGen m, Enum a) => a -> a -> m a","name":"enum","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:enum"},{"display_html":"enumBounded :: (MonadGen m, Enum a, Bounded a) => m a","name":"enumBounded","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:enumBounded"},{"display_html":"bool :: MonadGen m => m Bool","name":"bool","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:bool"},{"display_html":"bool_ :: MonadGen m => m Bool","name":"bool_","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:bool_"},{"display_html":"binit :: MonadGen m => m Char","name":"binit","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:binit"},{"display_html":"octit :: MonadGen m => m Char","name":"octit","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:octit"},{"display_html":"digit :: MonadGen m => m Char","name":"digit","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:digit"},{"display_html":"hexit :: MonadGen m => m Char","name":"hexit","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:hexit"},{"display_html":"lower :: MonadGen m => m Char","name":"lower","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:lower"},{"display_html":"upper :: MonadGen m => m Char","name":"upper","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:upper"},{"display_html":"alpha :: MonadGen m => m Char","name":"alpha","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:alpha"},{"display_html":"alphaNum :: MonadGen m => m Char","name":"alphaNum","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:alphaNum"},{"display_html":"ascii :: MonadGen m => m Char","name":"ascii","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:ascii"},{"display_html":"latin1 :: MonadGen m => m Char","name":"latin1","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:latin1"},{"display_html":"unicode :: MonadGen m => m Char","name":"unicode","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:unicode"},{"display_html":"unicodeAll :: MonadGen m => m Char","name":"unicodeAll","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:unicodeAll"},{"display_html":"string :: MonadGen m => Range Int -> m Char -> m String","name":"string","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:string"},{"display_html":"text :: MonadGen m => Range Int -> m Char -> m Text","name":"text","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:text"},{"display_html":"utf8 :: MonadGen m => Range Int -> m Char -> m ByteString","name":"utf8","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:utf8"},{"display_html":"bytes :: MonadGen m => Range Int -> m ByteString","name":"bytes","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:bytes"},{"display_html":"constant :: MonadGen m => a -> m a","name":"constant","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:constant"},{"display_html":"element :: (HasCallStack, Foldable f, MonadGen m) => f a -> m a","name":"element","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:element"},{"display_html":"choice :: (HasCallStack, MonadGen m) => [m a] -> m a","name":"choice","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:choice"},{"display_html":"frequency :: (HasCallStack, MonadGen m) => [(Int, m a)] -> m a","name":"frequency","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:frequency"},{"display_html":"recursive :: MonadGen m => ([m a] -> m a) -> [m a] -> [m a] -> m a","name":"recursive","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:recursive"},{"display_html":"discard :: MonadGen m => m a","name":"discard","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:discard"},{"display_html":"filter :: (MonadGen m, GenBase m ~ Identity) => (a -> Bool) -> m a -> m a","name":"filter","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:filter"},{"display_html":"filterT :: MonadGen m => (a -> Bool) -> m a -> m a","name":"filterT","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:filterT"},{"display_html":"mapMaybe :: (MonadGen m, GenBase m ~ Identity) => (a -> Maybe b) -> m a -> m b","name":"mapMaybe","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:mapMaybe"},{"display_html":"mapMaybeT :: MonadGen m => (a -> Maybe b) -> m a -> m b","name":"mapMaybeT","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:mapMaybeT"},{"display_html":"just :: (MonadGen m, GenBase m ~ Identity) => m (Maybe a) -> m a","name":"just","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:just"},{"display_html":"justT :: MonadGen m => m (Maybe a) -> m a","name":"justT","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:justT"},{"display_html":"maybe :: MonadGen m => m a -> m (Maybe a)","name":"maybe","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:maybe"},{"display_html":"either :: MonadGen m => m a -> m b -> m (Either a b)","name":"either","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:either"},{"display_html":"either_ :: MonadGen m => m a -> m b -> m (Either a b)","name":"either_","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:either_"},{"display_html":"list :: MonadGen m => Range Int -> m a -> m [a]","name":"list","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:list"},{"display_html":"seq :: MonadGen m => Range Int -> m a -> m (Seq a)","name":"seq","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:seq"},{"display_html":"nonEmpty :: MonadGen m => Range Int -> m a -> m (NonEmpty a)","name":"nonEmpty","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:nonEmpty"},{"display_html":"set :: (MonadGen m, Ord a) => Range Int -> m a -> m (Set a)","name":"set","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:set"},{"display_html":"map :: (MonadGen m, Ord k) => Range Int -> m (k, v) -> m (Map k v)","name":"map","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:map"},{"display_html":"freeze :: MonadGen m => m a -> m (a, m a)","name":"freeze","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:freeze"},{"display_html":"subterm :: MonadGen m => m a -> (a -> a) -> m a","name":"subterm","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:subterm"},{"display_html":"subtermM :: MonadGen m => m a -> (a -> m a) -> m a","name":"subtermM","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:subtermM"},{"display_html":"subterm2 :: MonadGen m => m a -> m a -> (a -> a -> a) -> m a","name":"subterm2","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:subterm2"},{"display_html":"subtermM2 :: MonadGen m => m a -> m a -> (a -> a -> m a) -> m a","name":"subtermM2","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:subtermM2"},{"display_html":"subterm3 :: MonadGen m => m a -> m a -> m a -> (a -> a -> a -> a) -> m a","name":"subterm3","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:subterm3"},{"display_html":"subtermM3 :: MonadGen m => m a -> m a -> m a -> (a -> a -> a -> m a) -> m a","name":"subtermM3","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:subtermM3"},{"display_html":"subsequence :: MonadGen m => [a] -> m [a]","name":"subsequence","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:subsequence"},{"display_html":"subset :: MonadGen m => Set a -> m (Set a)","name":"subset","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:subset"},{"display_html":"shuffle :: MonadGen m => [a] -> m [a]","name":"shuffle","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:shuffle"},{"display_html":"sequential :: forall gen (m :: Type -> Type) state. (MonadGen gen, MonadTest m) => Range Int -> (forall (v :: Type -> Type). state v) -> [Command gen m state] -> gen (Sequential m state)","name":"sequential","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:sequential"},{"display_html":"parallel :: forall gen (m :: Type -> Type) state. (MonadGen gen, MonadTest m) => Range Int -> Range Int -> (forall (v :: Type -> Type). state v) -> [Command gen m state] -> gen (Parallel m state)","name":"parallel","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:parallel"},{"display_html":"sample :: (HasCallStack, MonadIO m) => Gen a -> m a","name":"sample","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:sample"},{"display_html":"print :: (MonadIO m, Show a) => Gen a -> m ()","name":"print","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:print"},{"display_html":"printTree :: (MonadIO m, Show a) => Gen a -> m ()","name":"printTree","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:printTree"},{"display_html":"printWith :: (MonadIO m, Show a) => Size -> Seed -> Gen a -> m ()","name":"printWith","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:printWith"},{"display_html":"printTreeWith :: (MonadIO m, Show a) => Size -> Seed -> Gen a -> m ()","name":"printTreeWith","module":"Hedgehog.Gen","link":"Hedgehog-Gen.html#v:printTreeWith"},{"display_html":"data Property","name":"Property","module":"Hedgehog","link":"Hedgehog.html#t:Property"},{"display_html":"data PropertyT (m :: Type -> Type) a","name":"PropertyT","module":"Hedgehog","link":"Hedgehog.html#t:PropertyT"},{"display_html":"data Group = Group {}","name":"Group groupName Group groupProperties","module":"Hedgehog","link":"Hedgehog.html#t:Group"},{"display_html":"data PropertyName","name":"PropertyName","module":"Hedgehog","link":"Hedgehog.html#t:PropertyName"},{"display_html":"data GroupName","name":"GroupName","module":"Hedgehog","link":"Hedgehog.html#t:GroupName"},{"display_html":"property :: HasCallStack => PropertyT IO () -> Property","name":"property","module":"Hedgehog","link":"Hedgehog.html#v:property"},{"display_html":"test :: forall (m :: Type -> Type) a. Monad m => TestT m a -> PropertyT m a","name":"test","module":"Hedgehog","link":"Hedgehog.html#v:test"},{"display_html":"forAll :: forall (m :: Type -> Type) a. (Monad m, Show a, HasCallStack) => Gen a -> PropertyT m a","name":"forAll","module":"Hedgehog","link":"Hedgehog.html#v:forAll"},{"display_html":"forAllWith :: forall (m :: Type -> Type) a. (Monad m, HasCallStack) => (a -> String) -> Gen a -> PropertyT m a","name":"forAllWith","module":"Hedgehog","link":"Hedgehog.html#v:forAllWith"},{"display_html":"discard :: forall (m :: Type -> Type) a. Monad m => PropertyT m a","name":"discard","module":"Hedgehog","link":"Hedgehog.html#v:discard"},{"display_html":"check :: MonadIO m => Property -> m Bool","name":"check","module":"Hedgehog","link":"Hedgehog.html#v:check"},{"display_html":"recheck :: MonadIO m => Size -> Seed -> Property -> m ()","name":"recheck","module":"Hedgehog","link":"Hedgehog.html#v:recheck"},{"display_html":"recheckAt :: MonadIO m => Seed -> Skip -> Property -> m ()","name":"recheckAt","module":"Hedgehog","link":"Hedgehog.html#v:recheckAt"},{"display_html":"discover :: TExpQ Group","name":"discover","module":"Hedgehog","link":"Hedgehog.html#v:discover"},{"display_html":"discoverPrefix :: String -> TExpQ Group","name":"discoverPrefix","module":"Hedgehog","link":"Hedgehog.html#v:discoverPrefix"},{"display_html":"checkParallel :: MonadIO m => Group -> m Bool","name":"checkParallel","module":"Hedgehog","link":"Hedgehog.html#v:checkParallel"},{"display_html":"checkSequential :: MonadIO m => Group -> m Bool","name":"checkSequential","module":"Hedgehog","link":"Hedgehog.html#v:checkSequential"},{"display_html":"data Confidence","name":"Confidence","module":"Hedgehog","link":"Hedgehog.html#t:Confidence"},{"display_html":"verifiedTermination :: Property -> Property","name":"verifiedTermination","module":"Hedgehog","link":"Hedgehog.html#v:verifiedTermination"},{"display_html":"withConfidence :: Confidence -> Property -> Property","name":"withConfidence","module":"Hedgehog","link":"Hedgehog.html#v:withConfidence"},{"display_html":"withTests :: TestLimit -> Property -> Property","name":"withTests","module":"Hedgehog","link":"Hedgehog.html#v:withTests"},{"display_html":"data TestLimit","name":"TestLimit","module":"Hedgehog","link":"Hedgehog.html#t:TestLimit"},{"display_html":"withDiscards :: DiscardLimit -> Property -> Property","name":"withDiscards","module":"Hedgehog","link":"Hedgehog.html#v:withDiscards"},{"display_html":"data DiscardLimit","name":"DiscardLimit","module":"Hedgehog","link":"Hedgehog.html#t:DiscardLimit"},{"display_html":"withShrinks :: ShrinkLimit -> Property -> Property","name":"withShrinks","module":"Hedgehog","link":"Hedgehog.html#v:withShrinks"},{"display_html":"data ShrinkLimit","name":"ShrinkLimit","module":"Hedgehog","link":"Hedgehog.html#t:ShrinkLimit"},{"display_html":"withRetries :: ShrinkRetries -> Property -> Property","name":"withRetries","module":"Hedgehog","link":"Hedgehog.html#v:withRetries"},{"display_html":"data ShrinkRetries","name":"ShrinkRetries","module":"Hedgehog","link":"Hedgehog.html#t:ShrinkRetries"},{"display_html":"withSkip :: Skip -> Property -> Property","name":"withSkip","module":"Hedgehog","link":"Hedgehog.html#v:withSkip"},{"display_html":"data Skip","name":"Skip","module":"Hedgehog","link":"Hedgehog.html#t:Skip"},{"display_html":"type Gen = GenT Identity","name":"Gen","module":"Hedgehog","link":"Hedgehog.html#t:Gen"},{"display_html":"data GenT (m :: Type -> Type) a","name":"GenT","module":"Hedgehog","link":"Hedgehog.html#t:GenT"},{"display_html":"class (Monad m, Monad (GenBase m)) => MonadGen (m :: Type -> Type) where","name":"MonadGen GenBase fromGenT toGenT","module":"Hedgehog","link":"Hedgehog.html#t:MonadGen"},{"display_html":"data Range a","name":"Range","module":"Hedgehog","link":"Hedgehog.html#t:Range"},{"display_html":"newtype Size = Size {}","name":"Size Size unSize","module":"Hedgehog","link":"Hedgehog.html#t:Size"},{"display_html":"data Seed = Seed {}","name":"Seed Seed seedValue seedGamma","module":"Hedgehog","link":"Hedgehog.html#t:Seed"},{"display_html":"type Test = TestT Identity","name":"Test","module":"Hedgehog","link":"Hedgehog.html#t:Test"},{"display_html":"data TestT (m :: Type -> Type) a","name":"TestT","module":"Hedgehog","link":"Hedgehog.html#t:TestT"},{"display_html":"class Monad m => MonadTest (m :: Type -> Type) where","name":"MonadTest liftTest","module":"Hedgehog","link":"Hedgehog.html#t:MonadTest"},{"display_html":"annotate :: (MonadTest m, HasCallStack) => String -> m ()","name":"annotate","module":"Hedgehog","link":"Hedgehog.html#v:annotate"},{"display_html":"annotateShow :: (MonadTest m, Show a, HasCallStack) => a -> m ()","name":"annotateShow","module":"Hedgehog","link":"Hedgehog.html#v:annotateShow"},{"display_html":"footnote :: MonadTest m => String -> m ()","name":"footnote","module":"Hedgehog","link":"Hedgehog.html#v:footnote"},{"display_html":"footnoteShow :: (MonadTest m, Show a) => a -> m ()","name":"footnoteShow","module":"Hedgehog","link":"Hedgehog.html#v:footnoteShow"},{"display_html":"success :: MonadTest m => m ()","name":"success","module":"Hedgehog","link":"Hedgehog.html#v:success"},{"display_html":"failure :: (MonadTest m, HasCallStack) => m a","name":"failure","module":"Hedgehog","link":"Hedgehog.html#v:failure"},{"display_html":"assert :: (MonadTest m, HasCallStack) => Bool -> m ()","name":"assert","module":"Hedgehog","link":"Hedgehog.html#v:assert"},{"display_html":"diff :: (MonadTest m, Show a, Show b, HasCallStack) => a -> (a -> b -> Bool) -> b -> m ()","name":"diff","module":"Hedgehog","link":"Hedgehog.html#v:diff"},{"display_html":"(===) :: (MonadTest m, Eq a, Show a, HasCallStack) => a -> a -> m ()","name":"===","module":"Hedgehog","link":"Hedgehog.html#v:-61--61--61-"},{"display_html":"(/==) :: (MonadTest m, Eq a, Show a, HasCallStack) => a -> a -> m ()","name":"/==","module":"Hedgehog","link":"Hedgehog.html#v:-47--61--61-"},{"display_html":"tripping :: (MonadTest m, Applicative f, Show b, Show (f a), Eq (f a), HasCallStack) => a -> (a -> b) -> (b -> f a) -> m ()","name":"tripping","module":"Hedgehog","link":"Hedgehog.html#v:tripping"},{"display_html":"eval :: (MonadTest m, HasCallStack) => a -> m a","name":"eval","module":"Hedgehog","link":"Hedgehog.html#v:eval"},{"display_html":"evalNF :: (MonadTest m, NFData a, HasCallStack) => a -> m a","name":"evalNF","module":"Hedgehog","link":"Hedgehog.html#v:evalNF"},{"display_html":"evalM :: (MonadTest m, MonadCatch m, HasCallStack) => m a -> m a","name":"evalM","module":"Hedgehog","link":"Hedgehog.html#v:evalM"},{"display_html":"evalIO :: (MonadTest m, MonadIO m, HasCallStack) => IO a -> m a","name":"evalIO","module":"Hedgehog","link":"Hedgehog.html#v:evalIO"},{"display_html":"evalEither :: (MonadTest m, Show x, HasCallStack) => Either x a -> m a","name":"evalEither","module":"Hedgehog","link":"Hedgehog.html#v:evalEither"},{"display_html":"evalEitherM :: (MonadTest m, Show x, MonadCatch m, HasCallStack) => m (Either x a) -> m a","name":"evalEitherM","module":"Hedgehog","link":"Hedgehog.html#v:evalEitherM"},{"display_html":"evalExceptT :: (MonadTest m, Show x, HasCallStack) => ExceptT x m a -> m a","name":"evalExceptT","module":"Hedgehog","link":"Hedgehog.html#v:evalExceptT"},{"display_html":"evalMaybe :: (MonadTest m, HasCallStack) => Maybe a -> m a","name":"evalMaybe","module":"Hedgehog","link":"Hedgehog.html#v:evalMaybe"},{"display_html":"evalMaybeM :: (MonadTest m, MonadCatch m, HasCallStack) => m (Maybe a) -> m a","name":"evalMaybeM","module":"Hedgehog","link":"Hedgehog.html#v:evalMaybeM"},{"display_html":"data LabelName","name":"LabelName","module":"Hedgehog","link":"Hedgehog.html#t:LabelName"},{"display_html":"classify :: (MonadTest m, HasCallStack) => LabelName -> Bool -> m ()","name":"classify","module":"Hedgehog","link":"Hedgehog.html#v:classify"},{"display_html":"cover :: (MonadTest m, HasCallStack) => CoverPercentage -> LabelName -> Bool -> m ()","name":"cover","module":"Hedgehog","link":"Hedgehog.html#v:cover"},{"display_html":"label :: (MonadTest m, HasCallStack) => LabelName -> m ()","name":"label","module":"Hedgehog","link":"Hedgehog.html#v:label"},{"display_html":"collect :: (MonadTest m, Show a, HasCallStack) => a -> m ()","name":"collect","module":"Hedgehog","link":"Hedgehog.html#v:collect"},{"display_html":"data Command (gen :: Type -> Type) (m :: Type -> Type) (state :: (Type -> Type) -> Type) = (TraversableB input, Show (input Symbolic), Show output, Typeable output) => Command {}","name":"Command Command commandGen commandExecute commandCallbacks","module":"Hedgehog","link":"Hedgehog.html#t:Command"},{"display_html":"data Callback (input :: (Type -> Type) -> Type) output (state :: (Type -> Type) -> Type)","name":"Callback Require Update Ensure","module":"Hedgehog","link":"Hedgehog.html#t:Callback"},{"display_html":"data Action (m :: Type -> Type) (state :: (Type -> Type) -> Type)","name":"Action","module":"Hedgehog","link":"Hedgehog.html#t:Action"},{"display_html":"newtype Sequential (m :: Type -> Type) (state :: (Type -> Type) -> Type) = Sequential {}","name":"Sequential Sequential sequentialActions","module":"Hedgehog","link":"Hedgehog.html#t:Sequential"},{"display_html":"data Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type) = Parallel {}","name":"Parallel Parallel parallelPrefix parallelBranch1 parallelBranch2","module":"Hedgehog","link":"Hedgehog.html#t:Parallel"},{"display_html":"executeSequential :: (MonadTest m, MonadCatch m, HasCallStack) => (forall (v :: Type -> Type). state v) -> Sequential m state -> m ()","name":"executeSequential","module":"Hedgehog","link":"Hedgehog.html#v:executeSequential"},{"display_html":"executeParallel :: (MonadTest m, MonadCatch m, MonadBaseControl IO m, HasCallStack) => (forall (v :: Type -> Type). state v) -> Parallel m state -> m ()","name":"executeParallel","module":"Hedgehog","link":"Hedgehog.html#v:executeParallel"},{"display_html":"newtype Var a (v :: Type -> Type) = Var (v a)","name":"Var Var","module":"Hedgehog","link":"Hedgehog.html#t:Var"},{"display_html":"concrete :: Var a Concrete -> a","name":"concrete","module":"Hedgehog","link":"Hedgehog.html#v:concrete"},{"display_html":"opaque :: Var (Opaque a) Concrete -> a","name":"opaque","module":"Hedgehog","link":"Hedgehog.html#v:opaque"},{"display_html":"data Symbolic a","name":"Symbolic","module":"Hedgehog","link":"Hedgehog.html#t:Symbolic"},{"display_html":"newtype Concrete a where","name":"Concrete Concrete","module":"Hedgehog","link":"Hedgehog.html#t:Concrete"},{"display_html":"newtype Opaque a = Opaque {}","name":"Opaque Opaque unOpaque","module":"Hedgehog","link":"Hedgehog.html#t:Opaque"},{"display_html":"distributeT :: forall f (m :: Type -> Type) a. (MonadTransDistributive g, Transformer f g m) => g (f m) a -> f (g m) a","name":"distributeT","module":"Hedgehog","link":"Hedgehog.html#v:distributeT"},{"display_html":"class FunctorB (b :: (k -> Type) -> Type) where","name":"FunctorB bmap $dmbmap","module":"Hedgehog","link":"Hedgehog.html#t:FunctorB"},{"display_html":"class FunctorB b => TraversableB (b :: (k -> Type) -> Type) where","name":"TraversableB btraverse $dmbtraverse","module":"Hedgehog","link":"Hedgehog.html#t:TraversableB"},{"display_html":"newtype Rec p a (x :: k) = Rec {}","name":"Rec Rec unRec","module":"Hedgehog","link":"Hedgehog.html#t:Rec"},{"display_html":"class (forall a. Eq a => Eq (f a)) => Eq1 (f :: Type -> Type)","name":"Eq1","module":"Hedgehog","link":"Hedgehog.html#t:Eq1"},{"display_html":"eq1 :: (Eq1 f, Eq a) => f a -> f a -> Bool","name":"eq1","module":"Hedgehog","link":"Hedgehog.html#v:eq1"},{"display_html":"class (Eq1 f, forall a. Ord a => Ord (f a)) => Ord1 (f :: Type -> Type)","name":"Ord1","module":"Hedgehog","link":"Hedgehog.html#t:Ord1"},{"display_html":"compare1 :: (Ord1 f, Ord a) => f a -> f a -> Ordering","name":"compare1","module":"Hedgehog","link":"Hedgehog.html#v:compare1"},{"display_html":"class (forall a. Show a => Show (f a)) => Show1 (f :: Type -> Type)","name":"Show1","module":"Hedgehog","link":"Hedgehog.html#t:Show1"},{"display_html":"showsPrec1 :: (Show1 f, Show a) => Int -> f a -> ShowS","name":"showsPrec1","module":"Hedgehog","link":"Hedgehog.html#v:showsPrec1"},{"display_html":"class HTraversable (t :: (Type -> Type) -> Type) where","name":"HTraversable htraverse","module":"Hedgehog","link":"Hedgehog.html#t:HTraversable"}]