Test.LeanCheck.Utils.TypeBinding

Type binding operators

(-:)

(-:>)

(->:)

(->:>)

(->>:)

(->>:>)

(->>>:)

Dummy (undefined) values

Standard Haskell types

und

(>-)

bool

int

integer

float

double

char

string

mayb

eith

Testing types

nat

int1

uint1

int2

uint2

int3

uint3

int4

uint4