Module Test.QuickCheckModifiers

Modifiers for test data.

These types do things such as restricting the kind of test data that can be generated. They can be pattern-matched on in properties as a stylistic alternative to using explicit quantification.

Examples:

 -- Functions cannot be shown (but see "Test.QuickCheck.Function")
 prop_TakeDropWhile (Blind p) (xs :: [A]) =
  takeWhile p xs ++ dropWhile p xs == xs

 prop_TakeDrop ('NonNegative' n) (xs :: ['A']) =
  take n xs ++ drop n xs == xs

 -- cycle does not work for empty lists
 prop_Cycle ('NonNegative' n) ('NonEmpty' (xs :: ['A'])) =
  take n (cycle xs) == take n (xs ++ cycle xs)

 -- Instead of 'forAll' 'orderedList'
 prop_Sort ('Ordered' (xs :: ['OrdA'])) =
   sort xs == xs

Imports

import Data.List as List
import frege.Prelude as Prelude
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
import Prelude.PreludeDecimal as PreludeDecimal
import Prelude.PreludeIO as PreludeIO
import Prelude.PreludeList as PreludeList
import Prelude.PreludeMonad as PreludeMonad
import Prelude.PreludeText as PreludeText
import Test.QuickCheckArbitrary as QuickCheckArbitrary
import Test.QuickCheckGen as QuickCheckGen
import Java.util.Regex as Regexp

Table of Content

Definitions

data Blind a

data Fixed a

data NonEmptyList a

data NonNegative a

data NonZero a

data OrderedList a

data Positive a

data Shrink2 a

data Smart a
Instances

instance Arbitrary a ⇒ Arbitrary (Blind a)

instance Arbitrary a ⇒ Arbitrary (Fixed a)

instance Arbitrary a ⇒ Arbitrary (NonEmptyList a)

instance (Num a, Ord a, Arbitrary a) ⇒ Arbitrary (NonNegative a)

instance (Num a, Ord a, Arbitrary a) ⇒ Arbitrary (NonZero a)

instance (Ord a, Arbitrary a) ⇒ Arbitrary (OrderedList a)

instance (Num a, Ord a, Arbitrary a) ⇒ Arbitrary (Positive a)

instance Arbitrary a ⇒ Arbitrary (Shrink2 a)

instance Arbitrary a ⇒ Arbitrary (Smart a)

instance Eq a ⇒ Eq (Blind a)

instance Eq a ⇒ Eq (Fixed a)

instance Eq a ⇒ Eq (NonEmptyList a)

instance Eq a ⇒ Eq (NonNegative a)

instance Eq a ⇒ Eq (NonZero a)

instance Eq a ⇒ Eq (OrderedList a)

instance Eq a ⇒ Eq (Positive a)

instance Eq a ⇒ Eq (Shrink2 a)

instance Ord a ⇒ Ord (Blind a)

instance Ord a ⇒ Ord (Fixed a)

instance Ord a ⇒ Ord (NonEmptyList a)

instance Ord a ⇒ Ord (NonNegative a)

instance Ord a ⇒ Ord (NonZero a)

instance Ord a ⇒ Ord (OrderedList a)

instance Ord a ⇒ Ord (Positive a)

instance Ord a ⇒ Ord (Shrink2 a)

instance Show (Blind a)

instance Show a ⇒ Show (Fixed a)

instance Show a ⇒ Show (NonEmptyList a)

instance Show a ⇒ Show (NonNegative a)

instance Show a ⇒ Show (NonZero a)

instance Show a ⇒ Show (OrderedList a)

instance Show a ⇒ Show (Positive a)

instance Show a ⇒ Show (Shrink2 a)

instance Show a ⇒ Show (Smart a)
Functions and Values by Type

Definitions

data Blind a

Blind x: as x, but x does not have to be in the Show class.

Constructors

Blind a

data Fixed a

Fixed x: as x, but will not be shrunk.

Constructors

Fixed a

data OrderedList a

Ordered xs: guarantees that xs is ordered.

Constructors

Ordered {getOrdered ∷ [a]}

Member Functions

getOrdered ∷ OrderedList 𝖆 → [𝖆]: access field getOrdered

data NonEmptyList a

NonEmpty xs: guarantees that xs is non-empty.

Constructors

NonEmpty {getNonEmpty ∷ [a]}

Member Functions

getNonEmpty ∷ NonEmptyList 𝖆 → [𝖆]: access field getNonEmpty

data Positive a

Positive x: guarantees that x > 0.

Constructors

Positive {getPositive ∷ a}

Member Functions

getPositive ∷ Positive 𝖆 → 𝖆: access field getPositive

data NonZero a

NonZero x: guarantees that x != 0.

Constructors

NonZero {getNonZero ∷ a}

Member Functions

getNonZero ∷ NonZero 𝖆 → 𝖆: access field getNonZero

data NonNegative a

NonNegative x: guarantees that x >= 0.

Constructors

NonNegative {getNonNegative ∷ a}

Member Functions

getNonNegative ∷ NonNegative 𝖆 → 𝖆: access field getNonNegative

data Shrink2 a

Shrink2 x: allows 2 shrinking steps at the same time when shrinking x

Constructors

Shrink2 a

data Smart a

Smart _ x: tries a different order when shrinking.

Constructors

Smart Int a

Instances

instance Arbitrary a ⇒ Arbitrary (Blind a)

Member Functions

arbitrary ∷ Arbitrary 𝖆 ⇒ Gen (Blind 𝖆)
shrink ∷ Arbitrary 𝖆 ⇒ Blind 𝖆 → [Blind 𝖆]

instance Arbitrary a ⇒ Arbitrary (Fixed a)

Member Functions

arbitrary ∷ Arbitrary 𝖆 ⇒ Gen (Fixed 𝖆)
shrink ∷ Arbitrary 𝖆 ⇒ Fixed 𝖆 → [Fixed 𝖆]: inherited from Arbitrary.shrink

instance Arbitrary a ⇒ Arbitrary (NonEmptyList a)

Member Functions

arbitrary ∷ Arbitrary 𝖆 ⇒ Gen (NonEmptyList 𝖆)
shrink ∷ Arbitrary 𝖆 ⇒ NonEmptyList 𝖆 → [NonEmptyList 𝖆]

instance (Num a, Ord a, Arbitrary a) ⇒ Arbitrary (NonNegative a)

Member Functions

arbitrary ∷ (Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ Gen (NonNegative 𝖆)
shrink ∷ (Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ NonNegative 𝖆 → [NonNegative 𝖆]

instance (Num a, Ord a, Arbitrary a) ⇒ Arbitrary (NonZero a)

Member Functions

arbitrary ∷ (Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ Gen (NonZero 𝖆)
shrink ∷ (Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ NonZero 𝖆 → [NonZero 𝖆]

instance (Ord a, Arbitrary a) ⇒ Arbitrary (OrderedList a)

Member Functions

arbitrary ∷ (Ord 𝖆, Arbitrary 𝖆) ⇒ Gen (OrderedList 𝖆)
shrink ∷ (Ord 𝖆, Arbitrary 𝖆) ⇒ OrderedList 𝖆 → [OrderedList 𝖆]

instance (Num a, Ord a, Arbitrary a) ⇒ Arbitrary (Positive a)

Member Functions

arbitrary ∷ (Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ Gen (Positive 𝖆)
shrink ∷ (Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ Positive 𝖆 → [Positive 𝖆]

instance Arbitrary a ⇒ Arbitrary (Shrink2 a)

Member Functions

arbitrary ∷ Arbitrary 𝖆 ⇒ Gen (Shrink2 𝖆)
shrink ∷ Arbitrary 𝖆 ⇒ Shrink2 𝖆 → [Shrink2 𝖆]

instance Arbitrary a ⇒ Arbitrary (Smart a)

Member Functions

arbitrary ∷ Arbitrary 𝖆 ⇒ Gen (Smart 𝖆)
shrink ∷ Arbitrary 𝖆 ⇒ Smart 𝖆 → [Smart 𝖆]

instance Eq a ⇒ Eq (Blind a)

Member Functions

!= ∷ Eq 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Bool
infix 7: inherited from Eq.!=
== ∷ Eq 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq 𝖆 ⇒ Blind 𝖆 → Int: Function generated for derived instance.

instance Eq a ⇒ Eq (Fixed a)

Member Functions

!= ∷ Eq 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Bool
infix 7: inherited from Eq.!=
== ∷ Eq 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq 𝖆 ⇒ Fixed 𝖆 → Int: Function generated for derived instance.

instance Eq a ⇒ Eq (NonEmptyList a)

Member Functions

!= ∷ Eq 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Bool
infix 7: inherited from Eq.!=
== ∷ Eq 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq 𝖆 ⇒ NonEmptyList 𝖆 → Int: Function generated for derived instance.

instance Eq a ⇒ Eq (NonNegative a)

Member Functions

!= ∷ Eq 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Bool
infix 7: inherited from Eq.!=
== ∷ Eq 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq 𝖆 ⇒ NonNegative 𝖆 → Int: Function generated for derived instance.

instance Eq a ⇒ Eq (NonZero a)

Member Functions

!= ∷ Eq 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Bool
infix 7: inherited from Eq.!=
== ∷ Eq 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq 𝖆 ⇒ NonZero 𝖆 → Int: Function generated for derived instance.

instance Eq a ⇒ Eq (OrderedList a)

Member Functions

!= ∷ Eq 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Bool
infix 7: inherited from Eq.!=
== ∷ Eq 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq 𝖆 ⇒ OrderedList 𝖆 → Int: Function generated for derived instance.

instance Eq a ⇒ Eq (Positive a)

Member Functions

!= ∷ Eq 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Bool
infix 7: inherited from Eq.!=
== ∷ Eq 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq 𝖆 ⇒ Positive 𝖆 → Int: Function generated for derived instance.

instance Eq a ⇒ Eq (Shrink2 a)

Member Functions

!= ∷ Eq 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Bool
infix 7: inherited from Eq.!=
== ∷ Eq 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq 𝖆 ⇒ Shrink2 𝖆 → Int: Function generated for derived instance.

instance Ord a ⇒ Ord (Blind a)

Member Functions

< ∷ Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Bool
infix 9: inherited from Ord.<
<= ∷ Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Bool
infix 9: inherited from Ord.>
>= ∷ Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Blind 𝖆: inherited from Ord.max
min ∷ Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Blind 𝖆: inherited from Ord.min

instance Ord a ⇒ Ord (Fixed a)

Member Functions

< ∷ Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Bool
infix 9: inherited from Ord.<
<= ∷ Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Bool
infix 9: inherited from Ord.>
>= ∷ Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Fixed 𝖆: inherited from Ord.max
min ∷ Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Fixed 𝖆: inherited from Ord.min

instance Ord a ⇒ Ord (NonEmptyList a)

Member Functions

< ∷ Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Bool
infix 9: inherited from Ord.<
<= ∷ Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Bool
infix 9: inherited from Ord.>
>= ∷ Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → NonEmptyList 𝖆: inherited from Ord.max
min ∷ Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → NonEmptyList 𝖆: inherited from Ord.min

instance Ord a ⇒ Ord (NonNegative a)

Member Functions

< ∷ Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Bool
infix 9: inherited from Ord.<
<= ∷ Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Bool
infix 9: inherited from Ord.>
>= ∷ Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → NonNegative 𝖆: inherited from Ord.max
min ∷ Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → NonNegative 𝖆: inherited from Ord.min

instance Ord a ⇒ Ord (NonZero a)

Member Functions

< ∷ Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Bool
infix 9: inherited from Ord.<
<= ∷ Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Bool
infix 9: inherited from Ord.>
>= ∷ Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → NonZero 𝖆: inherited from Ord.max
min ∷ Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → NonZero 𝖆: inherited from Ord.min

instance Ord a ⇒ Ord (OrderedList a)

Member Functions

< ∷ Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Bool
infix 9: inherited from Ord.<
<= ∷ Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Bool
infix 9: inherited from Ord.>
>= ∷ Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → OrderedList 𝖆: inherited from Ord.max
min ∷ Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → OrderedList 𝖆: inherited from Ord.min

instance Ord a ⇒ Ord (Positive a)

Member Functions

< ∷ Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Bool
infix 9: inherited from Ord.<
<= ∷ Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Bool
infix 9: inherited from Ord.>
>= ∷ Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Positive 𝖆: inherited from Ord.max
min ∷ Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Positive 𝖆: inherited from Ord.min

instance Ord a ⇒ Ord (Shrink2 a)

Member Functions

< ∷ Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Bool
infix 9: inherited from Ord.<
<= ∷ Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Bool
infix 9: inherited from Ord.>
>= ∷ Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Shrink2 𝖆: inherited from Ord.max
min ∷ Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Shrink2 𝖆: inherited from Ord.min

instance Show (Blind a)

Member Functions

display ∷ Blind 𝖆 → String: inherited from Show.display
show ∷ Blind 𝖆 → String
showChars ∷ Blind 𝖆 → [Char]: inherited from Show.showChars
showList ∷ [Blind 𝖆] → String → String: inherited from Show.showList
showsPrec ∷ Int → Blind 𝖆 → String → String: inherited from Show.showsPrec
showsub ∷ Blind 𝖆 → String: inherited from Show.showsub

instance Show a ⇒ Show (Fixed a)

Member Functions

display ∷ Show 𝖆 ⇒ Fixed 𝖆 → String: inherited from Show.display
show ∷ Show 𝖆 ⇒ Fixed 𝖆 → String: Function generated for derived instance.
showChars ∷ Show 𝖆 ⇒ Fixed 𝖆 → [Char]: inherited from Show.showChars
showList ∷ Show 𝖆 ⇒ [Fixed 𝖆] → String → String: inherited from Show.showList
showsPrec ∷ Show 𝖆 ⇒ Int → Fixed 𝖆 → String → String: inherited from Show.showsPrec
showsub ∷ Show 𝖆 ⇒ Fixed 𝖆 → String: Function generated for derived instance.

instance Show a ⇒ Show (NonEmptyList a)

Member Functions

display ∷ Show 𝖆 ⇒ NonEmptyList 𝖆 → String: inherited from Show.display
show ∷ Show 𝖆 ⇒ NonEmptyList 𝖆 → String: Function generated for derived instance.
showChars ∷ Show 𝖆 ⇒ NonEmptyList 𝖆 → [Char]: inherited from Show.showChars
showList ∷ Show 𝖆 ⇒ [NonEmptyList 𝖆] → String → String: inherited from Show.showList
showsPrec ∷ Show 𝖆 ⇒ Int → NonEmptyList 𝖆 → String → String: inherited from Show.showsPrec
showsub ∷ Show 𝖆 ⇒ NonEmptyList 𝖆 → String: Function generated for derived instance.

instance Show a ⇒ Show (NonNegative a)

Member Functions

display ∷ Show 𝖆 ⇒ NonNegative 𝖆 → String: inherited from Show.display
show ∷ Show 𝖆 ⇒ NonNegative 𝖆 → String: Function generated for derived instance.
showChars ∷ Show 𝖆 ⇒ NonNegative 𝖆 → [Char]: inherited from Show.showChars
showList ∷ Show 𝖆 ⇒ [NonNegative 𝖆] → String → String: inherited from Show.showList
showsPrec ∷ Show 𝖆 ⇒ Int → NonNegative 𝖆 → String → String: inherited from Show.showsPrec
showsub ∷ Show 𝖆 ⇒ NonNegative 𝖆 → String: Function generated for derived instance.

instance Show a ⇒ Show (NonZero a)

Member Functions

display ∷ Show 𝖆 ⇒ NonZero 𝖆 → String: inherited from Show.display
show ∷ Show 𝖆 ⇒ NonZero 𝖆 → String: Function generated for derived instance.
showChars ∷ Show 𝖆 ⇒ NonZero 𝖆 → [Char]: inherited from Show.showChars
showList ∷ Show 𝖆 ⇒ [NonZero 𝖆] → String → String: inherited from Show.showList
showsPrec ∷ Show 𝖆 ⇒ Int → NonZero 𝖆 → String → String: inherited from Show.showsPrec
showsub ∷ Show 𝖆 ⇒ NonZero 𝖆 → String: Function generated for derived instance.

instance Show a ⇒ Show (OrderedList a)

Member Functions

display ∷ Show 𝖆 ⇒ OrderedList 𝖆 → String: inherited from Show.display
show ∷ Show 𝖆 ⇒ OrderedList 𝖆 → String: Function generated for derived instance.
showChars ∷ Show 𝖆 ⇒ OrderedList 𝖆 → [Char]: inherited from Show.showChars
showList ∷ Show 𝖆 ⇒ [OrderedList 𝖆] → String → String: inherited from Show.showList
showsPrec ∷ Show 𝖆 ⇒ Int → OrderedList 𝖆 → String → String: inherited from Show.showsPrec
showsub ∷ Show 𝖆 ⇒ OrderedList 𝖆 → String: Function generated for derived instance.

instance Show a ⇒ Show (Positive a)

Member Functions

display ∷ Show 𝖆 ⇒ Positive 𝖆 → String: inherited from Show.display
show ∷ Show 𝖆 ⇒ Positive 𝖆 → String: Function generated for derived instance.
showChars ∷ Show 𝖆 ⇒ Positive 𝖆 → [Char]: inherited from Show.showChars
showList ∷ Show 𝖆 ⇒ [Positive 𝖆] → String → String: inherited from Show.showList
showsPrec ∷ Show 𝖆 ⇒ Int → Positive 𝖆 → String → String: inherited from Show.showsPrec
showsub ∷ Show 𝖆 ⇒ Positive 𝖆 → String: Function generated for derived instance.

instance Show a ⇒ Show (Shrink2 a)

Member Functions

display ∷ Show 𝖆 ⇒ Shrink2 𝖆 → String: inherited from Show.display
show ∷ Show 𝖆 ⇒ Shrink2 𝖆 → String: Function generated for derived instance.
showChars ∷ Show 𝖆 ⇒ Shrink2 𝖆 → [Char]: inherited from Show.showChars
showList ∷ Show 𝖆 ⇒ [Shrink2 𝖆] → String → String: inherited from Show.showList
showsPrec ∷ Show 𝖆 ⇒ Int → Shrink2 𝖆 → String → String: inherited from Show.showsPrec
showsub ∷ Show 𝖆 ⇒ Shrink2 𝖆 → String: Function generated for derived instance.

instance Show a ⇒ Show (Smart a)

Member Functions

display ∷ Show 𝖆 ⇒ Smart 𝖆 → String: inherited from Show.display
show ∷ Show 𝖆 ⇒ Smart 𝖆 → String
showChars ∷ Show 𝖆 ⇒ Smart 𝖆 → [Char]: inherited from Show.showChars
showList ∷ Show 𝖆 ⇒ [Smart 𝖆] → String → String: inherited from Show.showList
showsPrec ∷ Show 𝖆 ⇒ Int → Smart 𝖆 → String → String
showsub ∷ Show 𝖆 ⇒ Smart 𝖆 → String: inherited from Show.showsub

Functions and Values by Type

[Blind 𝖆] → String → String: Show_Blind.showList
[a] → NonEmptyList a: NonEmptyList.NonEmpty
[a] → OrderedList a: OrderedList.Ordered
Blind 𝖆 → String: Show_Blind.showsub, Show_Blind.display, Show_Blind.show
Blind 𝖆 → [Char]: Show_Blind.showChars
NonEmptyList 𝖆 → [𝖆]: NonEmptyList.getNonEmpty
NonNegative 𝖆 → 𝖆: NonNegative.getNonNegative
NonZero 𝖆 → 𝖆: NonZero.getNonZero
OrderedList 𝖆 → [𝖆]: OrderedList.getOrdered
Positive 𝖆 → 𝖆: Positive.getPositive
Int → Blind 𝖆 → String → String: Show_Blind.showsPrec
Int → a → Smart a: Smart.Smart
a → Blind a: Blind.Blind
a → Fixed a: Fixed.Fixed
a → NonNegative a: NonNegative.NonNegative
a → NonZero a: NonZero.NonZero
a → Positive a: Positive.Positive
a → Shrink2 a: Shrink2.Shrink2
𝖆 → Bool: NonEmptyList.has$getNonEmpty, NonNegative.has$getNonNegative, NonZero.has$getNonZero, OrderedList.has$getOrdered, Positive.has$getPositive
Eq 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Bool: Eq_Blind.!=, Eq_Blind.==
Eq 𝖆 ⇒ Blind 𝖆 → Int: Eq_Blind.hashCode
Eq 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Bool: Eq_Fixed.!=, Eq_Fixed.==
Eq 𝖆 ⇒ Fixed 𝖆 → Int: Eq_Fixed.hashCode
Eq 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Bool: Eq_NonEmptyList.!=, Eq_NonEmptyList.==
Eq 𝖆 ⇒ NonEmptyList 𝖆 → Int: Eq_NonEmptyList.hashCode
Eq 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Bool: Eq_NonNegative.!=, Eq_NonNegative.==
Eq 𝖆 ⇒ NonNegative 𝖆 → Int: Eq_NonNegative.hashCode
Eq 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Bool: Eq_NonZero.!=, Eq_NonZero.==
Eq 𝖆 ⇒ NonZero 𝖆 → Int: Eq_NonZero.hashCode
Eq 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Bool: Eq_OrderedList.!=, Eq_OrderedList.==
Eq 𝖆 ⇒ OrderedList 𝖆 → Int: Eq_OrderedList.hashCode
Eq 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Bool: Eq_Positive.!=, Eq_Positive.==
Eq 𝖆 ⇒ Positive 𝖆 → Int: Eq_Positive.hashCode
Eq 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Bool: Eq_Shrink2.!=, Eq_Shrink2.==
Eq 𝖆 ⇒ Shrink2 𝖆 → Int: Eq_Shrink2.hashCode
(Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ NonNegative 𝖆 → [NonNegative 𝖆]: Arbitrary_NonNegative.shrink
(Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ NonZero 𝖆 → [NonZero 𝖆]: Arbitrary_NonZero.shrink
(Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ Positive 𝖆 → [Positive 𝖆]: Arbitrary_Positive.shrink
Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Blind 𝖆: Ord_Blind.min, Ord_Blind.max
Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Bool: Ord_Blind.>=, Ord_Blind.<, Ord_Blind.<=, Ord_Blind.>
Ord 𝖆 ⇒ Blind 𝖆 → Blind 𝖆 → Ordering: Ord_Blind.compare, Ord_Blind.<=>
Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Fixed 𝖆: Ord_Fixed.min, Ord_Fixed.max
Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Bool: Ord_Fixed.>=, Ord_Fixed.<, Ord_Fixed.<=, Ord_Fixed.>
Ord 𝖆 ⇒ Fixed 𝖆 → Fixed 𝖆 → Ordering: Ord_Fixed.compare, Ord_Fixed.<=>
Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → NonEmptyList 𝖆: Ord_NonEmptyList.min, Ord_NonEmptyList.max
Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Bool: Ord_NonEmptyList.>=, Ord_NonEmptyList.<, Ord_NonEmptyList.<=, Ord_NonEmptyList.>
Ord 𝖆 ⇒ NonEmptyList 𝖆 → NonEmptyList 𝖆 → Ordering: Ord_NonEmptyList.compare, Ord_NonEmptyList.<=>
Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → NonNegative 𝖆: Ord_NonNegative.min, Ord_NonNegative.max
Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Bool: Ord_NonNegative.>=, Ord_NonNegative.<, Ord_NonNegative.<=, Ord_NonNegative.>
Ord 𝖆 ⇒ NonNegative 𝖆 → NonNegative 𝖆 → Ordering: Ord_NonNegative.compare, Ord_NonNegative.<=>
Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → NonZero 𝖆: Ord_NonZero.min, Ord_NonZero.max
Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Bool: Ord_NonZero.>=, Ord_NonZero.<, Ord_NonZero.<=, Ord_NonZero.>
Ord 𝖆 ⇒ NonZero 𝖆 → NonZero 𝖆 → Ordering: Ord_NonZero.compare, Ord_NonZero.<=>
Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → OrderedList 𝖆: Ord_OrderedList.min, Ord_OrderedList.max
Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Bool: Ord_OrderedList.>=, Ord_OrderedList.<, Ord_OrderedList.<=, Ord_OrderedList.>
Ord 𝖆 ⇒ OrderedList 𝖆 → OrderedList 𝖆 → Ordering: Ord_OrderedList.compare, Ord_OrderedList.<=>
Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Positive 𝖆: Ord_Positive.min, Ord_Positive.max
Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Bool: Ord_Positive.>=, Ord_Positive.<, Ord_Positive.<=, Ord_Positive.>
Ord 𝖆 ⇒ Positive 𝖆 → Positive 𝖆 → Ordering: Ord_Positive.compare, Ord_Positive.<=>
Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Shrink2 𝖆: Ord_Shrink2.min, Ord_Shrink2.max
Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Bool: Ord_Shrink2.>=, Ord_Shrink2.<, Ord_Shrink2.<=, Ord_Shrink2.>
Ord 𝖆 ⇒ Shrink2 𝖆 → Shrink2 𝖆 → Ordering: Ord_Shrink2.compare, Ord_Shrink2.<=>
(Ord 𝖆, Arbitrary 𝖆) ⇒ OrderedList 𝖆 → [OrderedList 𝖆]: Arbitrary_OrderedList.shrink
Show 𝖆 ⇒ [Fixed 𝖆] → String → String: Show_Fixed.showList
Show 𝖆 ⇒ [NonEmptyList 𝖆] → String → String: Show_NonEmptyList.showList
Show 𝖆 ⇒ [NonNegative 𝖆] → String → String: Show_NonNegative.showList
Show 𝖆 ⇒ [NonZero 𝖆] → String → String: Show_NonZero.showList
Show 𝖆 ⇒ [OrderedList 𝖆] → String → String: Show_OrderedList.showList
Show 𝖆 ⇒ [Positive 𝖆] → String → String: Show_Positive.showList
Show 𝖆 ⇒ [Shrink2 𝖆] → String → String: Show_Shrink2.showList
Show 𝖆 ⇒ [Smart 𝖆] → String → String: Show_Smart.showList
Show 𝖆 ⇒ Fixed 𝖆 → String: Show_Fixed.showsub, Show_Fixed.display, Show_Fixed.show
Show 𝖆 ⇒ Fixed 𝖆 → [Char]: Show_Fixed.showChars
Show 𝖆 ⇒ NonEmptyList 𝖆 → String: Show_NonEmptyList.showsub, Show_NonEmptyList.display, Show_NonEmptyList.show
Show 𝖆 ⇒ NonEmptyList 𝖆 → [Char]: Show_NonEmptyList.showChars
Show 𝖆 ⇒ NonNegative 𝖆 → String: Show_NonNegative.showsub, Show_NonNegative.display, Show_NonNegative.show
Show 𝖆 ⇒ NonNegative 𝖆 → [Char]: Show_NonNegative.showChars
Show 𝖆 ⇒ NonZero 𝖆 → String: Show_NonZero.showsub, Show_NonZero.display, Show_NonZero.show
Show 𝖆 ⇒ NonZero 𝖆 → [Char]: Show_NonZero.showChars
Show 𝖆 ⇒ OrderedList 𝖆 → String: Show_OrderedList.showsub, Show_OrderedList.display, Show_OrderedList.show
Show 𝖆 ⇒ OrderedList 𝖆 → [Char]: Show_OrderedList.showChars
Show 𝖆 ⇒ Positive 𝖆 → String: Show_Positive.showsub, Show_Positive.display, Show_Positive.show
Show 𝖆 ⇒ Positive 𝖆 → [Char]: Show_Positive.showChars
Show 𝖆 ⇒ Shrink2 𝖆 → String: Show_Shrink2.showsub, Show_Shrink2.display, Show_Shrink2.show
Show 𝖆 ⇒ Shrink2 𝖆 → [Char]: Show_Shrink2.showChars
Show 𝖆 ⇒ Smart 𝖆 → String: Show_Smart.showsub, Show_Smart.display, Show_Smart.show
Show 𝖆 ⇒ Smart 𝖆 → [Char]: Show_Smart.showChars
Show 𝖆 ⇒ Int → Fixed 𝖆 → String → String: Show_Fixed.showsPrec
Show 𝖆 ⇒ Int → NonEmptyList 𝖆 → String → String: Show_NonEmptyList.showsPrec
Show 𝖆 ⇒ Int → NonNegative 𝖆 → String → String: Show_NonNegative.showsPrec
Show 𝖆 ⇒ Int → NonZero 𝖆 → String → String: Show_NonZero.showsPrec
Show 𝖆 ⇒ Int → OrderedList 𝖆 → String → String: Show_OrderedList.showsPrec
Show 𝖆 ⇒ Int → Positive 𝖆 → String → String: Show_Positive.showsPrec
Show 𝖆 ⇒ Int → Shrink2 𝖆 → String → String: Show_Shrink2.showsPrec
Show 𝖆 ⇒ Int → Smart 𝖆 → String → String: Show_Smart.showsPrec
Arbitrary 𝖆 ⇒ Blind 𝖆 → [Blind 𝖆]: Arbitrary_Blind.shrink
Arbitrary 𝖆 ⇒ Fixed 𝖆 → [Fixed 𝖆]: Arbitrary_Fixed.shrink
Arbitrary 𝖆 ⇒ NonEmptyList 𝖆 → [NonEmptyList 𝖆]: Arbitrary_NonEmptyList.shrink
Arbitrary 𝖆 ⇒ Shrink2 𝖆 → [Shrink2 𝖆]: Arbitrary_Shrink2.shrink
Arbitrary 𝖆 ⇒ Smart 𝖆 → [Smart 𝖆]: Arbitrary_Smart.shrink
(Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ Gen (NonNegative 𝖆): Arbitrary_NonNegative.arbitrary
(Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ Gen (NonZero 𝖆): Arbitrary_NonZero.arbitrary
(Num 𝖆, Ord 𝖆, Arbitrary 𝖆) ⇒ Gen (Positive 𝖆): Arbitrary_Positive.arbitrary
(Ord 𝖆, Arbitrary 𝖆) ⇒ Gen (OrderedList 𝖆): Arbitrary_OrderedList.arbitrary
Arbitrary 𝖆 ⇒ Gen (Blind 𝖆): Arbitrary_Blind.arbitrary
Arbitrary 𝖆 ⇒ Gen (Fixed 𝖆): Arbitrary_Fixed.arbitrary
Arbitrary 𝖆 ⇒ Gen (NonEmptyList 𝖆): Arbitrary_NonEmptyList.arbitrary
Arbitrary 𝖆 ⇒ Gen (Shrink2 𝖆): Arbitrary_Shrink2.arbitrary
Arbitrary 𝖆 ⇒ Gen (Smart 𝖆): Arbitrary_Smart.arbitrary
NonEmptyList 𝖆 → ([𝖆]→[𝖇]) → NonEmptyList 𝖇: NonEmptyList.chg$getNonEmpty
NonEmptyList 𝖆 → [𝖇] → NonEmptyList 𝖇: NonEmptyList.upd$getNonEmpty
NonNegative 𝖆 → 𝖇 → NonNegative 𝖇: NonNegative.upd$getNonNegative
NonNegative 𝖇 → (𝖇→𝖆) → NonNegative 𝖆: NonNegative.chg$getNonNegative
NonZero 𝖆 → 𝖇 → NonZero 𝖇: NonZero.upd$getNonZero
NonZero 𝖇 → (𝖇→𝖆) → NonZero 𝖆: NonZero.chg$getNonZero
OrderedList 𝖆 → ([𝖆]→[𝖇]) → OrderedList 𝖇: OrderedList.chg$getOrdered
OrderedList 𝖆 → [𝖇] → OrderedList 𝖇: OrderedList.upd$getOrdered
Positive 𝖆 → 𝖇 → Positive 𝖇: Positive.upd$getPositive
Positive 𝖇 → (𝖇→𝖆) → Positive 𝖆: Positive.chg$getPositive