hgeometry-combinatorial:quickcheck
Copyright(C) Frank Staals
Licensesee the LICENSE file
MaintainerFrank Staals
Safe HaskellNone
LanguageGHC2021

HGeometry.Combinatorial.Instances

Description

Arbitrary instances for the types in hgeometry-combinatorial

Synopsis

    Symbolic instances

    Binary tree instances

    Orphan instance

    Orphan instances

    Arbitrary Sign Source # 
    Instance details

    Methods

    arbitrary :: Gen Sign Source #

    shrink :: Sign -> [Sign] Source #

    (Arbitrary a, Num a, Eq a) => Arbitrary (GRatio a) Source # 
    Instance details

    Methods

    arbitrary :: Gen (GRatio a) Source #

    shrink :: GRatio a -> [GRatio a] Source #

    KnownNat p => Arbitrary (RealNumber p) Source # 
    Instance details

    Methods

    arbitrary :: Gen (RealNumber p) Source #

    shrink :: RealNumber p -> [RealNumber p] Source #

    Arbitrary a => Arbitrary (BinaryTree a) Source # 
    Instance details

    Methods

    arbitrary :: Gen (BinaryTree a) Source #

    shrink :: BinaryTree a -> [BinaryTree a] Source #

    (Arbitrary a, Ord a) => Arbitrary (NESet a) Source # 
    Instance details

    Methods

    arbitrary :: Gen (NESet a) Source #

    shrink :: NESet a -> [NESet a] Source #

    (Arbitrary c, Arbitrary e) => Arbitrary (c :+ e) Source # 
    Instance details

    Methods

    arbitrary :: Gen (c :+ e) Source #

    shrink :: (c :+ e) -> [c :+ e] Source #

    (Arbitrary a, Arbitrary v) => Arbitrary (BinLeafTree v a) Source # 
    Instance details

    Methods

    arbitrary :: Gen (BinLeafTree v a) Source #

    shrink :: BinLeafTree v a -> [BinLeafTree v a] Source #

    Arbitrary (f a) => Arbitrary (Cyclic f a) Source # 
    Instance details

    Methods

    arbitrary :: Gen (Cyclic f a) Source #

    shrink :: Cyclic f a -> [Cyclic f a] Source #