serv-0.1.0.0: Dependently typed API server framework

Safe HaskellNone
LanguageHaskell2010

Serv.Internal.Query

Synopsis

Documentation

class QueryEncode s a where Source #

Minimal complete definition

queryEncode

Methods

queryEncode :: Proxy s -> a -> Maybe Text Source #

class QueryDecode s a where Source #

Minimal complete definition

queryDecode

class ReflectQuery query where Source #

Given a record of headers, encode them into a list of header pairs.

Minimal complete definition

reflectQuery

Methods

reflectQuery :: Rec query -> Query Source #

Instances

ReflectQuery a ([] (Pair a *)) Source # 

Methods

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

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

Methods

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