Copyright	(c) Soostone Inc 2020
License	AllRightsReserved
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Napkin.Types.Commands.Grant

Description

Documentation

data Privilege #

Constructors

Select
Insert
Update
Delete
References
Usage
Create
Temporary
Temp
AllPrivileges

Instances

Instances details

Eq Privilege #
Instance details Defined in Napkin.Types.Commands.Grant Methods (==) :: Privilege -> Privilege -> Bool # (/=) :: Privilege -> Privilege -> Bool #
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 #
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 #
Show Privilege #
Instance details Defined in Napkin.Types.Commands.Grant Methods showsPrec :: Int -> Privilege -> ShowS # show :: Privilege -> String # showList :: [Privilege] -> ShowS #
RenderSql Privilege Redshift #
Instance details Defined in Napkin.Render.Redshift Methods renderSql :: Redshift -> Privilege -> Doc #
RenderSql Privilege Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Privilege -> Doc #

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

Eq Object #
Instance details Defined in Napkin.Types.Commands.Grant Methods (==) :: Object -> Object -> Bool # (/=) :: Object -> Object -> Bool #
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 #
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 #
Show Object #
Instance details Defined in Napkin.Types.Commands.Grant Methods showsPrec :: Int -> Object -> ShowS # show :: Object -> String # showList :: [Object] -> ShowS #
RenderSql Object Sqlite #
Instance details Defined in Napkin.Render.Sqlite Methods renderSql :: Sqlite -> Object -> Doc #
RenderSql Object Redshift #
Instance details Defined in Napkin.Render.Redshift Methods renderSql :: Redshift -> Object -> Doc #
RenderSql Object Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Object -> Doc #

newtype GrantOption #

Constructors

GrantOption
Fields _unGrantOption :: Bool

Instances

Instances details

Eq GrantOption #
Instance details Defined in Napkin.Types.Commands.Grant Methods (==) :: GrantOption -> GrantOption -> Bool # (/=) :: GrantOption -> GrantOption -> Bool #
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 #
Show GrantOption #
Instance details Defined in Napkin.Types.Commands.Grant Methods showsPrec :: Int -> GrantOption -> ShowS # show :: GrantOption -> String # showList :: [GrantOption] -> ShowS #

withGrant :: GrantOption #

withoutGrant :: GrantOption #

data Actor #

Constructors

User Text GrantOption
Group Text
Public

Instances

Instances details

Eq Actor #
Instance details Defined in Napkin.Types.Commands.Grant Methods (==) :: Actor -> Actor -> Bool # (/=) :: Actor -> Actor -> Bool #
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 #
Show Actor #
Instance details Defined in Napkin.Types.Commands.Grant Methods showsPrec :: Int -> Actor -> ShowS # show :: Actor -> String # showList :: [Actor] -> ShowS #
RenderSql Actor Redshift #
Instance details Defined in Napkin.Render.Redshift Methods renderSql :: Redshift -> Actor -> Doc #
RenderSql Actor Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Actor -> Doc #

data Grant #

Constructors

Grant
Fields _grantPrivs :: [Privilege] _grantObjects :: [Object] _grantActors :: [Actor]

Instances

Instances details

RenderSql Grant Redshift #
Instance details Defined in Napkin.Render.Redshift Methods renderSql :: Redshift -> Grant -> Doc #
RenderSql Grant Postgres #
Instance details Defined in Napkin.Render.Postgres Methods renderSql :: Postgres -> Grant -> Doc #
Command Grant () Sqlite #
Instance details Defined in Napkin.Run.Sqlite Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> Grant -> m () #
Command Grant () Redshift #
Instance details Defined in Napkin.Run.Redshift Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Redshift -> Grant -> m () #
Command Grant () Postgres #
Instance details Defined in Napkin.Run.Postgres Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> Grant -> m () #
Command Grant () BigQuery #
Instance details Defined in Napkin.Run.BigQuery Methods execCommand :: (Katip m, MonadQueryStats m) => BackendConn BigQuery -> Grant -> m () #

grantPrivs :: Lens' Grant [Privilege] #

grantObjects :: Lens' Grant [Object] #

grantActors :: Lens' Grant [Actor] #

unGrantOption :: Iso' GrantOption Bool #