-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Lambdabot trusted code.
--   
--   Lambdabot is an IRC bot written over several years by those on the
--   #haskell IRC channel.
--   
--   This small package provides functions used by the @run command.
@package lambdabot-trusted
@version 5.3.1.2

module Lambdabot.Plugin.Haskell.Eval.Trusted
vector :: Arbitrary a => Int -> Gen [a]
(==>) :: STestable prop => Bool -> prop -> SProperty
data Fun a b
Fun :: (a :-> b, b, Shrunk) -> (a -> b) -> Fun a b
discard :: a
data Gen a
variant :: Integral n => n -> Gen a -> Gen a
sized :: (Int -> Gen a) -> Gen a
getSize :: Gen Int
resize :: HasCallStack => Int -> Gen a -> Gen a
scale :: (Int -> Int) -> Gen a -> Gen a
choose :: Random a => (a, a) -> Gen a
chooseAny :: Random a => Gen a
chooseEnum :: Enum a => (a, a) -> Gen a
chooseInt :: (Int, Int) -> Gen Int
chooseBoundedIntegral :: (Bounded a, Integral a) => (a, a) -> Gen a
chooseInteger :: (Integer, Integer) -> Gen Integer
generate :: Gen a -> IO a
sample' :: Gen a -> IO [a]
sample :: Show a => Gen a -> IO ()
suchThat :: Gen a -> (a -> Bool) -> Gen a
suchThatMap :: Gen a -> (a -> Maybe b) -> Gen b
suchThatMaybe :: Gen a -> (a -> Bool) -> Gen (Maybe a)
oneof :: HasCallStack => [Gen a] -> Gen a
frequency :: HasCallStack => [(Int, Gen a)] -> Gen a
elements :: HasCallStack => [a] -> Gen a
sublistOf :: [a] -> Gen [a]
shuffle :: [a] -> Gen [a]
growingElements :: HasCallStack => [a] -> Gen a
listOf :: Gen a -> Gen [a]
listOf1 :: Gen a -> Gen [a]
vectorOf :: Int -> Gen a -> Gen [a]
infiniteListOf :: Gen a -> Gen [a]
class CoArbitrary a
coarbitrary :: CoArbitrary a => a -> Gen b -> Gen b
class Arbitrary2 (f :: Type -> Type -> Type)
liftArbitrary2 :: Arbitrary2 f => Gen a -> Gen b -> Gen (f a b)
liftShrink2 :: Arbitrary2 f => (a -> [a]) -> (b -> [b]) -> f a b -> [f a b]
class Arbitrary1 (f :: Type -> Type)
liftArbitrary :: Arbitrary1 f => Gen a -> Gen (f a)
liftShrink :: Arbitrary1 f => (a -> [a]) -> f a -> [f a]
class Arbitrary a
arbitrary :: Arbitrary a => Gen a
shrink :: Arbitrary a => a -> [a]
arbitrary1 :: (Arbitrary1 f, Arbitrary a) => Gen (f a)
shrink1 :: (Arbitrary1 f, Arbitrary a) => f a -> [f a]
arbitrary2 :: (Arbitrary2 f, Arbitrary a, Arbitrary b) => Gen (f a b)
shrink2 :: (Arbitrary2 f, Arbitrary a, Arbitrary b) => f a b -> [f a b]
genericShrink :: (Generic a, RecursivelyShrink (Rep a), GSubterms (Rep a) a) => a -> [a]
recursivelyShrink :: (Generic a, RecursivelyShrink (Rep a)) => a -> [a]
subterms :: (Generic a, GSubterms (Rep a) a) => a -> [a]
shrinkList :: (a -> [a]) -> [a] -> [[a]]
applyArbitrary2 :: (Arbitrary a, Arbitrary b) => (a -> b -> r) -> Gen r
applyArbitrary3 :: (Arbitrary a, Arbitrary b, Arbitrary c) => (a -> b -> c -> r) -> Gen r
applyArbitrary4 :: (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => (a -> b -> c -> d -> r) -> Gen r
arbitrarySizedIntegral :: Integral a => Gen a
arbitrarySizedNatural :: Integral a => Gen a
arbitrarySizedFractional :: Fractional a => Gen a
arbitraryBoundedIntegral :: (Bounded a, Integral a) => Gen a
arbitraryBoundedRandom :: (Bounded a, Random a) => Gen a
arbitraryBoundedEnum :: (Bounded a, Enum a) => Gen a
arbitrarySizedBoundedIntegral :: (Bounded a, Integral a) => Gen a
arbitraryUnicodeChar :: Gen Char
arbitraryASCIIChar :: Gen Char
arbitraryPrintableChar :: Gen Char
shrinkNothing :: a -> [a]
shrinkMap :: Arbitrary a => (a -> b) -> (b -> a) -> b -> [b]
shrinkMapBy :: (a -> b) -> (b -> a) -> (a -> [a]) -> b -> [b]
shrinkIntegral :: Integral a => a -> [a]
shrinkBoundedEnum :: (Bounded a, Enum a, Eq a) => a -> [a]
shrinkRealFrac :: RealFrac a => a -> [a]
shrinkDecimal :: RealFrac a => a -> [a]
genericCoarbitrary :: (Generic a, GCoArbitrary (Rep a)) => a -> Gen b -> Gen b
(><) :: (Gen a -> Gen a) -> (Gen a -> Gen a) -> Gen a -> Gen a
coarbitraryIntegral :: Integral a => a -> Gen b -> Gen b
coarbitraryReal :: Real a => a -> Gen b -> Gen b
coarbitraryShow :: Show a => a -> Gen b -> Gen b
coarbitraryEnum :: Enum a => a -> Gen b -> Gen b
orderedList :: (Ord a, Arbitrary a) => Gen [a]
infiniteList :: Arbitrary a => Gen [a]
newtype PrintableString
PrintableString :: String -> PrintableString
[getPrintableString] :: PrintableString -> String
newtype UnicodeString
UnicodeString :: String -> UnicodeString
[getUnicodeString] :: UnicodeString -> String
newtype ASCIIString
ASCIIString :: String -> ASCIIString
[getASCIIString] :: ASCIIString -> String
class ShrinkState s a
shrinkInit :: ShrinkState s a => a -> s
shrinkState :: ShrinkState s a => a -> s -> [(a, s)]
data Shrinking s a
Shrinking :: s -> a -> Shrinking s a
data Smart a
Smart :: Int -> a -> Smart a
newtype Shrink2 a
Shrink2 :: a -> Shrink2 a
[getShrink2] :: Shrink2 a -> a
newtype Small a
Small :: a -> Small a
[getSmall] :: Small a -> a
newtype Large a
Large :: a -> Large a
[getLarge] :: Large a -> a
newtype NonPositive a
NonPositive :: a -> NonPositive a
[getNonPositive] :: NonPositive a -> a
newtype NonNegative a
NonNegative :: a -> NonNegative a
[getNonNegative] :: NonNegative a -> a
newtype NonZero a
NonZero :: a -> NonZero a
[getNonZero] :: NonZero a -> a
newtype Negative a
Negative :: a -> Negative a
[getNegative] :: Negative a -> a
newtype Positive a
Positive :: a -> Positive a
[getPositive] :: Positive a -> a
newtype SortedList a
Sorted :: [a] -> SortedList a
[getSorted] :: SortedList a -> [a]
data InfiniteList a
InfiniteList :: [a] -> InfiniteListInternalData a -> InfiniteList a
[getInfiniteList] :: InfiniteList a -> [a]
[infiniteListInternalData] :: InfiniteList a -> InfiniteListInternalData a
newtype NonEmptyList a
NonEmpty :: [a] -> NonEmptyList a
[getNonEmpty] :: NonEmptyList a -> [a]
newtype OrderedList a
Ordered :: [a] -> OrderedList a
[getOrdered] :: OrderedList a -> [a]
newtype Fixed a
Fixed :: a -> Fixed a
[getFixed] :: Fixed a -> a
newtype Blind a
Blind :: a -> Blind a
[getBlind] :: Blind a -> a
class Function a
function :: Function a => (a -> b) -> a :-> b
pattern Fn3 :: (a -> b -> c -> d) -> Fun (a, b, c) d
pattern Fn2 :: (a -> b -> c) -> Fun (a, b) c
pattern Fn :: (a -> b) -> Fun a b
functionBoundedEnum :: (Eq a, Bounded a, Enum a) => (a -> b) -> a :-> b
functionRealFrac :: RealFrac a => (a -> b) -> a :-> b
functionIntegral :: Integral a => (a -> b) -> a :-> b
functionShow :: (Show a, Read a) => (a -> c) -> a :-> c
functionVoid :: (forall b. () => void -> b) -> void :-> c
functionMap :: Function b => (a -> b) -> (b -> a) -> (a -> c) -> a :-> c
applyFun :: Fun a b -> a -> b
applyFun2 :: Fun (a, b) c -> a -> b -> c
applyFun3 :: Fun (a, b, c) d -> a -> b -> c -> d
data Confidence
Confidence :: Integer -> Double -> Confidence
[certainty] :: Confidence -> Integer
[tolerance] :: Confidence -> Double
data Witness
Wit :: a -> Witness
data Discard
Discard :: Discard
ioProperty :: Testable prop => IO prop -> Property
idempotentIOProperty :: Testable prop => IO prop -> Property
coerceWitness :: Typeable a => Witness -> a
castWitness :: Typeable a => Witness -> Maybe a
mapSize :: STestable prop => (Int -> Int) -> prop -> SProperty
shrinking :: STestable prop => (a -> [a]) -> a -> (a -> prop) -> SProperty
noShrinking :: STestable prop => prop -> SProperty
whenFail :: Testable prop => IO () -> prop -> Property
whenFail' :: Testable prop => IO () -> prop -> Property
verboseShrinking :: Testable prop => prop -> Property
again :: Testable prop => prop -> Property
withMaxSuccess :: Testable prop => Int -> prop -> Property
withDiscardRatio :: Testable prop => Int -> prop -> Property
withMaxShrinks :: Testable prop => Int -> prop -> Property
withMaxSize :: Testable prop => Int -> prop -> Property
witness :: (Typeable a, Show a, Testable prop) => a -> prop -> Property
checkCoverage :: Testable prop => prop -> Property
checkCoverageWith :: Testable prop => Confidence -> prop -> Property
stdConfidence :: Confidence
label :: STestable prop => String -> prop -> SProperty
tabulate :: Testable prop => String -> [String] -> prop -> Property
coverTable :: Testable prop => String -> [(String, Double)] -> prop -> Property
discardAfter :: Testable prop => Int -> prop -> Property
forAll :: (Show a, STestable prop) => Gen a -> (a -> prop) -> SProperty
forAllShow :: Testable prop => Gen a -> (a -> String) -> (a -> prop) -> Property
forAllBlind :: Testable prop => Gen a -> (a -> prop) -> Property
forAllShrink :: (Show a, STestable prop) => Gen a -> (a -> [a]) -> (a -> prop) -> SProperty
forAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> String) -> (a -> prop) -> Property
forAllShrinkBlind :: Testable prop => Gen a -> (a -> [a]) -> (a -> prop) -> Property
(.&.) :: (STestable prop2, STestable prop1) => prop1 -> prop2 -> SProperty
(.&&.) :: (STestable prop2, STestable prop1) => prop1 -> prop2 -> SProperty
(.||.) :: (STestable prop2, STestable prop1) => prop1 -> prop2 -> SProperty
(===) :: (Eq a, Show a) => a -> a -> SProperty
(=/=) :: (Eq a, Show a) => a -> a -> Property
total :: NFData a => a -> Property
data Result
Success :: Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String (Map String Int) -> String -> Result
[numTests] :: Result -> Int
[numDiscarded] :: Result -> Int
[labels] :: Result -> !Map [String] Int
[classes] :: Result -> !Map String Int
[tables] :: Result -> !Map String (Map String Int)
[output] :: Result -> String
GaveUp :: Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String (Map String Int) -> String -> Result
[numTests] :: Result -> Int
[numDiscarded] :: Result -> Int
[labels] :: Result -> !Map [String] Int
[classes] :: Result -> !Map String Int
[tables] :: Result -> !Map String (Map String Int)
[output] :: Result -> String
Failure :: Int -> Int -> Int -> Int -> Int -> QCGen -> Int -> String -> Maybe AnException -> String -> [String] -> [String] -> Set String -> [Witness] -> Result
[numTests] :: Result -> Int
[numDiscarded] :: Result -> Int
[numShrinks] :: Result -> Int
[numShrinkTries] :: Result -> Int
[numShrinkFinal] :: Result -> Int
[usedSeed] :: Result -> QCGen
[usedSize] :: Result -> Int
[reason] :: Result -> String
[theException] :: Result -> Maybe AnException
[output] :: Result -> String
[failingTestCase] :: Result -> [String]
[failingLabels] :: Result -> [String]
[failingClasses] :: Result -> Set String
[witnesses] :: Result -> [Witness]
NoExpectedFailure :: Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String (Map String Int) -> String -> Result
[numTests] :: Result -> Int
[numDiscarded] :: Result -> Int
[labels] :: Result -> !Map [String] Int
[classes] :: Result -> !Map String Int
[tables] :: Result -> !Map String (Map String Int)
[output] :: Result -> String
data Args
Args :: Maybe (QCGen, Int) -> Int -> Int -> Int -> Bool -> Int -> Args
[replay] :: Args -> Maybe (QCGen, Int)
[maxSuccess] :: Args -> Int
[maxDiscardRatio] :: Args -> Int
[maxSize] :: Args -> Int
[chatty] :: Args -> Bool
[maxShrinks] :: Args -> Int
isSuccess :: Result -> Bool
stdArgs :: Args
quickCheck :: STestable prop => QCGen -> prop -> String
quickCheckWith :: STestable prop => Args -> QCGen -> prop -> String
quickCheckResult :: STestable prop => QCGen -> prop -> Result
quickCheckWithResult :: STestable prop => Args -> QCGen -> prop -> Result
recheck :: Testable prop => Result -> prop -> IO ()
verboseCheck :: Testable prop => prop -> IO ()
verboseCheckWith :: Testable prop => Args -> prop -> IO ()
verboseCheckResult :: Testable prop => prop -> IO Result
verboseCheckWithResult :: Testable prop => Args -> prop -> IO Result
polyQuickCheck :: Name -> ExpQ
polyVerboseCheck :: Name -> ExpQ
monomorphic :: Name -> ExpQ
forAllProperties :: Q Exp
allProperties :: Q Exp
quickCheckAll :: Q Exp
verboseCheckAll :: Q Exp
labelledExamples :: Testable prop => prop -> IO ()
labelledExamplesWith :: Testable prop => Args -> prop -> IO ()
labelledExamplesResult :: Testable prop => prop -> IO Result
labelledExamplesWithResult :: Testable prop => Args -> prop -> IO Result
inventQCGen :: a -> QCGen
class STestable prop
myquickcheck :: STestable prop => prop -> String
newtype Rec a
InR :: (Rec a -> a) -> Rec a
[outR] :: Rec a -> Rec a -> a
describeSequence :: SequenceData -> Maybe String
newtype Mu (f :: Type -> Type)
In :: f (Mu f) -> Mu (f :: Type -> Type)
[out] :: Mu (f :: Type -> Type) -> f (Mu f)
