Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
A collection of basic functions to pick from when testing.
Documentation
newtype FBSize10Small fb Source
FBSize10Small (Int, fb) |
Show fb => Show (FBSize10Small fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBSize10Small fb) |
newtype FBSize10Degree3 fb Source
FBSize10Degree3 (Int, fb) |
Show fb => Show (FBSize10Degree3 fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBSize10Degree3 fb) |
newtype FBEnclThinSize10 fb Source
FBEnclThinSize10 ((Int, Int), E fb) |
Show fb => Show (FBEnclThinSize10 fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThinSize10 fb) |
newtype FBEnclThinSize10Small fb Source
FBEnclThinSize10Small (Int, E fb) |
Show fb => Show (FBEnclThinSize10Small fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThinSize10Small fb) |
newtype FBEnclThinSize10Degree3 fb Source
FBEnclThinSize10Degree3 (Int, E fb) |
Show fb => Show (FBEnclThinSize10Degree3 fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThinSize10Degree3 fb) |
newtype FBEnclParalSize10 fb Source
FBEnclParalSize10 (((Int, Int), SmallRatio), E fb) |
Show fb => Show (FBEnclParalSize10 fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclParalSize10 fb) |
newtype FBEnclParalSize10Small fb Source
FBEnclParalSize10Small ((Int, SmallRatio), E fb) |
Show fb => Show (FBEnclParalSize10Small fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclParalSize10Small fb) |
newtype FBEnclParalSize10Degree3 fb Source
FBEnclParalSize10Degree3 ((Int, SmallRatio), E fb) |
Show fb => Show (FBEnclParalSize10Degree3 fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclParalSize10Degree3 fb) |
newtype FBEnclThickSize10 fb Source
FBEnclThickSize10 (((Int, Int), (Int, Int)), E fb) |
Show fb => Show (FBEnclThickSize10 fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThickSize10 fb) |
newtype FBEnclThickSize10Small fb Source
FBEnclThickSize10Small ((Int, Int), E fb) |
Show fb => Show (FBEnclThickSize10Small fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThickSize10Small fb) |
newtype FBEnclThickSize10Degree3 fb Source
FBEnclThickSize10Degree3 ((Int, Int), E fb) |
Show fb => Show (FBEnclThickSize10Degree3 fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Arbitrary (FBEnclThickSize10Degree3 fb) |
polynomials1200ishSize10 :: ERUnitFnBase boxb boxra varid b ra fb => fb -> [fb]Source
polynomials1200ishSize10Small :: ERUnitFnBase boxb boxra varid b ra fb => fb -> [fb]Source
polynomials1200ishSize10Degree3 :: ERUnitFnBase boxb boxra varid b ra fb => fb -> [fb]Source
makeThinEncl :: ERUnitFnBase boxb boxra varid b ra ufb => ufb -> (ufb, ufb)Source
makeThickEncl :: ERUnitFnBase boxb boxra varid b ra ufb => Int -> Int -> ufb -> ufb -> (ufb, ufb)Source
makeParalEncl :: ERUnitFnBase boxb boxra varid a ra ufb => ufb -> SmallRatio -> (ufb, ufb)Source