Tedious.Entity

Documentation

data Page

Constructors

Page

Fields

• _pageIndex :: Natural
• _pageSize :: Natural

Instances

FromJSON Page

Defined in Tedious.Entity

Methods

parseJSON :: Value -> Parser Page

parseJSONList :: Value -> Parser [Page]

ToJSON Page

Defined in Tedious.Entity

Methods

toJSON :: Page -> Value

toEncoding :: Page -> Encoding

toJSONList :: [Page] -> Value

toEncodingList :: [Page] -> Encoding

Generic Page

Defined in Tedious.Entity

Associated Types

type Rep Page :: Type -> Type

Methods

from :: Page -> Rep Page x

to :: Rep Page x -> Page

Show Page

Defined in Tedious.Entity

Methods

showsPrec :: Int -> Page -> ShowS

show :: Page -> String

showList :: [Page] -> ShowS

Default Page

Defined in Tedious.Entity

Methods

def :: Page

Eq Page

Defined in Tedious.Entity

Methods

(==) :: Page -> Page -> Bool

(/=) :: Page -> Page -> Bool

ToSchema Page

Defined in Tedious.Entity

Methods

declareNamedSchema :: Proxy Page -> Declare (Definitions Schema) NamedSchema

type Rep Page

Defined in Tedious.Entity

type Rep Page = D1 ('MetaData "Page" "Tedious.Entity" "tedious-web-0.2.1.4-3PTRLIORtUA6D36GT3wfSB" 'False) (C1 ('MetaCons "Page" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pageIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_pageSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

data PageO a

Constructors

PageO

Fields

• _pageOPage :: Page
• _pageOTotal :: Natural
• _pageOData :: a

Instances

(Generic (PageO a), GFromJSON Zero (Rep (PageO a))) => FromJSON (PageO a)

Defined in Tedious.Entity

Methods

parseJSON :: Value -> Parser (PageO a)

parseJSONList :: Value -> Parser [PageO a]

(Generic (PageO a), GToJSON' Value Zero (Rep (PageO a)), GToJSON' Encoding Zero (Rep (PageO a))) => ToJSON (PageO a)

Defined in Tedious.Entity

Methods

toJSON :: PageO a -> Value

toEncoding :: PageO a -> Encoding

toJSONList :: [PageO a] -> Value

toEncodingList :: [PageO a] -> Encoding

Generic (PageO a)

Defined in Tedious.Entity

Associated Types

type Rep (PageO a) :: Type -> Type

Methods

from :: PageO a -> Rep (PageO a) x

to :: Rep (PageO a) x -> PageO a

Show a => Show (PageO a)

Defined in Tedious.Entity

Methods

showsPrec :: Int -> PageO a -> ShowS

show :: PageO a -> String

showList :: [PageO a] -> ShowS

Default a => Default (PageO a)

Defined in Tedious.Entity

Methods

def :: PageO a

Eq a => Eq (PageO a)

Defined in Tedious.Entity

Methods

(==) :: PageO a -> PageO a -> Bool

(/=) :: PageO a -> PageO a -> Bool

(Default a, ToJSON a, ToSchema a) => ToSchema (PageO a)

Defined in Tedious.Entity

Methods

declareNamedSchema :: Proxy (PageO a) -> Declare (Definitions Schema) NamedSchema

type Rep (PageO a)

Defined in Tedious.Entity

type Rep (PageO a) = D1 ('MetaData "PageO" "Tedious.Entity" "tedious-web-0.2.1.4-3PTRLIORtUA6D36GT3wfSB" 'False) (C1 ('MetaCons "PageO" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pageOPage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Page) :*: (S1 ('MetaSel ('Just "_pageOTotal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_pageOData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

data PageI a

Constructors

PageI

Fields

• _pageIPage :: (Maybe Page)
• _pageIFilter :: (Maybe a)

Instances

(Generic (PageI a), GFromJSON Zero (Rep (PageI a))) => FromJSON (PageI a)

Defined in Tedious.Entity

Methods

parseJSON :: Value -> Parser (PageI a)

parseJSONList :: Value -> Parser [PageI a]

(Generic (PageI a), GToJSON' Value Zero (Rep (PageI a)), GToJSON' Encoding Zero (Rep (PageI a))) => ToJSON (PageI a)

Defined in Tedious.Entity

Methods

toJSON :: PageI a -> Value

toEncoding :: PageI a -> Encoding

toJSONList :: [PageI a] -> Value

toEncodingList :: [PageI a] -> Encoding

Generic (PageI a)

Defined in Tedious.Entity

Associated Types

type Rep (PageI a) :: Type -> Type

Methods

from :: PageI a -> Rep (PageI a) x

to :: Rep (PageI a) x -> PageI a

Show a => Show (PageI a)

Defined in Tedious.Entity

Methods

showsPrec :: Int -> PageI a -> ShowS

show :: PageI a -> String

showList :: [PageI a] -> ShowS

Default a => Default (PageI a)

Defined in Tedious.Entity

Methods

def :: PageI a

Eq a => Eq (PageI a)

Defined in Tedious.Entity

Methods

(==) :: PageI a -> PageI a -> Bool

(/=) :: PageI a -> PageI a -> Bool

(Default a, ToJSON a, ToSchema a) => ToSchema (PageI a)

Defined in Tedious.Entity

Methods

declareNamedSchema :: Proxy (PageI a) -> Declare (Definitions Schema) NamedSchema

type Rep (PageI a)

Defined in Tedious.Entity

type Rep (PageI a) = D1 ('MetaData "PageI" "Tedious.Entity" "tedious-web-0.2.1.4-3PTRLIORtUA6D36GT3wfSB" 'False) (C1 ('MetaCons "PageI" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pageIPage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Page)) :*: S1 ('MetaSel ('Just "_pageIFilter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))

data Rep a

Constructors

Rep

Fields

• _repCode :: Natural
• _repMessage :: Text
• _repData :: (Maybe a)

Instances

(Generic (Rep a), GFromJSON Zero (Rep (Rep a))) => FromJSON (Rep a)

Defined in Tedious.Entity

Methods

parseJSON :: Value -> Parser (Rep a)

parseJSONList :: Value -> Parser [Rep a]

(Generic (Rep a), GToJSON' Value Zero (Rep (Rep a)), GToJSON' Encoding Zero (Rep (Rep a))) => ToJSON (Rep a)

Defined in Tedious.Entity

Methods

toJSON :: Rep a -> Value

toEncoding :: Rep a -> Encoding

toJSONList :: [Rep a] -> Value

toEncodingList :: [Rep a] -> Encoding

Generic (Rep a)

Defined in Tedious.Entity

Associated Types

type Rep (Rep a) :: Type -> Type

Methods

from :: Rep a -> Rep0 (Rep a) x

to :: Rep0 (Rep a) x -> Rep a

Show a => Show (Rep a)

Defined in Tedious.Entity

Methods

showsPrec :: Int -> Rep a -> ShowS

show :: Rep a -> String

showList :: [Rep a] -> ShowS

Default a => Default (Rep a)

Defined in Tedious.Entity

Methods

def :: Rep a

Eq a => Eq (Rep a)

Defined in Tedious.Entity

Methods

(==) :: Rep a -> Rep a -> Bool

(/=) :: Rep a -> Rep a -> Bool

(Default a, ToJSON a, ToSchema a) => ToSchema (Rep a)

Defined in Tedious.Entity

Methods

declareNamedSchema :: Proxy (Rep a) -> Declare (Definitions Schema) NamedSchema

type Rep (Rep a)

Defined in Tedious.Entity

type Rep (Rep a) = D1 ('MetaData "Rep" "Tedious.Entity" "tedious-web-0.2.1.4-3PTRLIORtUA6D36GT3wfSB" 'False) (C1 ('MetaCons "Rep" 'PrefixI 'True) (S1 ('MetaSel ('Just "_repCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: (S1 ('MetaSel ('Just "_repMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_repData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a)))))

data Err

Constructors

Err

Fields

• _errCode :: Natural
• _errMessage :: Text

Instances

FromJSON Err

Defined in Tedious.Entity

Methods

parseJSON :: Value -> Parser Err

parseJSONList :: Value -> Parser [Err]

ToJSON Err

Defined in Tedious.Entity

Methods

toJSON :: Err -> Value

toEncoding :: Err -> Encoding

toJSONList :: [Err] -> Value

toEncodingList :: [Err] -> Encoding

Exception Err

Defined in Tedious.Entity

Methods

toException :: Err -> SomeException

fromException :: SomeException -> Maybe Err

displayException :: Err -> String

Generic Err

Defined in Tedious.Entity

Associated Types

type Rep Err :: Type -> Type

Methods

from :: Err -> Rep Err x

to :: Rep Err x -> Err

Show Err

Defined in Tedious.Entity

Methods

showsPrec :: Int -> Err -> ShowS

show :: Err -> String

showList :: [Err] -> ShowS

Default Err

Defined in Tedious.Entity

Methods

def :: Err

Eq Err

Defined in Tedious.Entity

Methods

(==) :: Err -> Err -> Bool

(/=) :: Err -> Err -> Bool

ToSchema Err

Defined in Tedious.Entity

Methods

declareNamedSchema :: Proxy Err -> Declare (Definitions Schema) NamedSchema

type Rep Err

Defined in Tedious.Entity

type Rep Err = D1 ('MetaData "Err" "Tedious.Entity" "tedious-web-0.2.1.4-3PTRLIORtUA6D36GT3wfSB" 'False) (C1 ('MetaCons "Err" 'PrefixI 'True) (S1 ('MetaSel ('Just "_errCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_errMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SysAdmin

Constructors

SysAdmin

Fields

• _sysAdminName :: Text
• _sysAdminPass :: Text

Instances

FromJSON SysAdmin

Defined in Tedious.Entity

Methods

parseJSON :: Value -> Parser SysAdmin

parseJSONList :: Value -> Parser [SysAdmin]

ToJSON SysAdmin

Defined in Tedious.Entity

Methods

toJSON :: SysAdmin -> Value

toEncoding :: SysAdmin -> Encoding

toJSONList :: [SysAdmin] -> Value

toEncodingList :: [SysAdmin] -> Encoding

Generic SysAdmin

Defined in Tedious.Entity

Associated Types

type Rep SysAdmin :: Type -> Type

Methods

from :: SysAdmin -> Rep SysAdmin x

to :: Rep SysAdmin x -> SysAdmin

Show SysAdmin

Defined in Tedious.Entity

Methods

showsPrec :: Int -> SysAdmin -> ShowS

show :: SysAdmin -> String

showList :: [SysAdmin] -> ShowS

Default SysAdmin

Defined in Tedious.Entity

Methods

def :: SysAdmin

Eq SysAdmin

Defined in Tedious.Entity

Methods

(==) :: SysAdmin -> SysAdmin -> Bool

(/=) :: SysAdmin -> SysAdmin -> Bool

ToSchema SysAdmin

Defined in Tedious.Entity

Methods

declareNamedSchema :: Proxy SysAdmin -> Declare (Definitions Schema) NamedSchema

type Rep SysAdmin

Defined in Tedious.Entity

type Rep SysAdmin = D1 ('MetaData "SysAdmin" "Tedious.Entity" "tedious-web-0.2.1.4-3PTRLIORtUA6D36GT3wfSB" 'False) (C1 ('MetaCons "SysAdmin" 'PrefixI 'True) (S1 ('MetaSel ('Just "_sysAdminName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_sysAdminPass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SysUser

Constructors

SysUser

Fields

• _sysUserName :: Text
• _sysUserPass :: Text

Instances

FromJSON SysUser

Defined in Tedious.Entity

Methods

parseJSON :: Value -> Parser SysUser

parseJSONList :: Value -> Parser [SysUser]

ToJSON SysUser

Defined in Tedious.Entity

Methods

toJSON :: SysUser -> Value

toEncoding :: SysUser -> Encoding

toJSONList :: [SysUser] -> Value

toEncodingList :: [SysUser] -> Encoding

Generic SysUser

Defined in Tedious.Entity

Associated Types

type Rep SysUser :: Type -> Type

Methods

from :: SysUser -> Rep SysUser x

to :: Rep SysUser x -> SysUser

Show SysUser

Defined in Tedious.Entity

Methods

showsPrec :: Int -> SysUser -> ShowS

show :: SysUser -> String

showList :: [SysUser] -> ShowS

Default SysUser

Defined in Tedious.Entity

Methods

def :: SysUser

Eq SysUser

Defined in Tedious.Entity

Methods

(==) :: SysUser -> SysUser -> Bool

(/=) :: SysUser -> SysUser -> Bool

ToSchema SysUser

Defined in Tedious.Entity

Methods

declareNamedSchema :: Proxy SysUser -> Declare (Definitions Schema) NamedSchema

type Rep SysUser

Defined in Tedious.Entity

type Rep SysUser = D1 ('MetaData "SysUser" "Tedious.Entity" "tedious-web-0.2.1.4-3PTRLIORtUA6D36GT3wfSB" 'False) (C1 ('MetaCons "SysUser" 'PrefixI 'True) (S1 ('MetaSel ('Just "_sysUserName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_sysUserPass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SysOper'

Constructors

SysOper'

Fields

• _sysOper'Name :: Text
• _sysOper'Target :: Text
• _sysOper'Content :: (Maybe Text)

Instances

FromJSON SysOper'

Defined in Tedious.Entity

Methods

parseJSON :: Value -> Parser SysOper'

parseJSONList :: Value -> Parser [SysOper']

ToJSON SysOper'

Defined in Tedious.Entity

Methods

toJSON :: SysOper' -> Value

toEncoding :: SysOper' -> Encoding

toJSONList :: [SysOper'] -> Value

toEncodingList :: [SysOper'] -> Encoding

Generic SysOper'

Defined in Tedious.Entity

Associated Types

type Rep SysOper' :: Type -> Type

Methods

from :: SysOper' -> Rep SysOper' x

to :: Rep SysOper' x -> SysOper'

Show SysOper'

Defined in Tedious.Entity

Methods

showsPrec :: Int -> SysOper' -> ShowS

show :: SysOper' -> String

showList :: [SysOper'] -> ShowS

Default SysOper'

Defined in Tedious.Entity

Methods

def :: SysOper'

Eq SysOper'

Defined in Tedious.Entity

Methods

(==) :: SysOper' -> SysOper' -> Bool

(/=) :: SysOper' -> SysOper' -> Bool

ToSchema SysOper'

Defined in Tedious.Entity

Methods

declareNamedSchema :: Proxy SysOper' -> Declare (Definitions Schema) NamedSchema

type Rep SysOper'

Defined in Tedious.Entity

type Rep SysOper' = D1 ('MetaData "SysOper'" "Tedious.Entity" "tedious-web-0.2.1.4-3PTRLIORtUA6D36GT3wfSB" 'False) (C1 ('MetaCons "SysOper'" 'PrefixI 'True) (S1 ('MetaSel ('Just "_sysOper'Name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "_sysOper'Target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_sysOper'Content") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data SysOper

Constructors

SysOper

Fields

• _sysOperId :: Int64
• _sysOperUser :: (Maybe Text)
• _sysOperName :: Text
• _sysOperTarget :: Text
• _sysOperContent :: (Maybe Text)
• _sysOperTime :: UTCTime

Instances

FromJSON SysOper

Defined in Tedious.Entity

Methods

parseJSON :: Value -> Parser SysOper

parseJSONList :: Value -> Parser [SysOper]

ToJSON SysOper

Defined in Tedious.Entity

Methods

toJSON :: SysOper -> Value

toEncoding :: SysOper -> Encoding

toJSONList :: [SysOper] -> Value

toEncodingList :: [SysOper] -> Encoding

Generic SysOper

Defined in Tedious.Entity

Associated Types

type Rep SysOper :: Type -> Type

Methods

from :: SysOper -> Rep SysOper x

to :: Rep SysOper x -> SysOper

Show SysOper

Defined in Tedious.Entity

Methods

showsPrec :: Int -> SysOper -> ShowS

show :: SysOper -> String

showList :: [SysOper] -> ShowS

Default SysOper

Defined in Tedious.Entity

Methods

def :: SysOper

Eq SysOper

Defined in Tedious.Entity

Methods

(==) :: SysOper -> SysOper -> Bool

(/=) :: SysOper -> SysOper -> Bool

ToSchema SysOper

Defined in Tedious.Entity

Methods

declareNamedSchema :: Proxy SysOper -> Declare (Definitions Schema) NamedSchema

type Rep SysOper

Defined in Tedious.Entity

type Rep SysOper = D1 ('MetaData "SysOper" "Tedious.Entity" "tedious-web-0.2.1.4-3PTRLIORtUA6D36GT3wfSB" 'False) (C1 ('MetaCons "SysOper" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_sysOperId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64) :*: (S1 ('MetaSel ('Just "_sysOperUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "_sysOperName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: (S1 ('MetaSel ('Just "_sysOperTarget") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "_sysOperContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "_sysOperTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)))))

tediousPersistString :: String

sysOperTable :: Table (Maybe (Field SqlInt8), Maybe (FieldNullable SqlText), Field SqlText, Field SqlText, Maybe (FieldNullable SqlText), Maybe (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. Lens (Rep a) (Rep a) (Maybe a) (Maybe a)

repCode :: forall a. Lens' (Rep a) Natural

pageIPage :: forall a. Lens' (PageI a) (Maybe Page)

pageIFilter :: forall a a. Lens (PageI a) (PageI a) (Maybe a) (Maybe a)

pageOTotal :: forall a. Lens' (PageO a) Natural

pageOPage :: forall a. Lens' (PageO a) Page

pageOData :: forall a a. Lens (PageO a) (PageO a) a a

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