Type.Family.Tuple

Type-level pairs and triples, along with some convenient aliases and type families over them.

Documentation

type (#) = (,) infixr 6

type family Fst p :: k

Equations

Fst `(a, b)` = a

fstCong :: (p ~ q) :- (Fst p ~ Fst q)

type family Snd p :: l

Equations

Snd `(a, b)` = b

sndCong :: (p ~ q) :- (Snd p ~ Snd q)

type family Fst3 p :: k

Equations

Fst3 `(a, b, c)` = a

fst3Cong :: (p ~ q) :- (Fst3 p ~ Fst3 q)

type family Snd3 p :: l

Equations

Snd3 `(a, b, c)` = b

snd3Cong :: (p ~ q) :- (Snd3 p ~ Snd3 q)

type family Thd3 p :: m

Equations

Thd3 `(a, b, c)` = c

thd3Cong :: (p ~ q) :- (Thd3 p ~ Thd3 q)

type family f <$> a :: (m, l) infixr 4

Equations

f <$> (a # b) = a # f b

pairMapCong :: (f ~ g, a ~ b) :- ((f <$> a) ~ (g <$> b))

type family f <&> a :: (m, l) infixr 4

Equations

(r # f) <&> a = r # f a

type family f <*> a :: (m, l) infixr 4

Equations

(r # f) <*> (s # a) = (r <> s) # f a