Copyright	(c) Soostone Inc 2020
License	AllRightsReserved
Stability	experimental
Portability	POSIX
Safe Haskell	Safe-Inferred
Language	GHC2021

Napkin.Types.Commands.Grant

Description

Documentation

data Privilege #

Constructors

Select
Insert
Update
Delete
References
Usage
Create
Temporary
Temp
AllPrivileges

Instances

Instances details

Data Privilege #
Instance details Defined in Napkin.Types.Commands.Grant Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Privilege -> c Privilege # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Privilege # toConstr :: Privilege -> Constr # dataTypeOf :: Privilege -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Privilege) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Privilege) # gmapT :: (forall b. Data b => b -> b) -> Privilege -> Privilege # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Privilege -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Privilege -> r # gmapQ :: (forall d. Data d => d -> u) -> Privilege -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Privilege -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Privilege -> m Privilege # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Privilege -> m Privilege # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Privilege -> m Privilege #
Generic Privilege #
Instance details Defined in Napkin.Types.Commands.Grant Associated Types type Rep Privilege :: Type -> Type # Methods from :: Privilege -> Rep Privilege x # to :: Rep Privilege x -> Privilege #
Show Privilege #
Instance details Defined in Napkin.Types.Commands.Grant Methods showsPrec :: Int -> Privilege -> ShowS # show :: Privilege -> String # showList :: [Privilege] -> ShowS #
Eq Privilege #
Instance details Defined in Napkin.Types.Commands.Grant Methods (==) :: Privilege -> Privilege -> Bool # (/=) :: Privilege -> Privilege -> Bool #
Ord Privilege #
Instance details Defined in Napkin.Types.Commands.Grant Methods compare :: Privilege -> Privilege -> Ordering # (<) :: Privilege -> Privilege -> Bool # (<=) :: Privilege -> Privilege -> Bool # (>) :: Privilege -> Privilege -> Bool # (>=) :: Privilege -> Privilege -> Bool # max :: Privilege -> Privilege -> Privilege # min :: Privilege -> Privilege -> Privilege #
RenderSql Privilege MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Privilege -> Doc #
RenderSql Privilege Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Privilege -> Doc #
RenderSql Privilege Redshift #
Instance details Defined in Napkin.Render.Redshift Methods renderSql :: Redshift -> Privilege -> Doc #
type Rep Privilege #
Instance details Defined in Napkin.Types.Commands.Grant type Rep Privilege = D1 ('MetaData "Privilege" "Napkin.Types.Commands.Grant" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'False) (((C1 ('MetaCons "Select" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Insert" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Update" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Delete" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "References" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Usage" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Create" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Temporary" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Temp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AllPrivileges" 'PrefixI 'False) (U1 :: Type -> Type)))))

data Schema #

Instances

Instances details

Data Schema #

Instance details

Defined in Napkin.Types.Commands.Grant

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Schema -> c Schema #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Schema #

toConstr :: Schema -> Constr #

dataTypeOf :: Schema -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Schema) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Schema) #

gmapT :: (forall b. Data b => b -> b) -> Schema -> Schema #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Schema -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Schema -> r #

gmapQ :: (forall d. Data d => d -> u) -> Schema -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Schema -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Schema -> m Schema #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Schema -> m Schema #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Schema -> m Schema #

data Database #

Instances

Instances details

Data Database #

Instance details

Defined in Napkin.Types.Commands.Grant

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Database -> c Database #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Database #

toConstr :: Database -> Constr #

dataTypeOf :: Database -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Database) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Database) #

gmapT :: (forall b. Data b => b -> b) -> Database -> Database #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Database -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Database -> r #

gmapQ :: (forall d. Data d => d -> u) -> Database -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Database -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Database -> m Database #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Database -> m Database #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Database -> m Database #

data Object #

Constructors

ObjectTable (Ref Table)
ObjectSchema (Ref Schema)
ObjectDatabase (Ref Database)

Instances

Instances details

Data Object #
Instance details Defined in Napkin.Types.Commands.Grant Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Object -> c Object # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Object # toConstr :: Object -> Constr # dataTypeOf :: Object -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Object) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Object) # gmapT :: (forall b. Data b => b -> b) -> Object -> Object # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r # gmapQ :: (forall d. Data d => d -> u) -> Object -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Object -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Object -> m Object # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object #
Generic Object #
Instance details Defined in Napkin.Types.Commands.Grant Associated Types type Rep Object :: Type -> Type # Methods from :: Object -> Rep Object x # to :: Rep Object x -> Object #
Show Object #
Instance details Defined in Napkin.Types.Commands.Grant Methods showsPrec :: Int -> Object -> ShowS # show :: Object -> String # showList :: [Object] -> ShowS #
Eq Object #
Instance details Defined in Napkin.Types.Commands.Grant Methods (==) :: Object -> Object -> Bool # (/=) :: Object -> Object -> Bool #
Ord Object #
Instance details Defined in Napkin.Types.Commands.Grant Methods compare :: Object -> Object -> Ordering # (<) :: Object -> Object -> Bool # (<=) :: Object -> Object -> Bool # (>) :: Object -> Object -> Bool # (>=) :: Object -> Object -> Bool # max :: Object -> Object -> Object # min :: Object -> Object -> Object #
RenderSql Object MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Object -> Doc #
RenderSql Object Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Object -> Doc #
RenderSql Object Redshift #
Instance details Defined in Napkin.Render.Redshift Methods renderSql :: Redshift -> Object -> Doc #
RenderSql Object Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Object -> Doc #
type Rep Object #
Instance details Defined in Napkin.Types.Commands.Grant type Rep Object = D1 ('MetaData "Object" "Napkin.Types.Commands.Grant" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'False) (C1 ('MetaCons "ObjectTable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ref Table))) :+: (C1 ('MetaCons "ObjectSchema" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ref Schema))) :+: C1 ('MetaCons "ObjectDatabase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ref Database)))))

newtype GrantOption #

Constructors

GrantOption
Fields unGrantOption :: Bool

Instances

Instances details

Data GrantOption #
Instance details Defined in Napkin.Types.Commands.Grant Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GrantOption -> c GrantOption # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GrantOption # toConstr :: GrantOption -> Constr # dataTypeOf :: GrantOption -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GrantOption) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GrantOption) # gmapT :: (forall b. Data b => b -> b) -> GrantOption -> GrantOption # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GrantOption -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GrantOption -> r # gmapQ :: (forall d. Data d => d -> u) -> GrantOption -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> GrantOption -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> GrantOption -> m GrantOption # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GrantOption -> m GrantOption # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GrantOption -> m GrantOption #
Generic GrantOption #
Instance details Defined in Napkin.Types.Commands.Grant Associated Types type Rep GrantOption :: Type -> Type # Methods from :: GrantOption -> Rep GrantOption x # to :: Rep GrantOption x -> GrantOption #
Show GrantOption #
Instance details Defined in Napkin.Types.Commands.Grant Methods showsPrec :: Int -> GrantOption -> ShowS # show :: GrantOption -> String # showList :: [GrantOption] -> ShowS #
Eq GrantOption #
Instance details Defined in Napkin.Types.Commands.Grant Methods (==) :: GrantOption -> GrantOption -> Bool # (/=) :: GrantOption -> GrantOption -> Bool #
type Rep GrantOption #
Instance details Defined in Napkin.Types.Commands.Grant type Rep GrantOption = D1 ('MetaData "GrantOption" "Napkin.Types.Commands.Grant" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'True) (C1 ('MetaCons "GrantOption" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGrantOption") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

data Actor #

Constructors

User Text GrantOption
Group Text
Public

Instances

Instances details

Data Actor #
Instance details Defined in Napkin.Types.Commands.Grant Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Actor -> c Actor # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Actor # toConstr :: Actor -> Constr # dataTypeOf :: Actor -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Actor) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Actor) # gmapT :: (forall b. Data b => b -> b) -> Actor -> Actor # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Actor -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Actor -> r # gmapQ :: (forall d. Data d => d -> u) -> Actor -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Actor -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Actor -> m Actor # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Actor -> m Actor # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Actor -> m Actor #
Generic Actor #
Instance details Defined in Napkin.Types.Commands.Grant Associated Types type Rep Actor :: Type -> Type # Methods from :: Actor -> Rep Actor x # to :: Rep Actor x -> Actor #
Show Actor #
Instance details Defined in Napkin.Types.Commands.Grant Methods showsPrec :: Int -> Actor -> ShowS # show :: Actor -> String # showList :: [Actor] -> ShowS #
Eq Actor #
Instance details Defined in Napkin.Types.Commands.Grant Methods (==) :: Actor -> Actor -> Bool # (/=) :: Actor -> Actor -> Bool #
RenderSql Actor MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Actor -> Doc #
RenderSql Actor Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Actor -> Doc #
RenderSql Actor Redshift #
Instance details Defined in Napkin.Render.Redshift Methods renderSql :: Redshift -> Actor -> Doc #
type Rep Actor #
Instance details Defined in Napkin.Types.Commands.Grant type Rep Actor = D1 ('MetaData "Actor" "Napkin.Types.Commands.Grant" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'False) (C1 ('MetaCons "User" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GrantOption)) :+: (C1 ('MetaCons "Group" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Public" 'PrefixI 'False) (U1 :: Type -> Type)))

data Grant #

Constructors

Grant
Fields grantPrivs :: [Privilege] grantObjects :: [Object] grantActors :: [Actor]

Instances

Instances details

Generic Grant #
Instance details Defined in Napkin.Types.Commands.Grant Associated Types type Rep Grant :: Type -> Type # Methods from :: Grant -> Rep Grant x # to :: Rep Grant x -> Grant #
Show Grant #
Instance details Defined in Napkin.Types.Commands.Grant Methods showsPrec :: Int -> Grant -> ShowS # show :: Grant -> String # showList :: [Grant] -> ShowS #
Eq Grant #
Instance details Defined in Napkin.Types.Commands.Grant Methods (==) :: Grant -> Grant -> Bool # (/=) :: Grant -> Grant -> Bool #
RenderSql Grant MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Grant -> Doc #
RenderSql Grant Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Grant -> Doc #
RenderSql Grant Redshift #
Instance details Defined in Napkin.Render.Redshift Methods renderSql :: Redshift -> Grant -> Doc #
Command Grant () BigQuery #
Instance details Defined in Napkin.Run.BigQuery Methods execCommand :: MonadNapkin BigQuery m => BackendConn BigQuery -> Grant -> m () #
Command Grant () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> Grant -> m () #
Command Grant () Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: MonadNapkin Postgres m => BackendConn Postgres -> Grant -> m () #
Command Grant () Redshift #
Instance details Defined in Napkin.Run.Redshift Methods execCommand :: MonadNapkin Redshift m => BackendConn Redshift -> Grant -> m () #
Command Grant () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> Grant -> m () #
type Rep Grant #
Instance details Defined in Napkin.Types.Commands.Grant type Rep Grant = D1 ('MetaData "Grant" "Napkin.Types.Commands.Grant" "napkin-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" 'False) (C1 ('MetaCons "Grant" 'PrefixI 'True) (S1 ('MetaSel ('Just "grantPrivs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Privilege]) :: (S1 ('MetaSel ('Just "grantObjects") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Object]) :: S1 ('MetaSel ('Just "grantActors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Actor]))))