chalmers-lava2000-1.1.1: Hardware description library Contents Index

Lava.Property

Documentation

data Gen a

Instances Monad Gen Functor Gen Checkable a => Checkable (Gen a)

generate :: Gen a -> IO a

class ChoiceWithSig a

Instances ChoiceWithSig Bool

class Fresh a where

Methods fresh :: Gen a 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) 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]])) Instances Checkable Property

class Checkable a where

Methods property :: a -> Property Instances Checkable Bool Checkable Property Checkable a => Checkable [a] Checkable a => Checkable (Signal a) Checkable a => Checkable (Gen a) (Fresh a, ShowModel a, Checkable b) => Checkable (a -> b)

class ShowModel a where

Methods showModel :: Model -> a -> [String] 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