Serv.Internal.Pair

Documentation

data Pair a b

Equivalent to a tuple at both the type and kind levels, but has a nicer syntax!

Constructors

a ::: b infixr 6

Instances

Elem a k name e rs => Elem a k name e ((:) (Pair a *) r rs)

Methods

eGet :: Rec name es -> Tagged e ((Pair a * ': r) rs) e

eMap :: Tagged e ((Pair a * ': r) rs) (e -> e) -> Rec name es -> Rec name es

Elem a a name e ((:) (Pair a *) ((:::) a * name e) rs)

Methods

eGet :: Rec name es -> Tagged e ((Pair a * ': (a ::: *) name e) rs) e

eMap :: Tagged e ((Pair a * ': (a ::: *) name e) rs) (e -> e) -> Rec name es -> Rec name es

Subset a1 a ([] (Pair a *)) qs

Methods

project :: Rec [Pair a *] qs -> Rec qs rs

(Elem a a1 name r qs, Subset a a1 rs qs) => Subset a a1 ((:) (Pair a1 *) ((:::) a1 * name r) rs) qs

Methods

project :: Rec ((Pair a1 * ': (a1 ::: *) name r) rs) qs -> Rec qs rs

ReflectQuery a ([] (Pair a *))

Methods

reflectQuery :: Rec [Pair a *] query -> Query

ReflectHeaders a ([] (Pair a *))

Methods

reflectHeaders :: Rec [Pair a *] headers -> [Header]

(KnownSymbol s, QueryEncode s a, ReflectQuery Symbol query) => ReflectQuery Symbol ((:) (Pair Symbol *) ((:::) Symbol * s a) query)

Methods

reflectQuery :: Rec ((Pair Symbol * ': (Symbol ::: *) s a) query) query -> Query

(ReflectName name, HeaderEncode name ty, ReflectHeaders HeaderName headers) => ReflectHeaders HeaderName ((:) (Pair HeaderName *) ((:::) HeaderName * name ty) headers)

Methods

reflectHeaders :: Rec ((Pair HeaderName * ': (HeaderName ::: *) name ty) headers) headers -> [Header]

(ReflectName name, ReflectHeaderNames [Pair HeaderName b] hdrs) => ReflectHeaderNames [Pair HeaderName b] ((:) (Pair HeaderName b) ((:::) HeaderName b name ty) hdrs)

Methods

reflectHeaderNames :: Proxy ((Pair HeaderName b ': (HeaderName ::: b) name ty) hdrs) headers -> [HeaderName]