Safe Haskell	None
Language	Haskell2010

Hasura.RQL.Types.Permission

Synopsis

data PermType
- = PTInsert
- | PTSelect
- | PTUpdate
- | PTDelete
permTypeToCode :: PermType -> Text
data PermColSpec b
- = PCStar
- | PCCols [Column b]
data PermDef (b :: BackendType) (perm :: BackendType -> Type) = PermDef {
- _pdRole :: RoleName
- _pdPermission :: PermDefPermission b perm
- _pdComment :: Maybe Text
}
data PermDefPermission (b :: BackendType) (perm :: BackendType -> Type) where
- SelPerm' :: SelPerm b -> PermDefPermission b SelPerm
- InsPerm' :: InsPerm b -> PermDefPermission b InsPerm
- UpdPerm' :: UpdPerm b -> PermDefPermission b UpdPerm
- DelPerm' :: DelPerm b -> PermDefPermission b DelPerm
unPermDefPermission :: PermDefPermission b perm -> perm b
reflectPermDefPermission :: PermDefPermission b a -> PermType
data QueryRootFieldType
- = QRFTSelect
- | QRFTSelectByPk
- | QRFTSelectAggregate
data SubscriptionRootFieldType
- = SRFTSelect
- | SRFTSelectByPk
- | SRFTSelectAggregate
- | SRFTSelectStream
data InsPerm (b :: BackendType) = InsPerm {
- ipCheck :: BoolExp b
- ipSet :: Maybe (ColumnValues b Value)
- ipColumns :: Maybe (PermColSpec b)
- ipBackendOnly :: Bool
}
type InsPermDef b = PermDef b InsPerm
data AllowedRootFields rootFieldType
- = ARFAllowAllRootFields
- | ARFAllowConfiguredRootFields (HashSet rootFieldType)
isRootFieldAllowed :: Eq rootField => rootField -> AllowedRootFields rootField -> Bool
data SelPerm (b :: BackendType) = SelPerm {
- spColumns :: PermColSpec b
- spFilter :: BoolExp b
- spLimit :: Maybe Int
- spAllowAggregations :: Bool
- spComputedFields :: [ComputedFieldName]
- spAllowedQueryRootFields :: AllowedRootFields QueryRootFieldType
- spAllowedSubscriptionRootFields :: AllowedRootFields SubscriptionRootFieldType
}
type SelPermDef b = PermDef b SelPerm
data DelPerm (b :: BackendType) = DelPerm {
- dcFilter :: BoolExp b
- dcBackendOnly :: Bool
}
type DelPermDef b = PermDef b DelPerm
data UpdPerm (b :: BackendType) = UpdPerm {
- ucColumns :: PermColSpec b
- ucSet :: Maybe (ColumnValues b Value)
- ucFilter :: BoolExp b
- ucCheck :: Maybe (BoolExp b)
- ucBackendOnly :: Bool
}
type UpdPermDef b = PermDef b UpdPerm
pdRole :: forall b perm. Lens' (PermDef b perm) RoleName
pdPermission :: forall b perm b perm. Lens (PermDef b perm) (PermDef b perm) (PermDefPermission b perm) (PermDefPermission b perm)
pdComment :: forall b perm. Lens' (PermDef b perm) (Maybe Text)

Documentation

data PermType Source #

Constructors

PTInsert
PTSelect
PTUpdate
PTDelete

Instances

Instances details

Eq PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: PermType -> PermType -> Bool # (/=) :: PermType -> PermType -> Bool #
Show PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> PermType -> ShowS # show :: PermType -> String # showList :: [PermType] -> ShowS #
Generic PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep PermType :: Type -> Type # Methods from :: PermType -> Rep PermType x # to :: Rep PermType x -> PermType #
NFData PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods rnf :: PermType -> () #
Hashable PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods hashWithSalt :: Int -> PermType -> Int hash :: PermType -> Int
FromJSON PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser PermType parseJSONList :: Value -> Parser [PermType]
ToJSON PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: PermType -> Value toEncoding :: PermType -> Encoding toJSONList :: [PermType] -> Value toEncodingList :: [PermType] -> Encoding
FromCol PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods fromCol :: Maybe ByteString -> Either Text PermType
Cacheable PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> PermType -> PermType -> Bool Source #
type Rep PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep PermType = D1 ('MetaData "PermType" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "PTInsert" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PTSelect" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PTUpdate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PTDelete" 'PrefixI 'False) (U1 :: Type -> Type)))

permTypeToCode :: PermType -> Text Source #

data PermColSpec b Source #

Constructors

PCStar
PCCols [Column b]

Instances

Instances details

Backend b => Eq (PermColSpec b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: PermColSpec b -> PermColSpec b -> Bool # (/=) :: PermColSpec b -> PermColSpec b -> Bool #
Backend b => Show (PermColSpec b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> PermColSpec b -> ShowS # show :: PermColSpec b -> String # showList :: [PermColSpec b] -> ShowS #
Generic (PermColSpec b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep (PermColSpec b) :: Type -> Type # Methods from :: PermColSpec b -> Rep (PermColSpec b) x # to :: Rep (PermColSpec b) x -> PermColSpec b #
Backend b => FromJSON (PermColSpec b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermColSpec b) parseJSONList :: Value -> Parser [PermColSpec b]
Backend b => ToJSON (PermColSpec b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: PermColSpec b -> Value toEncoding :: PermColSpec b -> Encoding toJSONList :: [PermColSpec b] -> Value toEncodingList :: [PermColSpec b] -> Encoding
Backend b => Cacheable (PermColSpec b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> PermColSpec b -> PermColSpec b -> Bool Source #
type Rep (PermColSpec b) Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep (PermColSpec b) = D1 ('MetaData "PermColSpec" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "PCStar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PCCols" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Column b])))

data PermDef (b :: BackendType) (perm :: BackendType -> Type) Source #

Constructors

PermDef
Fields _pdRole :: RoleName _pdPermission :: PermDefPermission b perm _pdComment :: Maybe Text

Instances

Instances details

Backend b => Eq (PermDef b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: PermDef b perm -> PermDef b perm -> Bool # (/=) :: PermDef b perm -> PermDef b perm -> Bool #
Backend b => Show (PermDef b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> PermDef b perm -> ShowS # show :: PermDef b perm -> String # showList :: [PermDef b perm] -> ShowS #
Generic (PermDef b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep (PermDef b perm) :: Type -> Type # Methods from :: PermDef b perm -> Rep (PermDef b perm) x # to :: Rep (PermDef b perm) x -> PermDef b perm #
Backend b => FromJSON (PermDef b DelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b DelPerm) parseJSONList :: Value -> Parser [PermDef b DelPerm]
Backend b => FromJSON (PermDef b UpdPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b UpdPerm) parseJSONList :: Value -> Parser [PermDef b UpdPerm]
Backend b => FromJSON (PermDef b InsPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b InsPerm) parseJSONList :: Value -> Parser [PermDef b InsPerm]
Backend b => FromJSON (PermDef b SelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b SelPerm) parseJSONList :: Value -> Parser [PermDef b SelPerm]
(Backend b, ToJSON (perm b)) => ToJSON (PermDef b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: PermDef b perm -> Value toEncoding :: PermDef b perm -> Encoding toJSONList :: [PermDef b perm] -> Value toEncodingList :: [PermDef b perm] -> Encoding
(Backend b, Cacheable (perm b)) => Cacheable (PermDef b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> PermDef b perm -> PermDef b perm -> Bool Source #
Backend b => ToAesonPairs (PermDef b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toAesonPairs :: KeyValue v => PermDef b perm -> [v] Source #
type Rep (PermDef b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep (PermDef b perm) = D1 ('MetaData "PermDef" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "PermDef" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pdRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 RoleName) :: (S1 ('MetaSel ('Just "_pdPermission") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PermDefPermission b perm)) :: S1 ('MetaSel ('Just "_pdComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)))))

data PermDefPermission (b :: BackendType) (perm :: BackendType -> Type) where Source #

The permission data as it appears in a PermDef. Since this type is a GADT it facilitates that values which are polymorphic may re-discover its specific type of permission by case analysis.

The fact that permission types are tracked in types are more accidental than intentional and something we want to move away from, see https://github.com/hasura/graphql-engine-mono/issues/4076.

Constructors

SelPerm' :: SelPerm b -> PermDefPermission b SelPerm
InsPerm' :: InsPerm b -> PermDefPermission b InsPerm
UpdPerm' :: UpdPerm b -> PermDefPermission b UpdPerm
DelPerm' :: DelPerm b -> PermDefPermission b DelPerm

Instances

Instances details

Backend b => Eq (PermDefPermission b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: PermDefPermission b perm -> PermDefPermission b perm -> Bool # (/=) :: PermDefPermission b perm -> PermDefPermission b perm -> Bool #
Backend b => Show (PermDefPermission b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> PermDefPermission b perm -> ShowS # show :: PermDefPermission b perm -> String # showList :: [PermDefPermission b perm] -> ShowS #
Backend b => FromJSON (PermDefPermission b DelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b DelPerm) parseJSONList :: Value -> Parser [PermDefPermission b DelPerm]
Backend b => FromJSON (PermDefPermission b UpdPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b UpdPerm) parseJSONList :: Value -> Parser [PermDefPermission b UpdPerm]
Backend b => FromJSON (PermDefPermission b InsPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b InsPerm) parseJSONList :: Value -> Parser [PermDefPermission b InsPerm]
Backend b => FromJSON (PermDefPermission b SelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b SelPerm) parseJSONList :: Value -> Parser [PermDefPermission b SelPerm]
Backend b => ToJSON (PermDefPermission b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: PermDefPermission b perm -> Value toEncoding :: PermDefPermission b perm -> Encoding toJSONList :: [PermDefPermission b perm] -> Value toEncodingList :: [PermDefPermission b perm] -> Encoding
Backend b => Cacheable (PermDefPermission b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> PermDefPermission b perm -> PermDefPermission b perm -> Bool Source #

unPermDefPermission :: PermDefPermission b perm -> perm b Source #

reflectPermDefPermission :: PermDefPermission b a -> PermType Source #

data QueryRootFieldType Source #

Constructors

QRFTSelect
QRFTSelectByPk
QRFTSelectAggregate

Instances

Instances details

Eq QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: QueryRootFieldType -> QueryRootFieldType -> Bool # (/=) :: QueryRootFieldType -> QueryRootFieldType -> Bool #
Show QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> QueryRootFieldType -> ShowS # show :: QueryRootFieldType -> String # showList :: [QueryRootFieldType] -> ShowS #
Generic QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep QueryRootFieldType :: Type -> Type # Methods from :: QueryRootFieldType -> Rep QueryRootFieldType x # to :: Rep QueryRootFieldType x -> QueryRootFieldType #
NFData QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods rnf :: QueryRootFieldType -> () #
Hashable QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods hashWithSalt :: Int -> QueryRootFieldType -> Int hash :: QueryRootFieldType -> Int
FromJSON QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser QueryRootFieldType parseJSONList :: Value -> Parser [QueryRootFieldType]
ToJSON QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: QueryRootFieldType -> Value toEncoding :: QueryRootFieldType -> Encoding toJSONList :: [QueryRootFieldType] -> Value toEncodingList :: [QueryRootFieldType] -> Encoding
Cacheable QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> QueryRootFieldType -> QueryRootFieldType -> Bool Source #
type Rep QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep QueryRootFieldType = D1 ('MetaData "QueryRootFieldType" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "QRFTSelect" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QRFTSelectByPk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QRFTSelectAggregate" 'PrefixI 'False) (U1 :: Type -> Type)))

data SubscriptionRootFieldType Source #

Constructors

SRFTSelect
SRFTSelectByPk
SRFTSelectAggregate
SRFTSelectStream

Instances

Instances details

Eq SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: SubscriptionRootFieldType -> SubscriptionRootFieldType -> Bool # (/=) :: SubscriptionRootFieldType -> SubscriptionRootFieldType -> Bool #
Show SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> SubscriptionRootFieldType -> ShowS # show :: SubscriptionRootFieldType -> String # showList :: [SubscriptionRootFieldType] -> ShowS #
Generic SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep SubscriptionRootFieldType :: Type -> Type # Methods from :: SubscriptionRootFieldType -> Rep SubscriptionRootFieldType x # to :: Rep SubscriptionRootFieldType x -> SubscriptionRootFieldType #
NFData SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods rnf :: SubscriptionRootFieldType -> () #
Hashable SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods hashWithSalt :: Int -> SubscriptionRootFieldType -> Int hash :: SubscriptionRootFieldType -> Int
FromJSON SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser SubscriptionRootFieldType parseJSONList :: Value -> Parser [SubscriptionRootFieldType]
ToJSON SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: SubscriptionRootFieldType -> Value toEncoding :: SubscriptionRootFieldType -> Encoding toJSONList :: [SubscriptionRootFieldType] -> Value toEncodingList :: [SubscriptionRootFieldType] -> Encoding
Cacheable SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> SubscriptionRootFieldType -> SubscriptionRootFieldType -> Bool Source #
type Rep SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep SubscriptionRootFieldType = D1 ('MetaData "SubscriptionRootFieldType" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) ((C1 ('MetaCons "SRFTSelect" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SRFTSelectByPk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SRFTSelectAggregate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SRFTSelectStream" 'PrefixI 'False) (U1 :: Type -> Type)))

data InsPerm (b :: BackendType) Source #

Constructors

InsPerm
Fields ipCheck :: BoolExp b ipSet :: Maybe (ColumnValues b Value) ipColumns :: Maybe (PermColSpec b) ipBackendOnly :: Bool

Instances

Instances details

Backend b => Eq (InsPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: InsPerm b -> InsPerm b -> Bool # (/=) :: InsPerm b -> InsPerm b -> Bool #
Backend b => Show (InsPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> InsPerm b -> ShowS # show :: InsPerm b -> String # showList :: [InsPerm b] -> ShowS #
Generic (InsPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep (InsPerm b) :: Type -> Type # Methods from :: InsPerm b -> Rep (InsPerm b) x # to :: Rep (InsPerm b) x -> InsPerm b #
Backend b => FromJSON (InsPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (InsPerm b) parseJSONList :: Value -> Parser [InsPerm b]
Backend b => ToJSON (InsPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: InsPerm b -> Value toEncoding :: InsPerm b -> Encoding toJSONList :: [InsPerm b] -> Value toEncodingList :: [InsPerm b] -> Encoding
Backend b => Cacheable (InsPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> InsPerm b -> InsPerm b -> Bool Source #
Backend b => FromJSON (PermDefPermission b InsPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b InsPerm) parseJSONList :: Value -> Parser [PermDefPermission b InsPerm]
Backend b => FromJSON (PermDef b InsPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b InsPerm) parseJSONList :: Value -> Parser [PermDef b InsPerm]
type Rep (InsPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep (InsPerm b) = D1 ('MetaData "InsPerm" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "InsPerm" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ipCheck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (BoolExp b)) :: S1 ('MetaSel ('Just "ipSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ColumnValues b Value)))) :: (S1 ('MetaSel ('Just "ipColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (PermColSpec b))) :*: S1 ('MetaSel ('Just "ipBackendOnly") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))))

type InsPermDef b = PermDef b InsPerm Source #

data AllowedRootFields rootFieldType Source #

Constructors

ARFAllowAllRootFields
ARFAllowConfiguredRootFields (HashSet rootFieldType)

Instances

Instances details

Eq rootFieldType => Eq (AllowedRootFields rootFieldType) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: AllowedRootFields rootFieldType -> AllowedRootFields rootFieldType -> Bool # (/=) :: AllowedRootFields rootFieldType -> AllowedRootFields rootFieldType -> Bool #
Show rootFieldType => Show (AllowedRootFields rootFieldType) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> AllowedRootFields rootFieldType -> ShowS # show :: AllowedRootFields rootFieldType -> String # showList :: [AllowedRootFields rootFieldType] -> ShowS #
Generic (AllowedRootFields rootFieldType) Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep (AllowedRootFields rootFieldType) :: Type -> Type # Methods from :: AllowedRootFields rootFieldType -> Rep (AllowedRootFields rootFieldType) x # to :: Rep (AllowedRootFields rootFieldType) x -> AllowedRootFields rootFieldType #
Semigroup (HashSet rootFieldType) => Semigroup (AllowedRootFields rootFieldType) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (<>) :: AllowedRootFields rootFieldType -> AllowedRootFields rootFieldType -> AllowedRootFields rootFieldType # sconcat :: NonEmpty (AllowedRootFields rootFieldType) -> AllowedRootFields rootFieldType # stimes :: Integral b => b -> AllowedRootFields rootFieldType -> AllowedRootFields rootFieldType #
NFData rootFieldType => NFData (AllowedRootFields rootFieldType) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods rnf :: AllowedRootFields rootFieldType -> () #
ToJSON rootFieldType => ToJSON (AllowedRootFields rootFieldType) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: AllowedRootFields rootFieldType -> Value toEncoding :: AllowedRootFields rootFieldType -> Encoding toJSONList :: [AllowedRootFields rootFieldType] -> Value toEncodingList :: [AllowedRootFields rootFieldType] -> Encoding
Cacheable rootFieldType => Cacheable (AllowedRootFields rootFieldType) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> AllowedRootFields rootFieldType -> AllowedRootFields rootFieldType -> Bool Source #
type Rep (AllowedRootFields rootFieldType) Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep (AllowedRootFields rootFieldType) = D1 ('MetaData "AllowedRootFields" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "ARFAllowAllRootFields" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ARFAllowConfiguredRootFields" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HashSet rootFieldType))))

isRootFieldAllowed :: Eq rootField => rootField -> AllowedRootFields rootField -> Bool Source #

data SelPerm (b :: BackendType) Source #

Constructors

SelPerm

Fields

spColumns :: PermColSpec b
Allowed columns
spFilter :: BoolExp b
Filter expression
spLimit :: Maybe Int
Limit value
spAllowAggregations :: Bool
Allow aggregation
spComputedFields :: [ComputedFieldName]
Allowed computed fields which should not include the fields returning rows of existing table.
spAllowedQueryRootFields :: AllowedRootFields QueryRootFieldType
spAllowedSubscriptionRootFields :: AllowedRootFields SubscriptionRootFieldType

Instances

Instances details

Backend b => Eq (SelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: SelPerm b -> SelPerm b -> Bool # (/=) :: SelPerm b -> SelPerm b -> Bool #
Backend b => Show (SelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> SelPerm b -> ShowS # show :: SelPerm b -> String # showList :: [SelPerm b] -> ShowS #
Generic (SelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep (SelPerm b) :: Type -> Type # Methods from :: SelPerm b -> Rep (SelPerm b) x # to :: Rep (SelPerm b) x -> SelPerm b #
Backend b => FromJSON (SelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (SelPerm b) parseJSONList :: Value -> Parser [SelPerm b]
Backend b => ToJSON (SelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: SelPerm b -> Value toEncoding :: SelPerm b -> Encoding toJSONList :: [SelPerm b] -> Value toEncodingList :: [SelPerm b] -> Encoding
Backend b => Cacheable (SelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> SelPerm b -> SelPerm b -> Bool Source #
Backend b => FromJSON (PermDefPermission b SelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b SelPerm) parseJSONList :: Value -> Parser [PermDefPermission b SelPerm]
Backend b => FromJSON (PermDef b SelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b SelPerm) parseJSONList :: Value -> Parser [PermDef b SelPerm]
type Rep (SelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep (SelPerm b) = D1 ('MetaData "SelPerm" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "SelPerm" 'PrefixI 'True) ((S1 ('MetaSel ('Just "spColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PermColSpec b)) :: (S1 ('MetaSel ('Just "spFilter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (BoolExp b)) :: S1 ('MetaSel ('Just "spLimit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Int)))) :: ((S1 ('MetaSel ('Just "spAllowAggregations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :: S1 ('MetaSel ('Just "spComputedFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ComputedFieldName])) :: (S1 ('MetaSel ('Just "spAllowedQueryRootFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AllowedRootFields QueryRootFieldType)) :: S1 ('MetaSel ('Just "spAllowedSubscriptionRootFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AllowedRootFields SubscriptionRootFieldType))))))

type SelPermDef b = PermDef b SelPerm Source #

data DelPerm (b :: BackendType) Source #

Constructors

DelPerm
Fields dcFilter :: BoolExp b dcBackendOnly :: Bool

Instances

Instances details

Backend b => Eq (DelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: DelPerm b -> DelPerm b -> Bool # (/=) :: DelPerm b -> DelPerm b -> Bool #
Backend b => Show (DelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> DelPerm b -> ShowS # show :: DelPerm b -> String # showList :: [DelPerm b] -> ShowS #
Generic (DelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep (DelPerm b) :: Type -> Type # Methods from :: DelPerm b -> Rep (DelPerm b) x # to :: Rep (DelPerm b) x -> DelPerm b #
Backend b => FromJSON (DelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (DelPerm b) parseJSONList :: Value -> Parser [DelPerm b]
Backend b => ToJSON (DelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: DelPerm b -> Value toEncoding :: DelPerm b -> Encoding toJSONList :: [DelPerm b] -> Value toEncodingList :: [DelPerm b] -> Encoding
Backend b => Cacheable (DelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> DelPerm b -> DelPerm b -> Bool Source #
Backend b => FromJSON (PermDefPermission b DelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b DelPerm) parseJSONList :: Value -> Parser [PermDefPermission b DelPerm]
Backend b => FromJSON (PermDef b DelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b DelPerm) parseJSONList :: Value -> Parser [PermDef b DelPerm]
type Rep (DelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep (DelPerm b) = D1 ('MetaData "DelPerm" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "DelPerm" 'PrefixI 'True) (S1 ('MetaSel ('Just "dcFilter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (BoolExp b)) :*: S1 ('MetaSel ('Just "dcBackendOnly") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

type DelPermDef b = PermDef b DelPerm Source #

data UpdPerm (b :: BackendType) Source #

Constructors

UpdPerm
Fields ucColumns :: PermColSpec b ucSet :: Maybe (ColumnValues b Value) ucFilter :: BoolExp b ucCheck :: Maybe (BoolExp b) Check expression, which must be true after update. This is optional because we don't want to break the v1 API but Nothing should be equivalent to the expression which always returns true. ucBackendOnly :: Bool

Instances

Instances details

Backend b => Eq (UpdPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: UpdPerm b -> UpdPerm b -> Bool # (/=) :: UpdPerm b -> UpdPerm b -> Bool #
Backend b => Show (UpdPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> UpdPerm b -> ShowS # show :: UpdPerm b -> String # showList :: [UpdPerm b] -> ShowS #
Generic (UpdPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep (UpdPerm b) :: Type -> Type # Methods from :: UpdPerm b -> Rep (UpdPerm b) x # to :: Rep (UpdPerm b) x -> UpdPerm b #
Backend b => FromJSON (UpdPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (UpdPerm b) parseJSONList :: Value -> Parser [UpdPerm b]
Backend b => ToJSON (UpdPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: UpdPerm b -> Value toEncoding :: UpdPerm b -> Encoding toJSONList :: [UpdPerm b] -> Value toEncodingList :: [UpdPerm b] -> Encoding
Backend b => Cacheable (UpdPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods unchanged :: Accesses -> UpdPerm b -> UpdPerm b -> Bool Source #
Backend b => FromJSON (PermDefPermission b UpdPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b UpdPerm) parseJSONList :: Value -> Parser [PermDefPermission b UpdPerm]
Backend b => FromJSON (PermDef b UpdPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b UpdPerm) parseJSONList :: Value -> Parser [PermDef b UpdPerm]
type Rep (UpdPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep (UpdPerm b) = D1 ('MetaData "UpdPerm" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "UpdPerm" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ucColumns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PermColSpec b)) :: S1 ('MetaSel ('Just "ucSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ColumnValues b Value)))) :: (S1 ('MetaSel ('Just "ucFilter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (BoolExp b)) :: (S1 ('MetaSel ('Just "ucCheck") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (BoolExp b))) :: S1 ('MetaSel ('Just "ucBackendOnly") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))))

type UpdPermDef b = PermDef b UpdPerm Source #

pdRole :: forall b perm. Lens' (PermDef b perm) RoleName Source #

pdPermission :: forall b perm b perm. Lens (PermDef b perm) (PermDef b perm) (PermDefPermission b perm) (PermDefPermission b perm) Source #

pdComment :: forall b perm. Lens' (PermDef b perm) (Maybe Text) Source #