CompoundTypes.Lazy

Implementations of strict data-structures.

Documentation

data Sum2 a b

Constructors

Sum2_1 a

Sum2_2 b

data Sum3 a b c

Constructors

Sum3_1 a

Sum3_2 b

Sum3_3 c

data Sum4 a b c d

Constructors

Sum4_1 a

Sum4_2 b

Sum4_3 c

Sum4_4 d

data Sum5 a b c d e

Constructors

Sum5_1 a

Sum5_2 b

Sum5_3 c

Sum5_4 d

Sum5_5 e

type family a + b where ... infixl 0

Automatically derives the sum-type of the according arity from expressions such as:

(Int + Char + Bool)

In that case it will resolve to:

Sum3 Int Char Bool

Equations

(Sum4 v1 v2 v3 v4) + v5 = Sum5 v1 v2 v3 v4 v5

(Sum3 v1 v2 v3) + (Sum2 v4 v5) = Sum5 v1 v2 v3 v4 v5

(Sum3 v1 v2 v3) + v4 = Sum4 v1 v2 v3 v4

(Sum2 v1 v2) + (Sum3 v3 v4 v5) = Sum5 v1 v2 v3 v4 v5

(Sum2 v1 v2) + (Sum2 v3 v4) = Sum4 v1 v2 v3 v4

(Sum2 v1 v2) + v3 = Sum3 v1 v2 v3

v1 + (Sum4 v2 v3 v4 v5) = Sum5 v1 v2 v3 v4 v5

v1 + (Sum3 v2 v3 v4) = Sum4 v1 v2 v3 v4

v1 + (Sum2 v2 v3) = Sum3 v1 v2 v3

v1 + v2 = Sum2 v1 v2

data Product2 a b

Constructors

Product2 a b

data Product3 a b c

Constructors

Product3 a b c

data Product4 a b c d

Constructors

Product4 a b c d

data Product5 a b c d e

Constructors

Product5 a b c d e

type family a * b where ... infixl 1

Automatically derives the product-type of the according arity from expressions such as:

(Int * Char * Bool)

In that case it will resolve to:

Product3 Int Char Bool

Equations

(Product4 v1 v2 v3 v4) * v5 = Product5 v1 v2 v3 v4 v5

(Product3 v1 v2 v3) * (Product2 v4 v5) = Product5 v1 v2 v3 v4 v5

(Product3 v1 v2 v3) * v4 = Product4 v1 v2 v3 v4

(Product2 v1 v2) * (Product3 v3 v4 v5) = Product5 v1 v2 v3 v4 v5

(Product2 v1 v2) * (Product2 v3 v4) = Product4 v1 v2 v3 v4

(Product2 v1 v2) * v3 = Product3 v1 v2 v3

v1 * (Product4 v2 v3 v4 v5) = Product5 v1 v2 v3 v4 v5

v1 * (Product3 v2 v3 v4) = Product4 v1 v2 v3 v4

v1 * (Product2 v2 v3) = Product3 v1 v2 v3

v1 * v2 = Product2 v1 v2