ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Function

Synopsis

pattern Fn
pattern Fn2
pattern Fn3
value apply
value applyFun
value applyFun2
value applyFun3
value functionBoundedEnum
value functionEitherWith
value functionElements
value functionIntegral
value functionMap
value functionMapWith
value functionPairWith
value functionRealFrac
value functionShow
value functionVoid
value mkFun
data :->
data Fun
class Function

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