Test.TypeSpecCrazy

Funny operators that are mere type aliases for the constructs in TypeSpec

Crazy Type operators

type (###) title expr = Explain title expr infixr 0

Create a TypeSpec with an initial description or title followed by some expectations. Note that the number of #s is alway a multiple of 3.

type (######) title expr = Explain title expr infixr 0

type (#########) title expr = Explain title expr infixr 0

type (############) title expr = Explain title expr infixr 0

type (###############) title expr = Explain title expr infixr 0

type (##################) title expr = Explain title expr infixr 0

type (#####################) title expr = Explain title expr infixr 0

type (########################) title expr = Explain title expr infixr 0

type (###########################) title expr = Explain title expr infixr 0

type (##############################) title expr = Explain title expr infixr 0

type (#################################) title expr = Explain title expr infixr 0

type (####################################) title expr = Explain title expr infixr 0

type (#######################################) title expr = Explain title expr infixr 0

type (##########################################) title expr = Explain title expr infixr 0

type (#############################################) title expr = Explain title expr infixr 0

type (################################################) title expr = Explain title expr infixr 0

type (###################################################) title expr = Explain title expr infixr 0

type (######################################################) title expr = Explain title expr infixr 0

type (#########################################################) title expr = Explain title expr infixr 0

type (############################################################) title expr = Explain title expr infixr 0

type (###############################################################) title expr = Explain title expr infixr 0

type (##################################################################) title expr = Explain title expr infixr 0

type (#####################################################################) title expr = Explain title expr infixr 0

type (########################################################################) title expr = Explain title expr infixr 0

type (--*) title expr = It title expr infixl 2

Specify an expectation using an underlined title using It.

type (~~~) title expr = It title expr infixl 2

type (~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) title expr = It title expr infixr 2

type (-*-) expectation1 expectation2 = expectation1 -/- expectation2 infixl 2