Safe Haskell	Safe-Inferred
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
- ipValidateInput :: Maybe (ValidateInput InputWebhook)
}
type InsPermDef b = PermDef b InsPerm
data AllowedRootFields rootFieldType
- = ARFAllowAllRootFields
- | ARFAllowConfiguredRootFields (HashSet rootFieldType)
isRootFieldAllowed :: Eq rootField => rootField -> AllowedRootFields rootField -> Bool
data ValidateInputHttpDefinition webhook = ValidateInputHttpDefinition {
- _vihdUrl :: webhook
- _vihdHeaders :: [HeaderConf]
- _vihdTimeout :: Timeout
- _vihdForwardClientHeaders :: Bool
}
data ValidateInput webhook = VIHttp (ValidateInputHttpDefinition webhook)
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
- dcValidateInput :: Maybe (ValidateInput InputWebhook)
}
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
- ucValidateInput :: Maybe (ValidateInput InputWebhook)
}
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

FromJSON PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser PermType Source # parseJSONList :: Value -> Parser [PermType] Source #
ToJSON PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: PermType -> Value Source # toEncoding :: PermType -> Encoding Source # toJSONList :: [PermType] -> Value Source # toEncodingList :: [PermType] -> Encoding Source #
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 #
Show PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> PermType -> ShowS # show :: PermType -> String # showList :: [PermType] -> ShowS #
NFData PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods rnf :: PermType -> () #
Eq PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: PermType -> PermType -> Bool # (/=) :: PermType -> PermType -> Bool #
Ord PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods compare :: PermType -> PermType -> Ordering # (<) :: PermType -> PermType -> Bool # (<=) :: PermType -> PermType -> Bool # (>) :: PermType -> PermType -> Bool # (>=) :: PermType -> PermType -> Bool # max :: PermType -> PermType -> PermType # min :: PermType -> PermType -> PermType #
Hashable PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods hashWithSalt :: Int -> PermType -> Int Source # hash :: PermType -> Int Source #
FromCol PermType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods fromCol :: Maybe ByteString -> Either Text PermType 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 => FromJSON (PermColSpec b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermColSpec b) Source # parseJSONList :: Value -> Parser [PermColSpec b] Source #
Backend b => ToJSON (PermColSpec b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: PermColSpec b -> Value Source # toEncoding :: PermColSpec b -> Encoding Source # toJSONList :: [PermColSpec b] -> Value Source # toEncodingList :: [PermColSpec b] -> Encoding Source #
Backend b => HasCodec (PermColSpec b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec (PermColSpec b) Source # listCodecForStringCompatibility :: JSONCodec [PermColSpec b] Source #
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 => 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 #
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 #
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 => FromJSON (PermDef b DelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b DelPerm) Source # parseJSONList :: Value -> Parser [PermDef b DelPerm] Source #
Backend b => FromJSON (PermDef b InsPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b InsPerm) Source # parseJSONList :: Value -> Parser [PermDef b InsPerm] Source #
Backend b => FromJSON (PermDef b SelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b SelPerm) Source # parseJSONList :: Value -> Parser [PermDef b SelPerm] Source #
Backend b => FromJSON (PermDef b UpdPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b UpdPerm) Source # parseJSONList :: Value -> Parser [PermDef b UpdPerm] Source #
(Backend b, ToJSON (perm b)) => ToJSON (PermDef b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: PermDef b perm -> Value Source # toEncoding :: PermDef b perm -> Encoding Source # toJSONList :: [PermDef b perm] -> Value Source # toEncodingList :: [PermDef b perm] -> Encoding Source #
(Backend b, HasCodec (perm b), IsPerm perm) => HasCodec (PermDef b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec (PermDef b perm) Source # listCodecForStringCompatibility :: JSONCodec [PermDef b perm] Source #
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 => 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 #
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 => 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 => FromJSON (PermDefPermission b DelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b DelPerm) Source # parseJSONList :: Value -> Parser [PermDefPermission b DelPerm] Source #
Backend b => FromJSON (PermDefPermission b InsPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b InsPerm) Source # parseJSONList :: Value -> Parser [PermDefPermission b InsPerm] Source #
Backend b => FromJSON (PermDefPermission b SelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b SelPerm) Source # parseJSONList :: Value -> Parser [PermDefPermission b SelPerm] Source #
Backend b => FromJSON (PermDefPermission b UpdPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b UpdPerm) Source # parseJSONList :: Value -> Parser [PermDefPermission b UpdPerm] Source #
Backend b => ToJSON (PermDefPermission b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: PermDefPermission b perm -> Value Source # toEncoding :: PermDefPermission b perm -> Encoding Source # toJSONList :: [PermDefPermission b perm] -> Value Source # toEncodingList :: [PermDefPermission b perm] -> Encoding Source #
(Backend b, HasCodec (perm b), IsPerm perm) => HasCodec (PermDefPermission b perm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec (PermDefPermission b perm) Source # listCodecForStringCompatibility :: JSONCodec [PermDefPermission b perm] Source #
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 => 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 #

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

reflectPermDefPermission :: PermDefPermission b a -> PermType Source #

data QueryRootFieldType Source #

Constructors

QRFTSelect
QRFTSelectByPk
QRFTSelectAggregate

Instances

Instances details

FromJSON QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser QueryRootFieldType Source # parseJSONList :: Value -> Parser [QueryRootFieldType] Source #
ToJSON QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: QueryRootFieldType -> Value Source # toEncoding :: QueryRootFieldType -> Encoding Source # toJSONList :: [QueryRootFieldType] -> Value Source # toEncodingList :: [QueryRootFieldType] -> Encoding Source #
HasCodec QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec QueryRootFieldType Source # listCodecForStringCompatibility :: JSONCodec [QueryRootFieldType] Source #
Bounded QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods minBound :: QueryRootFieldType # maxBound :: QueryRootFieldType #
Enum QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods succ :: QueryRootFieldType -> QueryRootFieldType # pred :: QueryRootFieldType -> QueryRootFieldType # toEnum :: Int -> QueryRootFieldType # fromEnum :: QueryRootFieldType -> Int # enumFrom :: QueryRootFieldType -> [QueryRootFieldType] # enumFromThen :: QueryRootFieldType -> QueryRootFieldType -> [QueryRootFieldType] # enumFromTo :: QueryRootFieldType -> QueryRootFieldType -> [QueryRootFieldType] # enumFromThenTo :: QueryRootFieldType -> QueryRootFieldType -> QueryRootFieldType -> [QueryRootFieldType] #
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 #
Show QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> QueryRootFieldType -> ShowS # show :: QueryRootFieldType -> String # showList :: [QueryRootFieldType] -> ShowS #
NFData QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods rnf :: QueryRootFieldType -> () #
Eq QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: QueryRootFieldType -> QueryRootFieldType -> Bool # (/=) :: QueryRootFieldType -> QueryRootFieldType -> Bool #
Hashable QueryRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods hashWithSalt :: Int -> QueryRootFieldType -> Int Source # hash :: QueryRootFieldType -> Int 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

FromJSON SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser SubscriptionRootFieldType Source # parseJSONList :: Value -> Parser [SubscriptionRootFieldType] Source #
ToJSON SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: SubscriptionRootFieldType -> Value Source # toEncoding :: SubscriptionRootFieldType -> Encoding Source # toJSONList :: [SubscriptionRootFieldType] -> Value Source # toEncodingList :: [SubscriptionRootFieldType] -> Encoding Source #
HasCodec SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec SubscriptionRootFieldType Source # listCodecForStringCompatibility :: JSONCodec [SubscriptionRootFieldType] Source #
Bounded SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods minBound :: SubscriptionRootFieldType # maxBound :: SubscriptionRootFieldType #
Enum SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods succ :: SubscriptionRootFieldType -> SubscriptionRootFieldType # pred :: SubscriptionRootFieldType -> SubscriptionRootFieldType # toEnum :: Int -> SubscriptionRootFieldType # fromEnum :: SubscriptionRootFieldType -> Int # enumFrom :: SubscriptionRootFieldType -> [SubscriptionRootFieldType] # enumFromThen :: SubscriptionRootFieldType -> SubscriptionRootFieldType -> [SubscriptionRootFieldType] # enumFromTo :: SubscriptionRootFieldType -> SubscriptionRootFieldType -> [SubscriptionRootFieldType] # enumFromThenTo :: SubscriptionRootFieldType -> SubscriptionRootFieldType -> SubscriptionRootFieldType -> [SubscriptionRootFieldType] #
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 #
Show SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> SubscriptionRootFieldType -> ShowS # show :: SubscriptionRootFieldType -> String # showList :: [SubscriptionRootFieldType] -> ShowS #
NFData SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods rnf :: SubscriptionRootFieldType -> () #
Eq SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: SubscriptionRootFieldType -> SubscriptionRootFieldType -> Bool # (/=) :: SubscriptionRootFieldType -> SubscriptionRootFieldType -> Bool #
Hashable SubscriptionRootFieldType Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods hashWithSalt :: Int -> SubscriptionRootFieldType -> Int Source # hash :: SubscriptionRootFieldType -> Int 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 ipValidateInput :: Maybe (ValidateInput InputWebhook)

Instances

Instances details

Backend b => FromJSON (InsPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (InsPerm b) Source # parseJSONList :: Value -> Parser [InsPerm b] Source #
Backend b => ToJSON (InsPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: InsPerm b -> Value Source # toEncoding :: InsPerm b -> Encoding Source # toJSONList :: [InsPerm b] -> Value Source # toEncodingList :: [InsPerm b] -> Encoding Source #
Backend b => HasCodec (InsPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec (InsPerm b) Source # listCodecForStringCompatibility :: JSONCodec [InsPerm b] Source #
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 => 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 #
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 => FromJSON (PermDef b InsPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b InsPerm) Source # parseJSONList :: Value -> Parser [PermDef b InsPerm] Source #
Backend b => FromJSON (PermDefPermission b InsPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b InsPerm) Source # parseJSONList :: Value -> Parser [PermDefPermission b InsPerm] Source #
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) :: S1 ('MetaSel ('Just "ipValidateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ValidateInput InputWebhook)))))))

type InsPermDef b = PermDef b InsPerm Source #

data AllowedRootFields rootFieldType Source #

Constructors

ARFAllowAllRootFields
ARFAllowConfiguredRootFields (HashSet rootFieldType)

Instances

Instances details

ToJSON rootFieldType => ToJSON (AllowedRootFields rootFieldType) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: AllowedRootFields rootFieldType -> Value Source # toEncoding :: AllowedRootFields rootFieldType -> Encoding Source # toJSONList :: [AllowedRootFields rootFieldType] -> Value Source # toEncodingList :: [AllowedRootFields rootFieldType] -> Encoding Source #
(Hashable rootFieldType, HasCodec rootFieldType) => HasCodec (AllowedRootFields rootFieldType) Source #	Serializes set of allowed fields as a nullable array, where `null` maps to `ARFAllowAllRootFields`, and any array value maps to `ARFAllowConfiguredRootFields`.
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec (AllowedRootFields rootFieldType) Source # listCodecForStringCompatibility :: JSONCodec [AllowedRootFields rootFieldType] Source #
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 #
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 #
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 #
NFData rootFieldType => NFData (AllowedRootFields rootFieldType) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods rnf :: AllowedRootFields rootFieldType -> () #
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 #
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 ValidateInputHttpDefinition webhook Source #

Constructors

ValidateInputHttpDefinition
Fields _vihdUrl :: webhook _vihdHeaders :: [HeaderConf] _vihdTimeout :: Timeout _vihdForwardClientHeaders :: Bool

Instances

Instances details

Foldable ValidateInputHttpDefinition Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods fold :: Monoid m => ValidateInputHttpDefinition m -> m # foldMap :: Monoid m => (a -> m) -> ValidateInputHttpDefinition a -> m # foldMap' :: Monoid m => (a -> m) -> ValidateInputHttpDefinition a -> m # foldr :: (a -> b -> b) -> b -> ValidateInputHttpDefinition a -> b # foldr' :: (a -> b -> b) -> b -> ValidateInputHttpDefinition a -> b # foldl :: (b -> a -> b) -> b -> ValidateInputHttpDefinition a -> b # foldl' :: (b -> a -> b) -> b -> ValidateInputHttpDefinition a -> b # foldr1 :: (a -> a -> a) -> ValidateInputHttpDefinition a -> a # foldl1 :: (a -> a -> a) -> ValidateInputHttpDefinition a -> a # toList :: ValidateInputHttpDefinition a -> [a] # null :: ValidateInputHttpDefinition a -> Bool # length :: ValidateInputHttpDefinition a -> Int # elem :: Eq a => a -> ValidateInputHttpDefinition a -> Bool # maximum :: Ord a => ValidateInputHttpDefinition a -> a # minimum :: Ord a => ValidateInputHttpDefinition a -> a # sum :: Num a => ValidateInputHttpDefinition a -> a # product :: Num a => ValidateInputHttpDefinition a -> a #
Traversable ValidateInputHttpDefinition Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods traverse :: Applicative f => (a -> f b) -> ValidateInputHttpDefinition a -> f (ValidateInputHttpDefinition b) # sequenceA :: Applicative f => ValidateInputHttpDefinition (f a) -> f (ValidateInputHttpDefinition a) # mapM :: Monad m => (a -> m b) -> ValidateInputHttpDefinition a -> m (ValidateInputHttpDefinition b) # sequence :: Monad m => ValidateInputHttpDefinition (m a) -> m (ValidateInputHttpDefinition a) #
Functor ValidateInputHttpDefinition Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods fmap :: (a -> b) -> ValidateInputHttpDefinition a -> ValidateInputHttpDefinition b # (<$) :: a -> ValidateInputHttpDefinition b -> ValidateInputHttpDefinition a #
FromJSON webhook => FromJSON (ValidateInputHttpDefinition webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (ValidateInputHttpDefinition webhook) Source # parseJSONList :: Value -> Parser [ValidateInputHttpDefinition webhook] Source #
ToJSON webhook => ToJSON (ValidateInputHttpDefinition webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: ValidateInputHttpDefinition webhook -> Value Source # toEncoding :: ValidateInputHttpDefinition webhook -> Encoding Source # toJSONList :: [ValidateInputHttpDefinition webhook] -> Value Source # toEncodingList :: [ValidateInputHttpDefinition webhook] -> Encoding Source #
HasCodec webhook => HasCodec (ValidateInputHttpDefinition webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec (ValidateInputHttpDefinition webhook) Source # listCodecForStringCompatibility :: JSONCodec [ValidateInputHttpDefinition webhook] Source #
Generic (ValidateInputHttpDefinition webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep (ValidateInputHttpDefinition webhook) :: Type -> Type # Methods from :: ValidateInputHttpDefinition webhook -> Rep (ValidateInputHttpDefinition webhook) x # to :: Rep (ValidateInputHttpDefinition webhook) x -> ValidateInputHttpDefinition webhook #
Show webhook => Show (ValidateInputHttpDefinition webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> ValidateInputHttpDefinition webhook -> ShowS # show :: ValidateInputHttpDefinition webhook -> String # showList :: [ValidateInputHttpDefinition webhook] -> ShowS #
NFData webhook => NFData (ValidateInputHttpDefinition webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods rnf :: ValidateInputHttpDefinition webhook -> () #
Eq webhook => Eq (ValidateInputHttpDefinition webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: ValidateInputHttpDefinition webhook -> ValidateInputHttpDefinition webhook -> Bool # (/=) :: ValidateInputHttpDefinition webhook -> ValidateInputHttpDefinition webhook -> Bool #
type Rep (ValidateInputHttpDefinition webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep (ValidateInputHttpDefinition webhook) = D1 ('MetaData "ValidateInputHttpDefinition" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "ValidateInputHttpDefinition" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_vihdUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 webhook) :: S1 ('MetaSel ('Just "_vihdHeaders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [HeaderConf])) :: (S1 ('MetaSel ('Just "_vihdTimeout") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Timeout) :*: S1 ('MetaSel ('Just "_vihdForwardClientHeaders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))))

data ValidateInput webhook Source #

Constructors

VIHttp (ValidateInputHttpDefinition webhook)

Instances

Instances details

Foldable ValidateInput Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods fold :: Monoid m => ValidateInput m -> m # foldMap :: Monoid m => (a -> m) -> ValidateInput a -> m # foldMap' :: Monoid m => (a -> m) -> ValidateInput a -> m # foldr :: (a -> b -> b) -> b -> ValidateInput a -> b # foldr' :: (a -> b -> b) -> b -> ValidateInput a -> b # foldl :: (b -> a -> b) -> b -> ValidateInput a -> b # foldl' :: (b -> a -> b) -> b -> ValidateInput a -> b # foldr1 :: (a -> a -> a) -> ValidateInput a -> a # foldl1 :: (a -> a -> a) -> ValidateInput a -> a # toList :: ValidateInput a -> [a] # null :: ValidateInput a -> Bool # length :: ValidateInput a -> Int # elem :: Eq a => a -> ValidateInput a -> Bool # maximum :: Ord a => ValidateInput a -> a # minimum :: Ord a => ValidateInput a -> a # sum :: Num a => ValidateInput a -> a # product :: Num a => ValidateInput a -> a #
Traversable ValidateInput Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods traverse :: Applicative f => (a -> f b) -> ValidateInput a -> f (ValidateInput b) # sequenceA :: Applicative f => ValidateInput (f a) -> f (ValidateInput a) # mapM :: Monad m => (a -> m b) -> ValidateInput a -> m (ValidateInput b) # sequence :: Monad m => ValidateInput (m a) -> m (ValidateInput a) #
Functor ValidateInput Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods fmap :: (a -> b) -> ValidateInput a -> ValidateInput b # (<$) :: a -> ValidateInput b -> ValidateInput a #
FromJSON webhook => FromJSON (ValidateInput webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (ValidateInput webhook) Source # parseJSONList :: Value -> Parser [ValidateInput webhook] Source #
ToJSON webhook => ToJSON (ValidateInput webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: ValidateInput webhook -> Value Source # toEncoding :: ValidateInput webhook -> Encoding Source # toJSONList :: [ValidateInput webhook] -> Value Source # toEncodingList :: [ValidateInput webhook] -> Encoding Source #
(HasCodec webhook, Typeable webhook) => HasCodec (ValidateInput webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec (ValidateInput webhook) Source # listCodecForStringCompatibility :: JSONCodec [ValidateInput webhook] Source #
Generic (ValidateInput webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Associated Types type Rep (ValidateInput webhook) :: Type -> Type # Methods from :: ValidateInput webhook -> Rep (ValidateInput webhook) x # to :: Rep (ValidateInput webhook) x -> ValidateInput webhook #
Show webhook => Show (ValidateInput webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods showsPrec :: Int -> ValidateInput webhook -> ShowS # show :: ValidateInput webhook -> String # showList :: [ValidateInput webhook] -> ShowS #
NFData webhook => NFData (ValidateInput webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods rnf :: ValidateInput webhook -> () #
Eq webhook => Eq (ValidateInput webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods (==) :: ValidateInput webhook -> ValidateInput webhook -> Bool # (/=) :: ValidateInput webhook -> ValidateInput webhook -> Bool #
type Rep (ValidateInput webhook) Source #
Instance details Defined in Hasura.RQL.Types.Permission type Rep (ValidateInput webhook) = D1 ('MetaData "ValidateInput" "Hasura.RQL.Types.Permission" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "VIHttp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ValidateInputHttpDefinition webhook))))

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 => FromJSON (SelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (SelPerm b) Source # parseJSONList :: Value -> Parser [SelPerm b] Source #
Backend b => ToJSON (SelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: SelPerm b -> Value Source # toEncoding :: SelPerm b -> Encoding Source # toJSONList :: [SelPerm b] -> Value Source # toEncodingList :: [SelPerm b] -> Encoding Source #
Backend b => HasCodec (SelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec (SelPerm b) Source # listCodecForStringCompatibility :: JSONCodec [SelPerm b] Source #
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 => 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 #
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 => FromJSON (PermDef b SelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b SelPerm) Source # parseJSONList :: Value -> Parser [PermDef b SelPerm] Source #
Backend b => FromJSON (PermDefPermission b SelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b SelPerm) Source # parseJSONList :: Value -> Parser [PermDefPermission b SelPerm] Source #
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 dcValidateInput :: Maybe (ValidateInput InputWebhook)

Instances

Instances details

Backend b => FromJSON (DelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (DelPerm b) Source # parseJSONList :: Value -> Parser [DelPerm b] Source #
Backend b => ToJSON (DelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: DelPerm b -> Value Source # toEncoding :: DelPerm b -> Encoding Source # toJSONList :: [DelPerm b] -> Value Source # toEncodingList :: [DelPerm b] -> Encoding Source #
Backend b => HasCodec (DelPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec (DelPerm b) Source # listCodecForStringCompatibility :: JSONCodec [DelPerm b] Source #
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 => 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 #
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 => FromJSON (PermDef b DelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b DelPerm) Source # parseJSONList :: Value -> Parser [PermDef b DelPerm] Source #
Backend b => FromJSON (PermDefPermission b DelPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b DelPerm) Source # parseJSONList :: Value -> Parser [PermDefPermission b DelPerm] Source #
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) :: S1 ('MetaSel ('Just "dcValidateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ValidateInput InputWebhook))))))

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 ucValidateInput :: Maybe (ValidateInput InputWebhook)

Instances

Instances details

Backend b => FromJSON (UpdPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (UpdPerm b) Source # parseJSONList :: Value -> Parser [UpdPerm b] Source #
Backend b => ToJSON (UpdPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods toJSON :: UpdPerm b -> Value Source # toEncoding :: UpdPerm b -> Encoding Source # toJSONList :: [UpdPerm b] -> Value Source # toEncodingList :: [UpdPerm b] -> Encoding Source #
Backend b => HasCodec (UpdPerm b) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods codec :: JSONCodec (UpdPerm b) Source # listCodecForStringCompatibility :: JSONCodec [UpdPerm b] Source #
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 => 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 #
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 => FromJSON (PermDef b UpdPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDef b UpdPerm) Source # parseJSONList :: Value -> Parser [PermDef b UpdPerm] Source #
Backend b => FromJSON (PermDefPermission b UpdPerm) Source #
Instance details Defined in Hasura.RQL.Types.Permission Methods parseJSON :: Value -> Parser (PermDefPermission b UpdPerm) Source # parseJSONList :: Value -> Parser [PermDefPermission b UpdPerm] Source #
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) :*: S1 ('MetaSel ('Just "ucValidateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ValidateInput InputWebhook)))))))

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 #