Test.LeanCheck.Utils.Types

Integer types

data Int1

data Int2

data Int3

data Int4

data Word1

data Word2

data Word3

data Word4

data Nat

data Nat1

data Nat2

data Nat3

data Nat4

data Nat5

data Nat6

data Nat7

Aliases to word types (deprecated)

type UInt1

type UInt2

type UInt3

type UInt4

Extreme Integers

data X a

List-wrapper types

data NoDup a

data Bag a

data Set a