ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Function

2 types
1 class
15 values

PackageQuickCheck-2.19.0.0
Exports21
LicenceBSD-3-Clause

patternpattern Fn :: (a -> b) -> Fun a b

patternpattern Fn2 :: (a -> b -> c) -> Fun (a, b) c

patternpattern Fn3 :: (a -> b -> c -> d) -> Fun (a, b, c) d

valueapply :: Fun a b -> a -> b

valueapplyFun :: Fun a b -> a -> b

valueapplyFun2 :: Fun (a, b) c -> a -> b -> c

valueapplyFun3 :: Fun (a, b, c) d -> a -> b -> c -> d

valuefunctionBoundedEnum :: (Eq a, Bounded a, Enum a) => (a -> b) -> a :-> b

valuefunctionEitherWith

:: (a -> c) -> a :-> c
-> (b -> c) -> b :-> c
-> Either a b -> c
-> Either a b :-> c

valuefunctionElements :: Eq a => [a] -> (a -> b) -> a :-> b

valuefunctionIntegral :: Integral a => (a -> b) -> a :-> b

valuefunctionMap :: Function b => (a -> b) -> (b -> a) -> (a -> c) -> a :-> c

valuefunctionMapWith

:: (b -> c) -> b :-> c
-> a -> b
-> b -> a
-> a -> c
-> a :-> c

valuefunctionPairWith

:: (a -> b -> c) -> a :-> (b -> c)
-> (b -> c) -> b :-> c
-> (a, b) -> c
-> (a, b) :-> c

valuefunctionRealFrac :: RealFrac a => (a -> b) -> a :-> b

valuefunctionShow :: (Show a, Read a) => (a -> c) -> a :-> c

valuefunctionVoid :: (forall b. void -> b) -> void :-> c

valuemkFun :: a :-> b -> b -> Fun a b

datadata (:->) a c where

Instances3Functor, Show, Arbitrary

Functor ((:->) a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Show a, Show b) => Show (a :-> b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, CoArbitrary a, Arbitrary b) => Arbitrary (a :-> b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function

datadata Fun a b

Constructors

Fun (a :-> b, b, Shrunk) (a -> b)

Instances3Functor, Show, Arbitrary

Functor (Fun a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Show a, Show b) => Show (Fun a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, CoArbitrary a, Arbitrary b) => Arbitrary (Fun a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function

classclass Function a where

Methods

function :: (a -> b) -> a :-> b

Instances79Function, …

Function ADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function BDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function CDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function OrdADefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function OrdBDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function OrdCDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function ByteArrayDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function FieldFormatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function FormatAdjustmentDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function FormatParseDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function FormatSignDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function IntSetDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function IntegerDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function NaturalDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function AllDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function AnyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function VersionDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function SeekModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function ExitCodeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function BufferModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function NewlineDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function NewlineModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function IOModeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function Int16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function Int32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function Int64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function Int8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function BoolDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function CharDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function DoubleDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function FloatDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function IntDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function OrderingDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function WordDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function GeneralCategoryDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function Word16Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function Word32Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function Word64Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function Word8Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function ()Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Max a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Min a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (WrappedMonoid a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (IntMap a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Seq a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Tree a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (NonEmpty a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (And a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Iff a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Ior a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Xor a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Identity a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (First a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Last a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Down a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Dual a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Product a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Sum a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (ZipList a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Maybe a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function [a]Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Ord a, Function a) => Function (Set a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(RealFloat a, Function a) => Function (Complex a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Integral a, Function a) => Function (Ratio a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
HasResolution a => Function (Fixed a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, Function b) => Function (Arg a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, Function b) => Function (Either a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, Function b) => Function (a, b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Ord a, Function a, Function b) => Function (Map a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function (f a) => Function (Alt f a)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
Function a => Function (Const a b)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, Function b, Function c) => Function (a, b, c)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, Function b, Function c, Function d) => Function (a, b, c, d)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, Function b, Function c, Function d, Function e) => Function (a, b, c, d, e)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, Function b, Function c, Function d, Function e, Function f) => Function (a, b, c, d, e, f)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function
(Function a, Function b, Function c, Function d, Function e, Function f, Function g) => Function (a, b, c, d, e, f, g)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Function