Data.Pattern.Base.Tuple

Various types defined inductively as type families or data families on type-lists.

Functions

type family Fun xs r

Curried functions. We have

Fun (x1 :*: x2 :*: ... :*: xn :*: Nil) r ~ x1 -> x2 -> ... -> xn -> r

Tuples

data Tuple xs

Tuples with types given by xs.

zero :: Tuple Nil

The empty tuple

one :: a -> Tuple (a :*: Nil)

The singleton tuple

(<>) :: Tuple xs -> Tuple ys -> Tuple (xs :++: ys)

Concatenation of tuples.

runTuple :: Tuple xs -> Fun xs r -> r

Runs a tuple by applying it to a function.