| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
WebApi.Util
Documentation
type family HListToTuple xs :: * Source
Equations
| HListToTuple `[]` = () | |
| HListToTuple `[p1]` = p1 | |
| HListToTuple `[p1, p2]` = (p1, p2) | |
| HListToTuple `[p1, p2, p3]` = (p1, p2, p3) | |
| HListToTuple `[p1, p2, p3, p4]` = (p1, p2, p3, p4) | |
| HListToTuple `[p1, p2, p3, p4, p5]` = (p1, p2, p3, p4, p5) | |
| HListToTuple `[p1, p2, p3, p4, p5, p6]` = (p1, p2, p3, p4, p5, p6) | |
| HListToTuple `[p1, p2, p3, p4, p5, p6, p7]` = (p1, p2, p3, p4, p5, p6, p7) | |
| HListToTuple `[p1, p2, p3, p4, p5, p6, p7, p8]` = (p1, p2, p3, p4, p5, p6, p7, p8) | |
| HListToTuple `[p1, p2, p3, p4, p5, p6, p7, p8, p9]` = (p1, p2, p3, p4, p5, p6, p7, p8, p9) |
type family HListToRecTuple xs :: * Source
Equations
| HListToRecTuple (x : xs) = (x, HListToRecTuple xs) | |
| HListToRecTuple `[]` = () |
class ToHListRecTuple xs where Source
Methods
toRecTuple :: Proxy xs -> HListToTuple xs -> HListToRecTuple xs Source
fromRecTuple :: Proxy xs -> HListToRecTuple xs -> HListToTuple xs Source
Instances
| ToHListRecTuple ([] *) Source | |
| ToHListRecTuple ((:) * p1 ((:) * p2 ((:) * p3 ((:) * p4 ((:) * p5 ((:) * p6 ((:) * p7 ((:) * p8 ((:) * p9 ([] *)))))))))) Source | |
| ToHListRecTuple ((:) * p1 ((:) * p2 ((:) * p3 ((:) * p4 ((:) * p5 ((:) * p6 ((:) * p7 ((:) * p8 ([] *))))))))) Source | |
| ToHListRecTuple ((:) * p1 ((:) * p2 ((:) * p3 ((:) * p4 ((:) * p5 ((:) * p6 ((:) * p7 ([] *)))))))) Source | |
| ToHListRecTuple ((:) * p1 ((:) * p2 ((:) * p3 ((:) * p4 ((:) * p5 ((:) * p6 ([] *))))))) Source | |
| ToHListRecTuple ((:) * p1 ((:) * p2 ((:) * p3 ((:) * p4 ((:) * p5 ([] *)))))) Source | |
| ToHListRecTuple ((:) * p1 ((:) * p2 ((:) * p3 ((:) * p4 ([] *))))) Source | |
| ToHListRecTuple ((:) * p1 ((:) * p2 ((:) * p3 ([] *)))) Source | |
| ToHListRecTuple ((:) * p1 ((:) * p2 ([] *))) Source | |
| (~) * (HListToRecTuple ((:) * p1 ([] *))) (p1, ()) => ToHListRecTuple ((:) * p1 ([] *)) Source |