ideas-1.8: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellSafe
LanguageHaskell98

Ideas.Utils.QuickCheck

Contents

Description

Extensions to the QuickCheck library

Synopsis

Data type

data ArbGen a Source #

Instances
Semigroup (ArbGen a) Source # 
Instance details

Defined in Ideas.Utils.QuickCheck

Methods

(<>) :: ArbGen a -> ArbGen a -> ArbGen a #

sconcat :: NonEmpty (ArbGen a) -> ArbGen a #

stimes :: Integral b => b -> ArbGen a -> ArbGen a #

Monoid (ArbGen a) Source # 
Instance details

Defined in Ideas.Utils.QuickCheck

Methods

mempty :: ArbGen a #

mappend :: ArbGen a -> ArbGen a -> ArbGen a #

mconcat :: [ArbGen a] -> ArbGen a #

generator :: ArbGen a -> Gen a Source #

generators :: [ArbGen a] -> Gen a Source #

Constructors

arbGen :: Arbitrary b => (b -> a) -> ArbGen a Source #

constGens :: [a] -> ArbGen a Source #

unaryGen :: (a -> a) -> ArbGen a Source #

unaryGens :: [a -> a] -> ArbGen a Source #

unaryArbGen :: Arbitrary b => (b -> a -> a) -> ArbGen a Source #

binaryGen :: (a -> a -> a) -> ArbGen a Source #

binaryGens :: [a -> a -> a] -> ArbGen a Source #

toArbGen :: Gen a -> ArbGen a Source #

Frequency combinators