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, l)) :: k where ...

Equations

Fst '(a, b) = a

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

type family Snd (p :: (k, l)) :: l where ...

Equations

Snd '(a, b) = b

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

type family Fst3 (p :: (k, l, m)) :: k where ...

Equations

Fst3 '(a, b, c) = a

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

type family Snd3 (p :: (k, l, m)) :: l where ...

Equations

Snd3 '(a, b, c) = b

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

type family Thd3 (p :: (k, l, m)) :: m where ...

Equations

Thd3 '(a, b, c) = c

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

type family (f :: k -> l) <$> (a :: (m, k)) :: (m, l) where ... infixr 4

Equations

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

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

type family (f :: (m, k -> l)) <&> (a :: k) :: (m, l) where ... infixr 4

Equations

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

type family (f :: (m, k -> l)) <*> (a :: (m, k)) :: (m, l) where ... infixr 4

Equations

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