chalmers-lava2000-1.1.1: Hardware description libraryContentsIndex
Lava.Property
Documentation
data Gen a
show/hide Instances
generate :: Gen a -> IO a
class ChoiceWithSig a
show/hide Instances
class Fresh a where
Methods
fresh :: Gen a
show/hide Instances
Fresh ()
ConstructiveSig a => Fresh (Signal a)
(CoFresh a, Choice b, Fresh b) => Fresh (a -> b)
(Fresh a, Fresh b) => Fresh (a, b)
(Fresh a, Fresh b, Fresh c) => Fresh (a, b, c)
(Fresh a, Fresh b, Fresh c, Fresh d) => Fresh (a, b, c, d)
(Fresh a, Fresh b, Fresh c, Fresh d, Fresh e) => Fresh (a, b, c, d, e)
(Fresh a, Fresh b, Fresh c, Fresh d, Fresh e, Fresh f) => Fresh (a, b, c, d, e, f)
(Fresh a, Fresh b, Fresh c, Fresh d, Fresh e, Fresh f, Fresh g) => Fresh (a, b, c, d, e, f, g)
class CoFresh a where
Methods
cofresh :: (Choice b, Fresh b) => Gen b -> Gen (a -> b)
show/hide Instances
CoFresh ()
CoFresh a => CoFresh [a]
ChoiceWithSig a => CoFresh (Signal a)
(Finite a, CoFresh b) => CoFresh (a -> b)
(CoFresh a, CoFresh b) => CoFresh (a, b)
(CoFresh a, CoFresh b, CoFresh c) => CoFresh (a, b, c)
(CoFresh a, CoFresh b, CoFresh c, CoFresh d) => CoFresh (a, b, c, d)
(CoFresh a, CoFresh b, CoFresh c, CoFresh d, CoFresh e) => CoFresh (a, b, c, d, e)
(CoFresh a, CoFresh b, CoFresh c, CoFresh d, CoFresh e, CoFresh f) => CoFresh (a, b, c, d, e, f)
(CoFresh a, CoFresh b, CoFresh c, CoFresh d, CoFresh e, CoFresh f, CoFresh g) => CoFresh (a, b, c, d, e, f, g)
double :: Gen a -> Gen (a, a)
triple :: Gen a -> Gen (a, a, a)
list :: Fresh a => Int -> Gen [a]
listOf :: Int -> Gen a -> Gen [a]
results :: Int -> Gen (a -> b) -> Gen (a -> [b])
sequential :: (CoFresh a, Fresh b, Choice b) => Int -> Gen (a -> b)
forAll :: (ShowModel a, Checkable b) => Gen a -> (a -> b) -> Property
newtype Property
Constructors
P (Gen ([Signal Bool], Model -> [[String]]))
show/hide Instances
class Checkable a where
Methods
property :: a -> Property
show/hide Instances
class ShowModel a where
Methods
showModel :: Model -> a -> [String]
show/hide Instances
ShowModel ()
ShowModel a => ShowModel [a]
ShowModel (Signal a)
ShowModel (a -> b)
(ShowModel a, ShowModel b) => ShowModel (a, b)
(ShowModel a, ShowModel b, ShowModel c) => ShowModel (a, b, c)
(ShowModel a, ShowModel b, ShowModel c, ShowModel d) => ShowModel (a, b, c, d)
(ShowModel a, ShowModel b, ShowModel c, ShowModel d, ShowModel e) => ShowModel (a, b, c, d, e)
(ShowModel a, ShowModel b, ShowModel c, ShowModel d, ShowModel e, ShowModel f) => ShowModel (a, b, c, d, e, f)
(ShowModel a, ShowModel b, ShowModel c, ShowModel d, ShowModel e, ShowModel f, ShowModel g) => ShowModel (a, b, c, d, e, f, g)
type Model = [(String, [String])]
properties :: Checkable a => a -> IO ([Signal Bool], Model -> [[String]])
Produced by Haddock version 2.6.0