napkin-1.0.0
Safe HaskellNone
LanguageGHC2021

Napkin.Types.Commands.Grant

Documentation

data Privilege #

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 
Instance details

Defined in Napkin.Types.Commands.Grant

type Rep Privilege = D1 ('MetaData "Privilege" "Napkin.Types.Commands.Grant" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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)))))
Show Privilege # 
Instance details

Defined in Napkin.Types.Commands.Grant

Eq Privilege # 
Instance details

Defined in Napkin.Types.Commands.Grant

Ord Privilege # 
Instance details

Defined in Napkin.Types.Commands.Grant

RenderSql Privilege MsSql # 
Instance details

Defined in Napkin.Render.MsSql

Methods

renderSql :: MsSql -> Privilege -> ME Doc #

RenderSql Privilege Postgres # 
Instance details

Defined in Napkin.Render.Postgres

RenderSql Privilege Redshift # 
Instance details

Defined in Napkin.Render.Redshift

type Rep Privilege # 
Instance details

Defined in Napkin.Types.Commands.Grant

type Rep Privilege = D1 ('MetaData "Privilege" "Napkin.Types.Commands.Grant" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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 #

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 
Instance details

Defined in Napkin.Types.Commands.Grant

type Rep Object = D1 ('MetaData "Object" "Napkin.Types.Commands.Grant" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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)))))

Methods

from :: Object -> Rep Object x #

to :: Rep Object x -> Object #

Show Object # 
Instance details

Defined in Napkin.Types.Commands.Grant

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

RenderSql Object MsSql # 
Instance details

Defined in Napkin.Render.MsSql

Methods

renderSql :: MsSql -> Object -> ME Doc #

RenderSql Object Postgres # 
Instance details

Defined in Napkin.Render.Postgres

Methods

renderSql :: Postgres -> Object -> ME Doc #

RenderSql Object Redshift # 
Instance details

Defined in Napkin.Render.Redshift

Methods

renderSql :: Redshift -> Object -> ME Doc #

RenderSql Object Sqlite # 
Instance details

Defined in Napkin.Render.Sqlite

Methods

renderSql :: Sqlite -> Object -> ME Doc #

type Rep Object # 
Instance details

Defined in Napkin.Types.Commands.Grant

type Rep Object = D1 ('MetaData "Object" "Napkin.Types.Commands.Grant" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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

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 
Instance details

Defined in Napkin.Types.Commands.Grant

type Rep GrantOption = D1 ('MetaData "GrantOption" "Napkin.Types.Commands.Grant" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "GrantOption" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGrantOption") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
Show GrantOption # 
Instance details

Defined in Napkin.Types.Commands.Grant

Eq GrantOption # 
Instance details

Defined in Napkin.Types.Commands.Grant

type Rep GrantOption # 
Instance details

Defined in Napkin.Types.Commands.Grant

type Rep GrantOption = D1 ('MetaData "GrantOption" "Napkin.Types.Commands.Grant" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "GrantOption" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGrantOption") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

data Actor #

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 
Instance details

Defined in Napkin.Types.Commands.Grant

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 -> ME Doc #

RenderSql Actor Postgres # 
Instance details

Defined in Napkin.Render.Postgres

Methods

renderSql :: Postgres -> Actor -> ME Doc #

RenderSql Actor Redshift # 
Instance details

Defined in Napkin.Render.Redshift

Methods

renderSql :: Redshift -> Actor -> ME Doc #

type Rep Actor # 
Instance details

Defined in Napkin.Types.Commands.Grant

data Grant #

Constructors

Grant 

Instances

Instances details
Generic Grant # 
Instance details

Defined in Napkin.Types.Commands.Grant

Associated Types

type Rep Grant 
Instance details

Defined in Napkin.Types.Commands.Grant

type Rep Grant = D1 ('MetaData "Grant" "Napkin.Types.Commands.Grant" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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]))))

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 -> ME Doc #

RenderSql Grant Postgres # 
Instance details

Defined in Napkin.Render.Postgres

Methods

renderSql :: Postgres -> Grant -> ME Doc #

RenderSql Grant Redshift # 
Instance details

Defined in Napkin.Render.Redshift

Methods

renderSql :: Redshift -> Grant -> ME Doc #

Command Grant () BigQuery # 
Instance details

Defined in Napkin.Run.BigQuery

Command Grant () MsSql # 
Instance details

Defined in Napkin.Run.MsSql

Command Grant () Postgres # 
Instance details

Defined in Napkin.Run.Postgres

Command Grant () Redshift # 
Instance details

Defined in Napkin.Run.Redshift

Command Grant () Sqlite # 
Instance details

Defined in Napkin.Run.Sqlite

type Rep Grant # 
Instance details

Defined in Napkin.Types.Commands.Grant

type Rep Grant = D1 ('MetaData "Grant" "Napkin.Types.Commands.Grant" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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]))))