HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

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