-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Easily define multiple interrelated data types
--   
--   A user-friendly web development tool that can easily define multiple
--   interrelated data types
@package tedious-web
@version 0.2.1.2

module Tedious.Tutorial

module Tedious.Util
upperFirst :: String -> String
lowerFirst :: String -> String
trimPrefixName :: String -> String -> String
trimPrefixName_ :: String -> String -> String
toJSONOptions :: Options
schemaOptions :: SchemaOptions

module Tedious.Quasi
tedious :: QuasiQuoter

module Tedious.Entity
data Page
Page :: Natural -> Natural -> Page
[_pageIndex] :: Page -> Natural
[_pageSize] :: Page -> Natural
data PageO a
PageO :: Page -> Natural -> a -> PageO a
[_pageOPage] :: PageO a -> Page
[_pageOTotal] :: PageO a -> Natural
[_pageOData] :: PageO a -> a
data PageI a
PageI :: Maybe Page -> Maybe a -> PageI a
[_pageIPage] :: PageI a -> Maybe Page
[_pageIFilter] :: PageI a -> Maybe a
data Rep a
Rep :: Natural -> Text -> Maybe a -> Rep a
[_repCode] :: Rep a -> Natural
[_repMessage] :: Rep a -> Text
[_repData] :: Rep a -> Maybe a
data Err
Err :: Natural -> Text -> Err
[_errCode] :: Err -> Natural
[_errMessage] :: Err -> Text
data SysAdmin
SysAdmin :: Text -> Text -> SysAdmin
[_sysAdminName] :: SysAdmin -> Text
[_sysAdminPass] :: SysAdmin -> Text
data SysUser
SysUser :: Text -> Text -> SysUser
[_sysUserName] :: SysUser -> Text
[_sysUserPass] :: SysUser -> Text
data SysOper'
SysOper' :: Text -> Text -> Maybe Text -> SysOper'
[_sysOper'Name] :: SysOper' -> Text
[_sysOper'Target] :: SysOper' -> Text
[_sysOper'Content] :: SysOper' -> Maybe Text
data SysOper
SysOper :: Int64 -> Maybe Text -> Text -> Text -> Maybe Text -> UTCTime -> SysOper
[_sysOperId] :: SysOper -> Int64
[_sysOperUser] :: SysOper -> Maybe Text
[_sysOperName] :: SysOper -> Text
[_sysOperTarget] :: SysOper -> Text
[_sysOperContent] :: SysOper -> Maybe Text
[_sysOperTime] :: SysOper -> UTCTime
tediousPersistString :: String
sysOperTable :: Table (Maybe (Field SqlInt8), Maybe (FieldNullable SqlText), Field SqlText, Field SqlText, Maybe (FieldNullable SqlText), Field SqlTimestamptz) (Field SqlInt8, FieldNullable SqlText, Field SqlText, Field SqlText, FieldNullable SqlText, Field SqlTimestamptz)
sysUserTable :: Table (Field SqlText, Field SqlText) (Field SqlText, Field SqlText)
sysOperUser :: Lens' SysOper (Maybe Text)
sysOperTime :: Lens' SysOper UTCTime
sysOperTarget :: Lens' SysOper Text
sysOperName :: Lens' SysOper Text
sysOperId :: Lens' SysOper Int64
sysOperContent :: Lens' SysOper (Maybe Text)
sysOper'Target :: Lens' SysOper' Text
sysOper'Name :: Lens' SysOper' Text
sysOper'Content :: Lens' SysOper' (Maybe Text)
sysUserPass :: Lens' SysUser Text
sysUserName :: Lens' SysUser Text
sysAdminPass :: Lens' SysAdmin Text
sysAdminName :: Lens' SysAdmin Text
errMessage :: Lens' Err Text
errCode :: Lens' Err Natural
repMessage :: forall a. Lens' (Rep a) Text
repData :: forall a a_aFIz. Lens (Rep a_aFIz) (Rep a_aFIz) (Maybe a_aFIz) (Maybe a_aFIz)
repCode :: forall a. Lens' (Rep a) Natural
pageIPage :: forall a. Lens' (PageI a) (Maybe Page)
pageIFilter :: forall a a_aFIq. Lens (PageI a_aFIq) (PageI a_aFIq) (Maybe a_aFIq) (Maybe a_aFIq)
pageOTotal :: forall a. Lens' (PageO a) Natural
pageOPage :: forall a. Lens' (PageO a) Page
pageOData :: forall a a_aFIa. Lens (PageO a_aFIa) (PageO a_aFIa) a_aFIa a_aFIa
pageSize :: Lens' Page Natural
pageIndex :: Lens' Page Natural
fillPage :: Page -> Natural -> b -> PageO b
repOk :: Rep a
rep :: a -> Rep a
repErr :: Natural -> Text -> Rep a
repErr' :: Err -> Rep a
repErrNotSupport :: Rep a
catchRep :: Eff (Error Err : es) (Rep a) -> Eff es (Rep a)
type SysOperTargetName = Text
instance GHC.Show.Show Tedious.Entity.Page
instance GHC.Classes.Eq Tedious.Entity.Page
instance GHC.Generics.Generic Tedious.Entity.Page
instance Data.Default.Class.Default Tedious.Entity.Page
instance GHC.Show.Show a => GHC.Show.Show (Tedious.Entity.PageO a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Tedious.Entity.PageO a)
instance GHC.Generics.Generic (Tedious.Entity.PageO a)
instance Data.Default.Class.Default a => Data.Default.Class.Default (Tedious.Entity.PageO a)
instance GHC.Show.Show a => GHC.Show.Show (Tedious.Entity.PageI a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Tedious.Entity.PageI a)
instance GHC.Generics.Generic (Tedious.Entity.PageI a)
instance Data.Default.Class.Default a => Data.Default.Class.Default (Tedious.Entity.PageI a)
instance GHC.Show.Show a => GHC.Show.Show (Tedious.Entity.Rep a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Tedious.Entity.Rep a)
instance GHC.Generics.Generic (Tedious.Entity.Rep a)
instance Data.Default.Class.Default a => Data.Default.Class.Default (Tedious.Entity.Rep a)
instance GHC.Show.Show Tedious.Entity.Err
instance GHC.Classes.Eq Tedious.Entity.Err
instance GHC.Generics.Generic Tedious.Entity.Err
instance Data.Default.Class.Default Tedious.Entity.Err
instance GHC.Exception.Type.Exception Tedious.Entity.Err
instance GHC.Show.Show Tedious.Entity.SysAdmin
instance GHC.Classes.Eq Tedious.Entity.SysAdmin
instance GHC.Generics.Generic Tedious.Entity.SysAdmin
instance Data.Default.Class.Default Tedious.Entity.SysAdmin
instance GHC.Show.Show Tedious.Entity.SysUser
instance GHC.Classes.Eq Tedious.Entity.SysUser
instance GHC.Generics.Generic Tedious.Entity.SysUser
instance Data.Default.Class.Default Tedious.Entity.SysUser
instance GHC.Show.Show Tedious.Entity.SysOper'
instance GHC.Classes.Eq Tedious.Entity.SysOper'
instance GHC.Generics.Generic Tedious.Entity.SysOper'
instance Data.Default.Class.Default Tedious.Entity.SysOper'
instance GHC.Show.Show Tedious.Entity.SysOper
instance GHC.Classes.Eq Tedious.Entity.SysOper
instance GHC.Generics.Generic Tedious.Entity.SysOper
instance Data.Default.Class.Default Tedious.Entity.SysOper
instance Data.Aeson.Types.ToJSON.ToJSON Tedious.Entity.SysOper
instance Data.Aeson.Types.FromJSON.FromJSON Tedious.Entity.SysOper
instance Data.OpenApi.Internal.Schema.ToSchema Tedious.Entity.SysOper
instance Data.Aeson.Types.ToJSON.ToJSON Tedious.Entity.SysOper'
instance Data.Aeson.Types.FromJSON.FromJSON Tedious.Entity.SysOper'
instance Data.OpenApi.Internal.Schema.ToSchema Tedious.Entity.SysOper'
instance Data.Aeson.Types.ToJSON.ToJSON Tedious.Entity.SysUser
instance Data.Aeson.Types.FromJSON.FromJSON Tedious.Entity.SysUser
instance Data.OpenApi.Internal.Schema.ToSchema Tedious.Entity.SysUser
instance Data.Aeson.Types.ToJSON.ToJSON Tedious.Entity.SysAdmin
instance Data.Aeson.Types.FromJSON.FromJSON Tedious.Entity.SysAdmin
instance Data.OpenApi.Internal.Schema.ToSchema Tedious.Entity.SysAdmin
instance Data.Aeson.Types.ToJSON.ToJSON Tedious.Entity.Err
instance Data.Aeson.Types.FromJSON.FromJSON Tedious.Entity.Err
instance Data.OpenApi.Internal.Schema.ToSchema Tedious.Entity.Err
instance (GHC.Generics.Generic (Tedious.Entity.Rep a), Data.Aeson.Types.ToJSON.GToJSON' Data.Aeson.Types.Internal.Value Data.Aeson.Types.Generic.Zero (GHC.Generics.Rep (Tedious.Entity.Rep a)), Data.Aeson.Types.ToJSON.GToJSON' Data.Aeson.Encoding.Internal.Encoding Data.Aeson.Types.Generic.Zero (GHC.Generics.Rep (Tedious.Entity.Rep a))) => Data.Aeson.Types.ToJSON.ToJSON (Tedious.Entity.Rep a)
instance (GHC.Generics.Generic (Tedious.Entity.Rep a), Data.Aeson.Types.FromJSON.GFromJSON Data.Aeson.Types.Generic.Zero (GHC.Generics.Rep (Tedious.Entity.Rep a))) => Data.Aeson.Types.FromJSON.FromJSON (Tedious.Entity.Rep a)
instance (Data.Default.Class.Default a, Data.Aeson.Types.ToJSON.ToJSON a, Data.OpenApi.Internal.Schema.ToSchema a) => Data.OpenApi.Internal.Schema.ToSchema (Tedious.Entity.Rep a)
instance (GHC.Generics.Generic (Tedious.Entity.PageI a), Data.Aeson.Types.ToJSON.GToJSON' Data.Aeson.Types.Internal.Value Data.Aeson.Types.Generic.Zero (GHC.Generics.Rep (Tedious.Entity.PageI a)), Data.Aeson.Types.ToJSON.GToJSON' Data.Aeson.Encoding.Internal.Encoding Data.Aeson.Types.Generic.Zero (GHC.Generics.Rep (Tedious.Entity.PageI a))) => Data.Aeson.Types.ToJSON.ToJSON (Tedious.Entity.PageI a)
instance (GHC.Generics.Generic (Tedious.Entity.PageI a), Data.Aeson.Types.FromJSON.GFromJSON Data.Aeson.Types.Generic.Zero (GHC.Generics.Rep (Tedious.Entity.PageI a))) => Data.Aeson.Types.FromJSON.FromJSON (Tedious.Entity.PageI a)
instance (Data.Default.Class.Default a, Data.Aeson.Types.ToJSON.ToJSON a, Data.OpenApi.Internal.Schema.ToSchema a) => Data.OpenApi.Internal.Schema.ToSchema (Tedious.Entity.PageI a)
instance (GHC.Generics.Generic (Tedious.Entity.PageO a), Data.Aeson.Types.ToJSON.GToJSON' Data.Aeson.Types.Internal.Value Data.Aeson.Types.Generic.Zero (GHC.Generics.Rep (Tedious.Entity.PageO a)), Data.Aeson.Types.ToJSON.GToJSON' Data.Aeson.Encoding.Internal.Encoding Data.Aeson.Types.Generic.Zero (GHC.Generics.Rep (Tedious.Entity.PageO a))) => Data.Aeson.Types.ToJSON.ToJSON (Tedious.Entity.PageO a)
instance (GHC.Generics.Generic (Tedious.Entity.PageO a), Data.Aeson.Types.FromJSON.GFromJSON Data.Aeson.Types.Generic.Zero (GHC.Generics.Rep (Tedious.Entity.PageO a))) => Data.Aeson.Types.FromJSON.FromJSON (Tedious.Entity.PageO a)
instance (Data.Default.Class.Default a, Data.Aeson.Types.ToJSON.ToJSON a, Data.OpenApi.Internal.Schema.ToSchema a) => Data.OpenApi.Internal.Schema.ToSchema (Tedious.Entity.PageO a)
instance Data.Aeson.Types.ToJSON.ToJSON Tedious.Entity.Page
instance Data.Aeson.Types.FromJSON.FromJSON Tedious.Entity.Page
instance Data.OpenApi.Internal.Schema.ToSchema Tedious.Entity.Page

module Tedious.Handler
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 fi d rfs r eff env es h ts. (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))]) => SysOperTargetName -> (env -> Pool Connection) -> Select rfs -> (i -> Field fi) -> (r -> 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')

module Tedious