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.

Contents

List modifiers
Numeric modifiers
Character and string modifiers

Synopsis

newtype NonEmpty
value mkNonEmpty
newtype Nat
newtype NonZero
newtype Unicode
value unicodes
newtype Printable
value printables

Packagetesting-type-modifiers-0.1.0.1
Exports8
LanguageHaskell2010
LicenceLicenseRef-PublicDomain
SourceModifiers.hs

List modifiers

newtypenewtype NonEmpty a

Source#

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

Constructors

NonEmpty
- nonEmpty :: [a]

Instances1Show

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

valuemkNonEmpty :: a -> [a] -> NonEmpty a

Numeric modifiers

newtypenewtype Nat a

Source#

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

Constructors

Nat
- nat :: a

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

Source#

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

Constructors

NonZero
- nonZero :: a

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