Tedious.Handler

Documentation

withDoc :: Handler h m => Summary -> Description -> Middleware h ts ts

withDoc' :: Handler h m => Summary -> Middleware h ts ts

errorHandler :: (Show e, StdHandler h m, Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep ())]) => h (Request `With` ts, e) Response

authFail :: StdHandler h (Eff es) => h (Request `With` ts, BasicAuthError ()) Response

audit :: forall eff env es h ts. (Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff) => (env -> Pool Connection) -> Maybe Text -> (RequestHandler h ts, SysOper') -> RequestHandler h ts

list :: forall i d f ids wfs rfs r eff env es h ts. (ids ~ [i], Integral i, DefaultFromField SqlInt8 i, Default Unpackspec rfs rfs, Default FromFields rfs r, Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, Gets h '[Body JSON (PageI f)], Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep (PageO [d])), Body JSON (Rep ())]) => (env -> Pool Connection) -> Table wfs rfs -> (Maybe f -> rfs -> Field SqlBool) -> Order rfs -> (r -> d) -> (RequestHandler h ts, SysOper')

list' :: forall i d f ids rfs r eff env es h ts. (ids ~ [i], Integral i, DefaultFromField SqlInt8 i, Default FromFields rfs r, Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, Gets h '[Body JSON (PageI f)], Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep (PageO [d])), Body JSON (Rep ())]) => SysOperTargetName -> (env -> Pool Connection) -> Select rfs -> (Maybe f -> rfs -> Field SqlBool) -> Order rfs -> (r -> d) -> (RequestHandler h ts, SysOper')

get :: forall i fi d wfs rfs r eff env es h ts. (Default Unpackspec rfs rfs, Default FromFields rfs r, Sel1 rfs (Field fi), Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, HaveTraits '[PathVar "id" i] ts, Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep (Maybe d))]) => (env -> Pool Connection) -> Table wfs rfs -> (i -> Field fi) -> (r -> d) -> (RequestHandler h ts, SysOper')

get' :: forall i d eff env es h ts. (Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, HaveTraits '[PathVar "id" i] ts, Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep (Maybe d))]) => SysOperTargetName -> (env -> Pool Connection) -> (Connection -> i -> IO (Maybe d)) -> (RequestHandler h ts, SysOper')

add :: forall i fi a wfs rfs eff env es h ts. (Sel1 rfs (Field fi), DefaultFromField fi i, Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, Gets h '[Body JSON a], Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep i), Body JSON (Rep ())]) => (env -> Pool Connection) -> Table wfs rfs -> (a -> [wfs]) -> (RequestHandler h ts, SysOper')

add' :: forall i a eff env es h ts. (Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, Gets h '[Body JSON a], Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep i), Body JSON (Rep ())]) => SysOperTargetName -> (env -> Pool Connection) -> (Connection -> a -> IO i) -> (RequestHandler h ts, SysOper')

dup :: forall i fi wfs rfs r eff env es h ts. (Default Unpackspec rfs rfs, Default FromFields rfs r, Sel1 rfs (Field fi), DefaultFromField fi i, Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, HaveTraits '[PathVar "id" i] ts, Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep i), Body JSON (Rep ())]) => (env -> Pool Connection) -> Table wfs rfs -> (i -> Field fi) -> (r -> wfs) -> (RequestHandler h ts, SysOper')

dup' :: forall i eff env es h ts. (Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, HaveTraits '[PathVar "id" i] ts, Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep i), Body JSON (Rep ())]) => SysOperTargetName -> (env -> Pool Connection) -> (Connection -> i -> IO i) -> (RequestHandler h ts, SysOper')

upd :: forall i fi u wfs rfs d r eff env es h ts. (Sel1 rfs (Field fi), Default FromFields rfs r, Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, HaveTraits '[PathVar "id" i] ts, Gets h '[Body JSON u], Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep d), Body JSON (Rep ())]) => (env -> Pool Connection) -> Table wfs rfs -> (i -> Field fi) -> (u -> rfs -> wfs) -> (r -> d) -> (RequestHandler h ts, SysOper')

upd' :: forall i u d eff env es h ts. (Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, HaveTraits '[PathVar "id" i] ts, Gets h '[Body JSON u], Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep d), Body JSON (Rep ())]) => SysOperTargetName -> (env -> Pool Connection) -> (Connection -> i -> u -> IO d) -> (RequestHandler h ts, SysOper')

del :: forall i fi wfs rfs eff env es h ts. (Sel1 rfs (Field fi), Reader env :> es, IOE :> es, eff ~ Eff es, StdHandler h eff, HaveTraits '[PathVar "id" i] ts, Sets h '[RequiredResponseHeader "Content-Type" Text, Body JSON (Rep Text), Body JSON (Rep ())]) => (env -> Pool Connection) -> Table wfs rfs -> (i -> Field fi) -> (RequestHandler h ts, SysOper')