HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Moduletesting-type-modifiers-0.1.0.1Haskell2010

Data.Modifiers

Type modifiers for writing properties that quantify over commonly used subsets of standard types. | | Currently there are only a few modifiers, more will be added.

  • 5 types
  • 3 values

List modifiers

2 declarations
newtypenewtype NonEmpty a
#

A type of non empty lists such that nonEmpty xs /= [] .

Constructors

Instances1Show
  • Show a => Show (NonEmpty a)Defined in testing-type-modifiers-0.1.0.1 · Data.Modifiers

Numeric modifiers

2 declarations
newtypenewtype Nat a
#

A type of natural numbers such that nat a >= 0 .

Constructors

Instances3Eq, Ord, Show
  • Eq a => Eq (Nat a)Defined in testing-type-modifiers-0.1.0.1 · Data.Modifiers
  • Ord a => Ord (Nat a)Defined in testing-type-modifiers-0.1.0.1 · Data.Modifiers
  • Show a => Show (Nat a)Defined in testing-type-modifiers-0.1.0.1 · Data.Modifiers
newtypenewtype NonZero a
#

A type of non-zero integers such that nonZero a /= 0 .

Constructors

Instances3Eq, Ord, Show
  • Eq a => Eq (NonZero a)Defined in testing-type-modifiers-0.1.0.1 · Data.Modifiers
  • Ord a => Ord (NonZero a)Defined in testing-type-modifiers-0.1.0.1 · Data.Modifiers
  • Show a => Show (NonZero a)Defined in testing-type-modifiers-0.1.0.1 · Data.Modifiers

Character and string modifiers

4 declarations
newtypenewtype Unicode
#

Any unicode character. Should contain all values of the Char type.

Constructors

Instances3Eq, Ord, Show
  • Eq UnicodeDefined in testing-type-modifiers-0.1.0.1 · Data.Modifiers
  • Ord UnicodeDefined in testing-type-modifiers-0.1.0.1 · Data.Modifiers
  • Show UnicodeDefined in testing-type-modifiers-0.1.0.1 · Data.Modifiers