Safe Haskell	Safe-Inferred
Language	GHC2021

Mensam.Server.Space

Synopsis

data SqlErrorMensamPermissionNotSatisfied permission = MkSqlErrorMensamPermissionNotSatisfied
checkPermission :: (MonadLogger m, MonadSeldaPool m, Typeable p) => SPermission p -> IdentifierUser -> IdentifierSpace -> SeldaTransactionT m ()
spaceLookupId :: (MonadLogger m, MonadSeldaPool m) => NameSpace -> SeldaTransactionT m IdentifierSpace
spaceGetFromId :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m Space
spaceInternalGetFromId :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m SpaceInternal
data SpaceInternal = MkSpaceInternal {
- spaceInternalId :: IdentifierSpace
- spaceInternalName :: NameSpace
- spaceInternalTimezone :: TZLabel
- spaceInternalVisibility :: VisibilitySpace
- spaceInternalOwner :: IdentifierUser
}
newtype SqlErrorMensamSpaceNotFound = MkSqlErrorMensamSpaceNotFound SqlErrorMensamNotOneQuery
spaceView :: (MonadLogger m, MonadSeldaPool m) => IdentifierUser -> IdentifierSpace -> SeldaTransactionT m SpaceView
data SpaceView = MkSpaceView {
- spaceViewId :: IdentifierSpace
- spaceViewName :: NameSpace
- spaceViewTimezone :: TZLabel
- spaceViewVisibility :: VisibilitySpace
- spaceViewOwner :: IdentifierUser
- spaceViewRoles :: Set Role
- spaceViewUsers :: Set SpaceUser
- spaceViewYourRole :: Maybe IdentifierRole
}
spaceListVisible :: (MonadLogger m, MonadSeldaPool m) => IdentifierUser -> OrderByCategories SpaceOrderCategory -> Maybe Bool -> SeldaTransactionT m [Space]
spaceCountUsers :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m Natural
spaceCountDesks :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m Natural
roleLookupId :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> NameRole -> SeldaTransactionT m (Maybe IdentifierRole)
roleGet :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> SeldaTransactionT m Role
spaceCreate :: (MonadLogger m, MonadSeldaPool m) => NameSpace -> IdentifierUser -> TZLabel -> VisibilitySpace -> SeldaTransactionT m IdentifierSpace
spaceDelete :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m ()
spaceNameSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> NameSpace -> SeldaTransactionT m ()
spaceTimezoneSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> TZLabel -> SeldaTransactionT m ()
spaceVisibilitySet :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> VisibilitySpace -> SeldaTransactionT m ()
spaceSetPicture :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> Maybe ByteStringJpeg -> SeldaTransactionT m ()
spaceGetPicture :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m (Maybe ByteStringJpeg)
spaceUserAdd :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> IdentifierRole -> SeldaTransactionT m ()
spaceUserRemove :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> SeldaTransactionT m ()
spaceUserRoleEdit :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> IdentifierRole -> SeldaTransactionT m ()
spaceUserIsOwner :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> SeldaTransactionT m Bool
spaceUserPermissions :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> SeldaTransactionT m (Set Permission)
roleCreate :: (MonadIO m, MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> NameRole -> AccessibilityRole -> Maybe Password -> SeldaTransactionT m IdentifierRole
data SqlErrorMensamRoleAccessibilityAndPasswordDontMatch = MkSqlErrorMensamRoleAccessibilityAndPasswordDontMatch
roleDeleteUnsafe :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> SeldaTransactionT m ()
roleDeleteWithFallback :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> IdentifierRole -> SeldaTransactionT m ()
rolePermissionGive :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> Permission -> SeldaTransactionT m ()
rolePasswordCheck :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> Maybe Password -> SeldaTransactionT m PasswordCheck
data SqlErrorMensamRoleNoPasswordSetCannotCheck = MkSqlErrorMensamRoleNoPasswordSetCannotCheck
rolePasswordCheck' :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> Maybe Password -> SeldaTransactionT m ()
data SqlErrorMensamRolePasswordCheckFail = MkSqlErrorMensamRolePasswordCheckFail
data SqlErrorMensamRoleInaccessible = MkSqlErrorMensamRoleInaccessible
roleNameSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> NameRole -> SeldaTransactionT m ()
roleAccessibilityAndPasswordSet :: (MonadIO m, MonadLogger m, MonadSeldaPool m) => IdentifierRole -> AccessibilityRole -> Maybe Password -> SeldaTransactionT m ()
rolePermissionsSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> Set Permission -> SeldaTransactionT m ()
deskLookupId :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> NameDesk -> SeldaTransactionT m (Maybe IdentifierDesk)
deskGetFromId :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> SeldaTransactionT m Desk
newtype SqlErrorMensamDeskNotFound = MkSqlErrorMensamDeskNotFound SqlErrorMensamNotOneQuery
deskList :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> SeldaTransactionT m [Desk]
deskCreate :: (MonadLogger m, MonadSeldaPool m) => NameDesk -> IdentifierSpace -> Maybe LocationDesk -> SeldaTransactionT m IdentifierDesk
deskDelete :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> SeldaTransactionT m ()
deskNameSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> NameDesk -> SeldaTransactionT m ()
deskLocationSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> Maybe LocationDesk -> SeldaTransactionT m ()
spaceVisibilityApiToDb :: VisibilitySpace -> DbSpaceVisibility
spaceVisibilityDbToApi :: DbSpaceVisibility -> VisibilitySpace
roleAccessibilityApiToDb :: AccessibilityRole -> DbRoleAccessibility
roleAccessibilityDbToApi :: DbRoleAccessibility -> AccessibilityRole
spacePermissionApiToDb :: Permission -> DbPermission
spacePermissionDbToApi :: DbPermission -> Permission

Documentation

data SqlErrorMensamPermissionNotSatisfied permission Source #

Constructors

MkSqlErrorMensamPermissionNotSatisfied

Instances

Instances details

Typeable permission => Exception (SqlErrorMensamPermissionNotSatisfied permission) Source #
Instance details Defined in Mensam.Server.Space Methods toException :: SqlErrorMensamPermissionNotSatisfied permission -> SomeException # fromException :: SomeException -> Maybe (SqlErrorMensamPermissionNotSatisfied permission) # displayException :: SqlErrorMensamPermissionNotSatisfied permission -> String #
Generic (SqlErrorMensamPermissionNotSatisfied permission) Source #
Instance details Defined in Mensam.Server.Space Associated Types type Rep (SqlErrorMensamPermissionNotSatisfied permission) :: Type -> Type # Methods from :: SqlErrorMensamPermissionNotSatisfied permission -> Rep (SqlErrorMensamPermissionNotSatisfied permission) x # to :: Rep (SqlErrorMensamPermissionNotSatisfied permission) x -> SqlErrorMensamPermissionNotSatisfied permission #
Read (SqlErrorMensamPermissionNotSatisfied permission) Source #
Instance details Defined in Mensam.Server.Space Methods readsPrec :: Int -> ReadS (SqlErrorMensamPermissionNotSatisfied permission) # readList :: ReadS [SqlErrorMensamPermissionNotSatisfied permission] # readPrec :: ReadPrec (SqlErrorMensamPermissionNotSatisfied permission) # readListPrec :: ReadPrec [SqlErrorMensamPermissionNotSatisfied permission] #
Show (SqlErrorMensamPermissionNotSatisfied permission) Source #
Instance details Defined in Mensam.Server.Space Methods showsPrec :: Int -> SqlErrorMensamPermissionNotSatisfied permission -> ShowS # show :: SqlErrorMensamPermissionNotSatisfied permission -> String # showList :: [SqlErrorMensamPermissionNotSatisfied permission] -> ShowS #
Eq (SqlErrorMensamPermissionNotSatisfied permission) Source #
Instance details Defined in Mensam.Server.Space Methods (==) :: SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission -> Bool # (/=) :: SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission -> Bool #
Ord (SqlErrorMensamPermissionNotSatisfied permission) Source #
Instance details Defined in Mensam.Server.Space Methods compare :: SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission -> Ordering # (<) :: SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission -> Bool # (<=) :: SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission -> Bool # (>) :: SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission -> Bool # (>=) :: SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission -> Bool # max :: SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission # min :: SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission -> SqlErrorMensamPermissionNotSatisfied permission #
type Rep (SqlErrorMensamPermissionNotSatisfied permission) Source #
Instance details Defined in Mensam.Server.Space type Rep (SqlErrorMensamPermissionNotSatisfied permission) = D1 ('MetaData "SqlErrorMensamPermissionNotSatisfied" "Mensam.Server.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSqlErrorMensamPermissionNotSatisfied" 'PrefixI 'False) (U1 :: Type -> Type))

checkPermission :: (MonadLogger m, MonadSeldaPool m, Typeable p) => SPermission p -> IdentifierUser -> IdentifierSpace -> SeldaTransactionT m () Source #

spaceLookupId :: (MonadLogger m, MonadSeldaPool m) => NameSpace -> SeldaTransactionT m IdentifierSpace Source #

spaceGetFromId :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m Space Source #

spaceInternalGetFromId :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m SpaceInternal Source #

data SpaceInternal Source #

Constructors

MkSpaceInternal
Fields spaceInternalId :: IdentifierSpace spaceInternalName :: NameSpace spaceInternalTimezone :: TZLabel spaceInternalVisibility :: VisibilitySpace spaceInternalOwner :: IdentifierUser

Instances

Instances details

Generic SpaceInternal Source #
Instance details Defined in Mensam.Server.Space Associated Types type Rep SpaceInternal :: Type -> Type # Methods from :: SpaceInternal -> Rep SpaceInternal x # to :: Rep SpaceInternal x -> SpaceInternal #
Read SpaceInternal Source #
Instance details Defined in Mensam.Server.Space Methods readsPrec :: Int -> ReadS SpaceInternal # readList :: ReadS [SpaceInternal] # readPrec :: ReadPrec SpaceInternal # readListPrec :: ReadPrec [SpaceInternal] #
Show SpaceInternal Source #
Instance details Defined in Mensam.Server.Space Methods showsPrec :: Int -> SpaceInternal -> ShowS # show :: SpaceInternal -> String # showList :: [SpaceInternal] -> ShowS #
Eq SpaceInternal Source #
Instance details Defined in Mensam.Server.Space Methods (==) :: SpaceInternal -> SpaceInternal -> Bool # (/=) :: SpaceInternal -> SpaceInternal -> Bool #
Ord SpaceInternal Source #
Instance details Defined in Mensam.Server.Space Methods compare :: SpaceInternal -> SpaceInternal -> Ordering # (<) :: SpaceInternal -> SpaceInternal -> Bool # (<=) :: SpaceInternal -> SpaceInternal -> Bool # (>) :: SpaceInternal -> SpaceInternal -> Bool # (>=) :: SpaceInternal -> SpaceInternal -> Bool # max :: SpaceInternal -> SpaceInternal -> SpaceInternal # min :: SpaceInternal -> SpaceInternal -> SpaceInternal #
type Rep SpaceInternal Source #
Instance details Defined in Mensam.Server.Space type Rep SpaceInternal = D1 ('MetaData "SpaceInternal" "Mensam.Server.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSpaceInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "spaceInternalId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace) :: S1 ('MetaSel ('Just "spaceInternalName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameSpace)) :: (S1 ('MetaSel ('Just "spaceInternalTimezone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TZLabel) :: (S1 ('MetaSel ('Just "spaceInternalVisibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VisibilitySpace) :: S1 ('MetaSel ('Just "spaceInternalOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierUser)))))

newtype SqlErrorMensamSpaceNotFound Source #

Constructors

MkSqlErrorMensamSpaceNotFound SqlErrorMensamNotOneQuery

Instances

Instances details

Exception SqlErrorMensamSpaceNotFound Source #
Instance details Defined in Mensam.Server.Space Methods toException :: SqlErrorMensamSpaceNotFound -> SomeException # fromException :: SomeException -> Maybe SqlErrorMensamSpaceNotFound # displayException :: SqlErrorMensamSpaceNotFound -> String #
Generic SqlErrorMensamSpaceNotFound Source #
Instance details Defined in Mensam.Server.Space Associated Types type Rep SqlErrorMensamSpaceNotFound :: Type -> Type # Methods from :: SqlErrorMensamSpaceNotFound -> Rep SqlErrorMensamSpaceNotFound x # to :: Rep SqlErrorMensamSpaceNotFound x -> SqlErrorMensamSpaceNotFound #
Read SqlErrorMensamSpaceNotFound Source #
Instance details Defined in Mensam.Server.Space Methods readsPrec :: Int -> ReadS SqlErrorMensamSpaceNotFound # readList :: ReadS [SqlErrorMensamSpaceNotFound] # readPrec :: ReadPrec SqlErrorMensamSpaceNotFound # readListPrec :: ReadPrec [SqlErrorMensamSpaceNotFound] #
Show SqlErrorMensamSpaceNotFound Source #
Instance details Defined in Mensam.Server.Space Methods showsPrec :: Int -> SqlErrorMensamSpaceNotFound -> ShowS # show :: SqlErrorMensamSpaceNotFound -> String # showList :: [SqlErrorMensamSpaceNotFound] -> ShowS #
Eq SqlErrorMensamSpaceNotFound Source #
Instance details Defined in Mensam.Server.Space Methods (==) :: SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound -> Bool # (/=) :: SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound -> Bool #
Ord SqlErrorMensamSpaceNotFound Source #
Instance details Defined in Mensam.Server.Space Methods compare :: SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound -> Ordering # (<) :: SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound -> Bool # (<=) :: SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound -> Bool # (>) :: SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound -> Bool # (>=) :: SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound -> Bool # max :: SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound # min :: SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound -> SqlErrorMensamSpaceNotFound #
type Rep SqlErrorMensamSpaceNotFound Source #
Instance details Defined in Mensam.Server.Space type Rep SqlErrorMensamSpaceNotFound = D1 ('MetaData "SqlErrorMensamSpaceNotFound" "Mensam.Server.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkSqlErrorMensamSpaceNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SqlErrorMensamNotOneQuery)))

spaceView :: (MonadLogger m, MonadSeldaPool m) => IdentifierUser -> IdentifierSpace -> SeldaTransactionT m SpaceView Source #

data SpaceView Source #

Constructors

MkSpaceView
Fields spaceViewId :: IdentifierSpace spaceViewName :: NameSpace spaceViewTimezone :: TZLabel spaceViewVisibility :: VisibilitySpace spaceViewOwner :: IdentifierUser spaceViewRoles :: Set Role spaceViewUsers :: Set SpaceUser spaceViewYourRole :: Maybe IdentifierRole

Instances

Instances details

Generic SpaceView Source #
Instance details Defined in Mensam.Server.Space Associated Types type Rep SpaceView :: Type -> Type # Methods from :: SpaceView -> Rep SpaceView x # to :: Rep SpaceView x -> SpaceView #
Read SpaceView Source #
Instance details Defined in Mensam.Server.Space Methods readsPrec :: Int -> ReadS SpaceView # readList :: ReadS [SpaceView] # readPrec :: ReadPrec SpaceView # readListPrec :: ReadPrec [SpaceView] #
Show SpaceView Source #
Instance details Defined in Mensam.Server.Space Methods showsPrec :: Int -> SpaceView -> ShowS # show :: SpaceView -> String # showList :: [SpaceView] -> ShowS #
Eq SpaceView Source #
Instance details Defined in Mensam.Server.Space Methods (==) :: SpaceView -> SpaceView -> Bool # (/=) :: SpaceView -> SpaceView -> Bool #
Ord SpaceView Source #
Instance details Defined in Mensam.Server.Space Methods compare :: SpaceView -> SpaceView -> Ordering # (<) :: SpaceView -> SpaceView -> Bool # (<=) :: SpaceView -> SpaceView -> Bool # (>) :: SpaceView -> SpaceView -> Bool # (>=) :: SpaceView -> SpaceView -> Bool # max :: SpaceView -> SpaceView -> SpaceView # min :: SpaceView -> SpaceView -> SpaceView #
type Rep SpaceView Source #
Instance details Defined in Mensam.Server.Space type Rep SpaceView = D1 ('MetaData "SpaceView" "Mensam.Server.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSpaceView" 'PrefixI 'True) (((S1 ('MetaSel ('Just "spaceViewId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierSpace) :: S1 ('MetaSel ('Just "spaceViewName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameSpace)) :: (S1 ('MetaSel ('Just "spaceViewTimezone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TZLabel) :: S1 ('MetaSel ('Just "spaceViewVisibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VisibilitySpace))) :: ((S1 ('MetaSel ('Just "spaceViewOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdentifierUser) :: S1 ('MetaSel ('Just "spaceViewRoles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Role))) :: (S1 ('MetaSel ('Just "spaceViewUsers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set SpaceUser)) :*: S1 ('MetaSel ('Just "spaceViewYourRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IdentifierRole))))))

spaceListVisible Source #

Arguments

:: (MonadLogger m, MonadSeldaPool m)
=> IdentifierUser
-> OrderByCategories SpaceOrderCategory
-> Maybe Bool	Predicate whether the user has to be a member of the space.
-> SeldaTransactionT m [Space]

spaceCountUsers :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m Natural Source #

spaceCountDesks :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m Natural Source #

roleLookupId :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> NameRole -> SeldaTransactionT m (Maybe IdentifierRole) Source #

roleGet :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> SeldaTransactionT m Role Source #

spaceCreate :: (MonadLogger m, MonadSeldaPool m) => NameSpace -> IdentifierUser -> TZLabel -> VisibilitySpace -> SeldaTransactionT m IdentifierSpace Source #

spaceDelete :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m () Source #

spaceNameSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> NameSpace -> SeldaTransactionT m () Source #

spaceTimezoneSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> TZLabel -> SeldaTransactionT m () Source #

spaceVisibilitySet :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> VisibilitySpace -> SeldaTransactionT m () Source #

spaceSetPicture :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> Maybe ByteStringJpeg -> SeldaTransactionT m () Source #

spaceGetPicture :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> SeldaTransactionT m (Maybe ByteStringJpeg) Source #

spaceUserAdd :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> IdentifierRole -> SeldaTransactionT m () Source #

spaceUserRemove :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> SeldaTransactionT m () Source #

spaceUserRoleEdit :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> IdentifierRole -> SeldaTransactionT m () Source #

spaceUserIsOwner :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> SeldaTransactionT m Bool Source #

spaceUserPermissions :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> SeldaTransactionT m (Set Permission) Source #

roleCreate :: (MonadIO m, MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> NameRole -> AccessibilityRole -> Maybe Password -> SeldaTransactionT m IdentifierRole Source #

data SqlErrorMensamRoleAccessibilityAndPasswordDontMatch Source #

Constructors

MkSqlErrorMensamRoleAccessibilityAndPasswordDontMatch

Instances

Instances details

Exception SqlErrorMensamRoleAccessibilityAndPasswordDontMatch Source #
Instance details Defined in Mensam.Server.Space Methods toException :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SomeException # fromException :: SomeException -> Maybe SqlErrorMensamRoleAccessibilityAndPasswordDontMatch # displayException :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> String #
Generic SqlErrorMensamRoleAccessibilityAndPasswordDontMatch Source #
Instance details Defined in Mensam.Server.Space Associated Types type Rep SqlErrorMensamRoleAccessibilityAndPasswordDontMatch :: Type -> Type # Methods from :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> Rep SqlErrorMensamRoleAccessibilityAndPasswordDontMatch x # to :: Rep SqlErrorMensamRoleAccessibilityAndPasswordDontMatch x -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch #
Read SqlErrorMensamRoleAccessibilityAndPasswordDontMatch Source #
Instance details Defined in Mensam.Server.Space Methods readsPrec :: Int -> ReadS SqlErrorMensamRoleAccessibilityAndPasswordDontMatch # readList :: ReadS [SqlErrorMensamRoleAccessibilityAndPasswordDontMatch] # readPrec :: ReadPrec SqlErrorMensamRoleAccessibilityAndPasswordDontMatch # readListPrec :: ReadPrec [SqlErrorMensamRoleAccessibilityAndPasswordDontMatch] #
Show SqlErrorMensamRoleAccessibilityAndPasswordDontMatch Source #
Instance details Defined in Mensam.Server.Space Methods showsPrec :: Int -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> ShowS # show :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> String # showList :: [SqlErrorMensamRoleAccessibilityAndPasswordDontMatch] -> ShowS #
Eq SqlErrorMensamRoleAccessibilityAndPasswordDontMatch Source #
Instance details Defined in Mensam.Server.Space Methods (==) :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> Bool # (/=) :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> Bool #
Ord SqlErrorMensamRoleAccessibilityAndPasswordDontMatch Source #
Instance details Defined in Mensam.Server.Space Methods compare :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> Ordering # (<) :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> Bool # (<=) :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> Bool # (>) :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> Bool # (>=) :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> Bool # max :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch # min :: SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch -> SqlErrorMensamRoleAccessibilityAndPasswordDontMatch #
type Rep SqlErrorMensamRoleAccessibilityAndPasswordDontMatch Source #
Instance details Defined in Mensam.Server.Space type Rep SqlErrorMensamRoleAccessibilityAndPasswordDontMatch = D1 ('MetaData "SqlErrorMensamRoleAccessibilityAndPasswordDontMatch" "Mensam.Server.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSqlErrorMensamRoleAccessibilityAndPasswordDontMatch" 'PrefixI 'False) (U1 :: Type -> Type))

roleDeleteUnsafe :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> SeldaTransactionT m () Source #

roleDeleteWithFallback Source #

Arguments

:: (MonadLogger m, MonadSeldaPool m)
=> IdentifierRole	to be deleted
-> IdentifierRole	fallback
-> SeldaTransactionT m ()

rolePermissionGive :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> Permission -> SeldaTransactionT m () Source #

rolePasswordCheck :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> Maybe Password -> SeldaTransactionT m PasswordCheck Source #

Just checks that the password matches. Does not check the accessibility of the role.

data SqlErrorMensamRoleNoPasswordSetCannotCheck Source #

Constructors

MkSqlErrorMensamRoleNoPasswordSetCannotCheck

Instances

Instances details

Exception SqlErrorMensamRoleNoPasswordSetCannotCheck Source #
Instance details Defined in Mensam.Server.Space Methods toException :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> SomeException # fromException :: SomeException -> Maybe SqlErrorMensamRoleNoPasswordSetCannotCheck # displayException :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> String #
Generic SqlErrorMensamRoleNoPasswordSetCannotCheck Source #
Instance details Defined in Mensam.Server.Space Associated Types type Rep SqlErrorMensamRoleNoPasswordSetCannotCheck :: Type -> Type # Methods from :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> Rep SqlErrorMensamRoleNoPasswordSetCannotCheck x # to :: Rep SqlErrorMensamRoleNoPasswordSetCannotCheck x -> SqlErrorMensamRoleNoPasswordSetCannotCheck #
Read SqlErrorMensamRoleNoPasswordSetCannotCheck Source #
Instance details Defined in Mensam.Server.Space Methods readsPrec :: Int -> ReadS SqlErrorMensamRoleNoPasswordSetCannotCheck # readList :: ReadS [SqlErrorMensamRoleNoPasswordSetCannotCheck] # readPrec :: ReadPrec SqlErrorMensamRoleNoPasswordSetCannotCheck # readListPrec :: ReadPrec [SqlErrorMensamRoleNoPasswordSetCannotCheck] #
Show SqlErrorMensamRoleNoPasswordSetCannotCheck Source #
Instance details Defined in Mensam.Server.Space Methods showsPrec :: Int -> SqlErrorMensamRoleNoPasswordSetCannotCheck -> ShowS # show :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> String # showList :: [SqlErrorMensamRoleNoPasswordSetCannotCheck] -> ShowS #
Eq SqlErrorMensamRoleNoPasswordSetCannotCheck Source #
Instance details Defined in Mensam.Server.Space Methods (==) :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck -> Bool # (/=) :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck -> Bool #
Ord SqlErrorMensamRoleNoPasswordSetCannotCheck Source #
Instance details Defined in Mensam.Server.Space Methods compare :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck -> Ordering # (<) :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck -> Bool # (<=) :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck -> Bool # (>) :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck -> Bool # (>=) :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck -> Bool # max :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck # min :: SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck -> SqlErrorMensamRoleNoPasswordSetCannotCheck #
type Rep SqlErrorMensamRoleNoPasswordSetCannotCheck Source #
Instance details Defined in Mensam.Server.Space type Rep SqlErrorMensamRoleNoPasswordSetCannotCheck = D1 ('MetaData "SqlErrorMensamRoleNoPasswordSetCannotCheck" "Mensam.Server.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSqlErrorMensamRoleNoPasswordSetCannotCheck" 'PrefixI 'False) (U1 :: Type -> Type))

rolePasswordCheck' :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> Maybe Password -> SeldaTransactionT m () Source #

Fails the transaction when the password check fails.

data SqlErrorMensamRolePasswordCheckFail Source #

Constructors

MkSqlErrorMensamRolePasswordCheckFail

Instances

Instances details

Exception SqlErrorMensamRolePasswordCheckFail Source #
Instance details Defined in Mensam.Server.Space Methods toException :: SqlErrorMensamRolePasswordCheckFail -> SomeException # fromException :: SomeException -> Maybe SqlErrorMensamRolePasswordCheckFail # displayException :: SqlErrorMensamRolePasswordCheckFail -> String #
Generic SqlErrorMensamRolePasswordCheckFail Source #
Instance details Defined in Mensam.Server.Space Associated Types type Rep SqlErrorMensamRolePasswordCheckFail :: Type -> Type # Methods from :: SqlErrorMensamRolePasswordCheckFail -> Rep SqlErrorMensamRolePasswordCheckFail x # to :: Rep SqlErrorMensamRolePasswordCheckFail x -> SqlErrorMensamRolePasswordCheckFail #
Read SqlErrorMensamRolePasswordCheckFail Source #
Instance details Defined in Mensam.Server.Space Methods readsPrec :: Int -> ReadS SqlErrorMensamRolePasswordCheckFail # readList :: ReadS [SqlErrorMensamRolePasswordCheckFail] # readPrec :: ReadPrec SqlErrorMensamRolePasswordCheckFail # readListPrec :: ReadPrec [SqlErrorMensamRolePasswordCheckFail] #
Show SqlErrorMensamRolePasswordCheckFail Source #
Instance details Defined in Mensam.Server.Space Methods showsPrec :: Int -> SqlErrorMensamRolePasswordCheckFail -> ShowS # show :: SqlErrorMensamRolePasswordCheckFail -> String # showList :: [SqlErrorMensamRolePasswordCheckFail] -> ShowS #
Eq SqlErrorMensamRolePasswordCheckFail Source #
Instance details Defined in Mensam.Server.Space Methods (==) :: SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail -> Bool # (/=) :: SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail -> Bool #
Ord SqlErrorMensamRolePasswordCheckFail Source #
Instance details Defined in Mensam.Server.Space Methods compare :: SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail -> Ordering # (<) :: SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail -> Bool # (<=) :: SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail -> Bool # (>) :: SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail -> Bool # (>=) :: SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail -> Bool # max :: SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail # min :: SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail -> SqlErrorMensamRolePasswordCheckFail #
type Rep SqlErrorMensamRolePasswordCheckFail Source #
Instance details Defined in Mensam.Server.Space type Rep SqlErrorMensamRolePasswordCheckFail = D1 ('MetaData "SqlErrorMensamRolePasswordCheckFail" "Mensam.Server.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSqlErrorMensamRolePasswordCheckFail" 'PrefixI 'False) (U1 :: Type -> Type))

data SqlErrorMensamRoleInaccessible Source #

Constructors

MkSqlErrorMensamRoleInaccessible

Instances

Instances details

Exception SqlErrorMensamRoleInaccessible Source #
Instance details Defined in Mensam.Server.Space Methods toException :: SqlErrorMensamRoleInaccessible -> SomeException # fromException :: SomeException -> Maybe SqlErrorMensamRoleInaccessible # displayException :: SqlErrorMensamRoleInaccessible -> String #
Generic SqlErrorMensamRoleInaccessible Source #
Instance details Defined in Mensam.Server.Space Associated Types type Rep SqlErrorMensamRoleInaccessible :: Type -> Type # Methods from :: SqlErrorMensamRoleInaccessible -> Rep SqlErrorMensamRoleInaccessible x # to :: Rep SqlErrorMensamRoleInaccessible x -> SqlErrorMensamRoleInaccessible #
Read SqlErrorMensamRoleInaccessible Source #
Instance details Defined in Mensam.Server.Space Methods readsPrec :: Int -> ReadS SqlErrorMensamRoleInaccessible # readList :: ReadS [SqlErrorMensamRoleInaccessible] # readPrec :: ReadPrec SqlErrorMensamRoleInaccessible # readListPrec :: ReadPrec [SqlErrorMensamRoleInaccessible] #
Show SqlErrorMensamRoleInaccessible Source #
Instance details Defined in Mensam.Server.Space Methods showsPrec :: Int -> SqlErrorMensamRoleInaccessible -> ShowS # show :: SqlErrorMensamRoleInaccessible -> String # showList :: [SqlErrorMensamRoleInaccessible] -> ShowS #
Eq SqlErrorMensamRoleInaccessible Source #
Instance details Defined in Mensam.Server.Space Methods (==) :: SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible -> Bool # (/=) :: SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible -> Bool #
Ord SqlErrorMensamRoleInaccessible Source #
Instance details Defined in Mensam.Server.Space Methods compare :: SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible -> Ordering # (<) :: SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible -> Bool # (<=) :: SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible -> Bool # (>) :: SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible -> Bool # (>=) :: SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible -> Bool # max :: SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible # min :: SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible -> SqlErrorMensamRoleInaccessible #
type Rep SqlErrorMensamRoleInaccessible Source #
Instance details Defined in Mensam.Server.Space type Rep SqlErrorMensamRoleInaccessible = D1 ('MetaData "SqlErrorMensamRoleInaccessible" "Mensam.Server.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'False) (C1 ('MetaCons "MkSqlErrorMensamRoleInaccessible" 'PrefixI 'False) (U1 :: Type -> Type))

roleNameSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> NameRole -> SeldaTransactionT m () Source #

roleAccessibilityAndPasswordSet :: (MonadIO m, MonadLogger m, MonadSeldaPool m) => IdentifierRole -> AccessibilityRole -> Maybe Password -> SeldaTransactionT m () Source #

rolePermissionsSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierRole -> Set Permission -> SeldaTransactionT m () Source #

deskLookupId :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> NameDesk -> SeldaTransactionT m (Maybe IdentifierDesk) Source #

deskGetFromId :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> SeldaTransactionT m Desk Source #

newtype SqlErrorMensamDeskNotFound Source #

Constructors

MkSqlErrorMensamDeskNotFound SqlErrorMensamNotOneQuery

Instances

Instances details

Exception SqlErrorMensamDeskNotFound Source #
Instance details Defined in Mensam.Server.Space Methods toException :: SqlErrorMensamDeskNotFound -> SomeException # fromException :: SomeException -> Maybe SqlErrorMensamDeskNotFound # displayException :: SqlErrorMensamDeskNotFound -> String #
Generic SqlErrorMensamDeskNotFound Source #
Instance details Defined in Mensam.Server.Space Associated Types type Rep SqlErrorMensamDeskNotFound :: Type -> Type # Methods from :: SqlErrorMensamDeskNotFound -> Rep SqlErrorMensamDeskNotFound x # to :: Rep SqlErrorMensamDeskNotFound x -> SqlErrorMensamDeskNotFound #
Read SqlErrorMensamDeskNotFound Source #
Instance details Defined in Mensam.Server.Space Methods readsPrec :: Int -> ReadS SqlErrorMensamDeskNotFound # readList :: ReadS [SqlErrorMensamDeskNotFound] # readPrec :: ReadPrec SqlErrorMensamDeskNotFound # readListPrec :: ReadPrec [SqlErrorMensamDeskNotFound] #
Show SqlErrorMensamDeskNotFound Source #
Instance details Defined in Mensam.Server.Space Methods showsPrec :: Int -> SqlErrorMensamDeskNotFound -> ShowS # show :: SqlErrorMensamDeskNotFound -> String # showList :: [SqlErrorMensamDeskNotFound] -> ShowS #
Eq SqlErrorMensamDeskNotFound Source #
Instance details Defined in Mensam.Server.Space Methods (==) :: SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound -> Bool # (/=) :: SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound -> Bool #
Ord SqlErrorMensamDeskNotFound Source #
Instance details Defined in Mensam.Server.Space Methods compare :: SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound -> Ordering # (<) :: SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound -> Bool # (<=) :: SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound -> Bool # (>) :: SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound -> Bool # (>=) :: SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound -> Bool # max :: SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound # min :: SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound -> SqlErrorMensamDeskNotFound #
type Rep SqlErrorMensamDeskNotFound Source #
Instance details Defined in Mensam.Server.Space type Rep SqlErrorMensamDeskNotFound = D1 ('MetaData "SqlErrorMensamDeskNotFound" "Mensam.Server.Space" "mensam-0-1nI1njg5LseIhGpsugoJ63" 'True) (C1 ('MetaCons "MkSqlErrorMensamDeskNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SqlErrorMensamNotOneQuery)))

deskList :: (MonadLogger m, MonadSeldaPool m) => IdentifierSpace -> IdentifierUser -> SeldaTransactionT m [Desk] Source #

deskCreate :: (MonadLogger m, MonadSeldaPool m) => NameDesk -> IdentifierSpace -> Maybe LocationDesk -> SeldaTransactionT m IdentifierDesk Source #

deskDelete :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> SeldaTransactionT m () Source #

deskNameSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> NameDesk -> SeldaTransactionT m () Source #

deskLocationSet :: (MonadLogger m, MonadSeldaPool m) => IdentifierDesk -> Maybe LocationDesk -> SeldaTransactionT m () Source #

spaceVisibilityApiToDb :: VisibilitySpace -> DbSpaceVisibility Source #

spaceVisibilityDbToApi :: DbSpaceVisibility -> VisibilitySpace Source #

roleAccessibilityApiToDb :: AccessibilityRole -> DbRoleAccessibility Source #

roleAccessibilityDbToApi :: DbRoleAccessibility -> AccessibilityRole Source #

spacePermissionApiToDb :: Permission -> DbPermission Source #

spacePermissionDbToApi :: DbPermission -> Permission Source #