Copyright | (c) Soostone Inc 2020 |
---|---|
License | AllRightsReserved |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
Instances
Eq Privilege # | |
Data Privilege # | |
Defined in Napkin.Types.Commands.Grant 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 # | |
Defined in Napkin.Types.Commands.Grant | |
Show Privilege # | |
RenderSql Privilege Redshift # | |
RenderSql Privilege Postgres # | |
Instances
Data Schema # | |
Defined in Napkin.Types.Commands.Grant 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 # |
Instances
Data Database # | |
Defined in Napkin.Types.Commands.Grant 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 # |
Instances
Eq Object # | |
Data Object # | |
Defined in Napkin.Types.Commands.Grant 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 # | |
Show Object # | |
RenderSql Object Sqlite # | |
RenderSql Object Redshift # | |
RenderSql Object Postgres # | |
newtype GrantOption #
Instances
Eq GrantOption # | |
Defined in Napkin.Types.Commands.Grant (==) :: GrantOption -> GrantOption -> Bool # (/=) :: GrantOption -> GrantOption -> Bool # | |
Data GrantOption # | |
Defined in Napkin.Types.Commands.Grant 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 # | |
Defined in Napkin.Types.Commands.Grant showsPrec :: Int -> GrantOption -> ShowS # show :: GrantOption -> String # showList :: [GrantOption] -> ShowS # |
Instances
Eq Actor # | |
Data Actor # | |
Defined in Napkin.Types.Commands.Grant 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 # 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 # | |
RenderSql Actor Redshift # | |
RenderSql Actor Postgres # | |
Grant | |
|
Instances
RenderSql Grant Redshift # | |
RenderSql Grant Postgres # | |
Command Grant () Sqlite # | |
Defined in Napkin.Run.Sqlite execCommand :: (Katip m, MonadQueryStats m) => BackendConn Sqlite -> Grant -> m () # | |
Command Grant () Redshift # | |
Defined in Napkin.Run.Redshift execCommand :: (Katip m, MonadQueryStats m) => BackendConn Redshift -> Grant -> m () # | |
Command Grant () Postgres # | |
Defined in Napkin.Run.Postgres execCommand :: (Katip m, MonadQueryStats m) => BackendConn Postgres -> Grant -> m () # | |
Command Grant () BigQuery # | |
Defined in Napkin.Run.BigQuery execCommand :: (Katip m, MonadQueryStats m) => BackendConn BigQuery -> Grant -> m () # |
grantPrivs :: Lens' Grant [Privilege] #
grantObjects :: Lens' Grant [Object] #
grantActors :: Lens' Grant [Actor] #