Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.RQL.Types.Roles.Internal

Synopsis

data CheckPermission permissionType
- = CPUndefined
- | CPInconsistent
- | CPDefined permissionType
data CombineRolePermInfo (b :: BackendType) = CombineRolePermInfo {
- crpiInsPerm :: CheckPermission (InsPermInfo b)
- crpiSelPerm :: Maybe (CombinedSelPermInfo b)
- crpiUpdPerm :: CheckPermission (UpdPermInfo b)
- crpiDelPerm :: CheckPermission (DelPermInfo b)
}
rolePermInfoToCombineRolePermInfo :: RolePermInfo b -> CombineRolePermInfo b
maybeToCheckPermission :: Maybe a -> CheckPermission a

Documentation

data CheckPermission permissionType Source #

CheckPermission is a type which can be used to combine multiple permissions when the permission type implements the OnlyRelevantEq instance

Constructors

CPUndefined
CPInconsistent
CPDefined permissionType

Instances

Instances details

OnlyRelevantEq permissionType => Monoid (CheckPermission permissionType) Source #
Instance details Defined in Hasura.RQL.Types.Roles.Internal Methods mempty :: CheckPermission permissionType # mappend :: CheckPermission permissionType -> CheckPermission permissionType -> CheckPermission permissionType # mconcat :: [CheckPermission permissionType] -> CheckPermission permissionType #
OnlyRelevantEq permissionType => Semigroup (CheckPermission permissionType) Source #
Instance details Defined in Hasura.RQL.Types.Roles.Internal Methods (<>) :: CheckPermission permissionType -> CheckPermission permissionType -> CheckPermission permissionType # sconcat :: NonEmpty (CheckPermission permissionType) -> CheckPermission permissionType # stimes :: Integral b => b -> CheckPermission permissionType -> CheckPermission permissionType #
Show permissionType => Show (CheckPermission permissionType) Source #
Instance details Defined in Hasura.RQL.Types.Roles.Internal Methods showsPrec :: Int -> CheckPermission permissionType -> ShowS # show :: CheckPermission permissionType -> String # showList :: [CheckPermission permissionType] -> ShowS #
Eq permissionType => Eq (CheckPermission permissionType) Source #
Instance details Defined in Hasura.RQL.Types.Roles.Internal Methods (==) :: CheckPermission permissionType -> CheckPermission permissionType -> Bool # (/=) :: CheckPermission permissionType -> CheckPermission permissionType -> Bool #

data CombineRolePermInfo (b :: BackendType) Source #

CombineRolePermInfo acts as an intermediate type to be able to combine multiple role permissions into one, using the Monoid instance. Multiple role permissions are combined for inherited role permissions where this is used.

Constructors

CombineRolePermInfo
Fields crpiInsPerm :: CheckPermission (InsPermInfo b) crpiSelPerm :: Maybe (CombinedSelPermInfo b) crpiUpdPerm :: CheckPermission (UpdPermInfo b) crpiDelPerm :: CheckPermission (DelPermInfo b)

Instances

Instances details

(Backend b, Monoid (CheckPermission (DelPermInfo b)), Monoid (CheckPermission (InsPermInfo b)), Monoid (CheckPermission (UpdPermInfo b)), Monoid (Maybe (CombinedSelPermInfo b))) => Monoid (CombineRolePermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Roles.Internal Methods mempty :: CombineRolePermInfo b # mappend :: CombineRolePermInfo b -> CombineRolePermInfo b -> CombineRolePermInfo b # mconcat :: [CombineRolePermInfo b] -> CombineRolePermInfo b #
(Backend b, Semigroup (CheckPermission (DelPermInfo b)), Semigroup (CheckPermission (InsPermInfo b)), Semigroup (CheckPermission (UpdPermInfo b)), Semigroup (CombinedSelPermInfo b)) => Semigroup (CombineRolePermInfo b) Source #
Instance details Defined in Hasura.RQL.Types.Roles.Internal Methods (<>) :: CombineRolePermInfo b -> CombineRolePermInfo b -> CombineRolePermInfo b # sconcat :: NonEmpty (CombineRolePermInfo b) -> CombineRolePermInfo b # stimes :: Integral b0 => b0 -> CombineRolePermInfo b -> CombineRolePermInfo b #

rolePermInfoToCombineRolePermInfo :: RolePermInfo b -> CombineRolePermInfo b Source #

maybeToCheckPermission :: Maybe a -> CheckPermission a Source #