| Safe Haskell | Safe-Infered |
|---|
Test.Ganeti.PartialParams
Description
Common tests for PartialParams instances
- testFillParamsLaw1 :: (PartialParams f p, Show f, Eq f) => f -> p -> Property
- testToParamsLaw2 :: (PartialParams f p, Show f, Eq f) => f -> f -> Property
- testToFilledLaw3 :: (PartialParams f p, Show f, Eq f) => f -> Property
- testToFilledMonoidLaw1 :: (PartialParams f p, Show f, Eq f, Monoid p) => f -> Property
- testToFilledMonoidLaw2 :: (PartialParams f p, Show f, Eq f, Monoid p) => f -> p -> p -> Property
Documentation
testFillParamsLaw1 :: (PartialParams f p, Show f, Eq f) => f -> p -> PropertySource
Checks for serialisation idempotence.
testToParamsLaw2 :: (PartialParams f p, Show f, Eq f) => f -> f -> PropertySource
Tests that filling partial parameters satisfies the law.
testToFilledLaw3 :: (PartialParams f p, Show f, Eq f) => f -> PropertySource
Tests that converting partial to filled parameters satisfies the law.
testToFilledMonoidLaw1 :: (PartialParams f p, Show f, Eq f, Monoid p) => f -> PropertySource
Tests that the partial params behave correctly as a monoid action.
testToFilledMonoidLaw2 :: (PartialParams f p, Show f, Eq f, Monoid p) => f -> p -> p -> PropertySource
Tests that the partial params behave correctly as a monoid action.