webapi-0.3: WAI based library for web api

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

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

type family as :++ bs :: [k] infixr 5 Source

Equations

 `[]` :++ bs = bs (a : as) :++ bs = a : (as :++ bs)