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