Data.Homeomorphic.Test

Documentation

data AB

Constructors

A

B

Instances

Eq AB

Ord AB

Show AB

Arbitrary AB

data Command

Constructors

Insert (Shell AB)

Find (Shell AB)

Instances

Eq Command

Ord Command

Show Command

Arbitrary Command

tester :: [Command] -> Bool