mensam-0
Safe HaskellSafe-Inferred
LanguageGHC2021

Mensam.API.Data.Space.Permission

Documentation

data Permission Source #

Constructors

MkPermissionViewSpace 
MkPermissionEditDesk 
MkPermissionEditUser 
MkPermissionEditRole 
MkPermissionEditSpace 
MkPermissionCreateReservation 
MkPermissionCancelReservation 

Instances

Instances details
FromJSON Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

parseJSON :: Value -> Parser Permission Source #

parseJSONList :: Value -> Parser [Permission] Source #

ToJSON Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

toJSON :: Permission -> Value Source #

toEncoding :: Permission -> Encoding Source #

toJSONList :: [Permission] -> Value Source #

toEncodingList :: [Permission] -> Encoding Source #

Bounded Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

minBound :: Permission #

maxBound :: Permission #

Enum Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

succ :: Permission -> Permission #

pred :: Permission -> Permission #

toEnum :: Int -> Permission #

fromEnum :: Permission -> Int #

enumFrom :: Permission -> [Permission] #

enumFromThen :: Permission -> Permission -> [Permission] #

enumFromTo :: Permission -> Permission -> [Permission] #

enumFromThenTo :: Permission -> Permission -> Permission -> [Permission] #

Generic Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Associated Types

type Rep Permission :: Type -> Type #

Methods

from :: Permission -> Rep Permission x #

to :: Rep Permission x -> Permission #

Read Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

readsPrec :: Int -> ReadS Permission #

readList :: ReadS [Permission] #

readPrec :: ReadPrec Permission #

readListPrec :: ReadPrec [Permission] #

Show Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

showsPrec :: Int -> Permission -> ShowS #

show :: Permission -> String #

showList :: [Permission] -> ShowS #

Eq Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

(==) :: Permission -> Permission -> Bool #

(/=) :: Permission -> Permission -> Bool #

Ord Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

compare :: Permission -> Permission -> Ordering #

(<) :: Permission -> Permission -> Bool #

(<=) :: Permission -> Permission -> Bool #

(>) :: Permission -> Permission -> Bool #

(>=) :: Permission -> Permission -> Bool #

max :: Permission -> Permission -> Permission #

min :: Permission -> Permission -> Permission #

ToSchema Permission Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy Permission -> Declare (Definitions Schema) NamedSchema Source #

SingKind Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Associated Types

type Demote Permission = (r :: Type) Source #

Methods

fromSing :: forall (a :: Permission). Sing a -> Demote Permission Source #

toSing :: Demote Permission -> SomeSing Permission Source #

SingI 'MkPermissionCancelReservation Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

sing :: Sing 'MkPermissionCancelReservation Source #

SingI 'MkPermissionCreateReservation Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

sing :: Sing 'MkPermissionCreateReservation Source #

SingI 'MkPermissionEditDesk Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

sing :: Sing 'MkPermissionEditDesk Source #

SingI 'MkPermissionEditRole Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

sing :: Sing 'MkPermissionEditRole Source #

SingI 'MkPermissionEditSpace Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

sing :: Sing 'MkPermissionEditSpace Source #

SingI 'MkPermissionEditUser Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

sing :: Sing 'MkPermissionEditUser Source #

SingI 'MkPermissionViewSpace Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

sing :: Sing 'MkPermissionViewSpace Source #

type Rep Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

type Rep Permission = D1 ('MetaData "Permission" "Mensam.API.Data.Space.Permission" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) ((C1 ('MetaCons "MkPermissionViewSpace" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MkPermissionEditDesk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkPermissionEditUser" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MkPermissionEditRole" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkPermissionEditSpace" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MkPermissionCreateReservation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkPermissionCancelReservation" 'PrefixI 'False) (U1 :: Type -> Type))))
type Demote Permission Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

type Demote Permission = Permission
type Sing Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

type Sing = SPermission

data ErrorInsufficientPermission p Source #

Constructors

MkErrorInsufficientPermission 

Instances

Instances details
Typeable p => FromJSON (ErrorInsufficientPermission p) Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

parseJSON :: Value -> Parser (ErrorInsufficientPermission p) Source #

parseJSONList :: Value -> Parser [ErrorInsufficientPermission p] Source #

Typeable p => ToJSON (ErrorInsufficientPermission p) Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

toJSON :: ErrorInsufficientPermission p -> Value Source #

toEncoding :: ErrorInsufficientPermission p -> Encoding Source #

toJSONList :: [ErrorInsufficientPermission p] -> Value Source #

toEncodingList :: [ErrorInsufficientPermission p] -> Encoding Source #

Generic (ErrorInsufficientPermission p) Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Associated Types

type Rep (ErrorInsufficientPermission p) :: Type -> Type #

Methods

from :: ErrorInsufficientPermission p -> Rep (ErrorInsufficientPermission p) x #

to :: Rep (ErrorInsufficientPermission p) x -> ErrorInsufficientPermission p #

Read (ErrorInsufficientPermission p) Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

readsPrec :: Int -> ReadS (ErrorInsufficientPermission p) #

readList :: ReadS [ErrorInsufficientPermission p] #

readPrec :: ReadPrec (ErrorInsufficientPermission p) #

readListPrec :: ReadPrec [ErrorInsufficientPermission p] #

Show (ErrorInsufficientPermission p) Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

showsPrec :: Int -> ErrorInsufficientPermission p -> ShowS #

show :: ErrorInsufficientPermission p -> String #

showList :: [ErrorInsufficientPermission p] -> ShowS #

Eq (ErrorInsufficientPermission p) Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

(==) :: ErrorInsufficientPermission p -> ErrorInsufficientPermission p -> Bool #

(/=) :: ErrorInsufficientPermission p -> ErrorInsufficientPermission p -> Bool #

Ord (ErrorInsufficientPermission p) Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

Methods

compare :: ErrorInsufficientPermission p -> ErrorInsufficientPermission p -> Ordering #

(<) :: ErrorInsufficientPermission p -> ErrorInsufficientPermission p -> Bool #

(<=) :: ErrorInsufficientPermission p -> ErrorInsufficientPermission p -> Bool #

(>) :: ErrorInsufficientPermission p -> ErrorInsufficientPermission p -> Bool #

(>=) :: ErrorInsufficientPermission p -> ErrorInsufficientPermission p -> Bool #

max :: ErrorInsufficientPermission p -> ErrorInsufficientPermission p -> ErrorInsufficientPermission p #

min :: ErrorInsufficientPermission p -> ErrorInsufficientPermission p -> ErrorInsufficientPermission p #

Typeable p => ToParamSchema (ErrorInsufficientPermission p) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

toParamSchema :: Proxy (ErrorInsufficientPermission p) -> Schema Source #

Typeable p => ToSchema (ErrorInsufficientPermission p) Source # 
Instance details

Defined in Mensam.Server.OpenApi

Methods

declareNamedSchema :: Proxy (ErrorInsufficientPermission p) -> Declare (Definitions Schema) NamedSchema Source #

type Rep (ErrorInsufficientPermission p) Source # 
Instance details

Defined in Mensam.API.Data.Space.Permission

type Rep (ErrorInsufficientPermission p) = D1 ('MetaData "ErrorInsufficientPermission" "Mensam.API.Data.Space.Permission" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkErrorInsufficientPermission" 'PrefixI 'False) (U1 :: Type -> Type))

type family MkPermissionViewSpaceSym0 :: Permission where ... Source #

Equations

MkPermissionViewSpaceSym0 = 'MkPermissionViewSpace 

type family MkPermissionEditDeskSym0 :: Permission where ... Source #

Equations

MkPermissionEditDeskSym0 = 'MkPermissionEditDesk 

type family MkPermissionEditUserSym0 :: Permission where ... Source #

Equations

MkPermissionEditUserSym0 = 'MkPermissionEditUser 

type family MkPermissionEditRoleSym0 :: Permission where ... Source #

Equations

MkPermissionEditRoleSym0 = 'MkPermissionEditRole 

type family MkPermissionEditSpaceSym0 :: Permission where ... Source #

Equations

MkPermissionEditSpaceSym0 = 'MkPermissionEditSpace 

type family MkPermissionCreateReservationSym0 :: Permission where ... Source #

Equations

MkPermissionCreateReservationSym0 = 'MkPermissionCreateReservation 

type family MkPermissionCancelReservationSym0 :: Permission where ... Source #

Equations

MkPermissionCancelReservationSym0 = 'MkPermissionCancelReservation 

data SPermission :: Permission -> Type where Source #

Constructors

SMkPermissionViewSpace :: SPermission ('MkPermissionViewSpace :: Permission) 
SMkPermissionEditDesk :: SPermission ('MkPermissionEditDesk :: Permission) 
SMkPermissionEditUser :: SPermission ('MkPermissionEditUser :: Permission) 
SMkPermissionEditRole :: SPermission ('MkPermissionEditRole :: Permission) 
SMkPermissionEditSpace :: SPermission ('MkPermissionEditSpace :: Permission) 
SMkPermissionCreateReservation :: SPermission ('MkPermissionCreateReservation :: Permission) 
SMkPermissionCancelReservation :: SPermission ('MkPermissionCancelReservation :: Permission)