 | chalmers-lava2000-1.1.1: Hardware description library | Contents | Index |
|
|
|
|
|
Documentation |
|
data Gen a |
Instances | |
|
|
generate :: Gen a -> IO a |
|
class ChoiceWithSig a |
| Instances | |
|
|
class Fresh a where |
| Methods | | | 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 | | | 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 | | Instances | |
|
|
class Checkable a where |
| Methods | | | Instances | |
|
|
class ShowModel a where |
| Methods | | | 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 |