Safe Haskell | None |
---|---|
Language | GHC2021 |
Documentation
Instances
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 # | |||||
Generic Privilege # | |||||
Defined in Napkin.Types.Commands.Grant
| |||||
Show Privilege # | |||||
Eq Privilege # | |||||
Ord Privilege # | |||||
Defined in Napkin.Types.Commands.Grant | |||||
RenderSql Privilege MsSql # | |||||
RenderSql Privilege Postgres # | |||||
RenderSql Privilege Redshift # | |||||
type Rep Privilege # | |||||
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))))) |
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
newtype GrantOption #
Instances
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 # | |||||
Generic GrantOption # | |||||
Defined in Napkin.Types.Commands.Grant
from :: GrantOption -> Rep GrantOption x # to :: Rep GrantOption x -> GrantOption # | |||||
Show GrantOption # | |||||
Defined in Napkin.Types.Commands.Grant showsPrec :: Int -> GrantOption -> ShowS # show :: GrantOption -> String # showList :: [GrantOption] -> ShowS # | |||||
Eq GrantOption # | |||||
Defined in Napkin.Types.Commands.Grant (==) :: GrantOption -> GrantOption -> Bool # (/=) :: GrantOption -> GrantOption -> Bool # | |||||
type Rep GrantOption # | |||||
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))) |
Instances
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 # | |||||
Generic Actor # | |||||
Defined in Napkin.Types.Commands.Grant
| |||||
Show Actor # | |||||
Eq Actor # | |||||
RenderSql Actor MsSql # | |||||
RenderSql Actor Postgres # | |||||
RenderSql Actor Redshift # | |||||
type Rep Actor # | |||||
Defined in Napkin.Types.Commands.Grant type Rep Actor = D1 ('MetaData "Actor" "Napkin.Types.Commands.Grant" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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))) |
Grant | |
|
Instances
Generic Grant # | |||||
Defined in Napkin.Types.Commands.Grant
| |||||
Show Grant # | |||||
Eq Grant # | |||||
RenderSql Grant MsSql # | |||||
RenderSql Grant Postgres # | |||||
RenderSql Grant Redshift # | |||||
Command Grant () BigQuery # | |||||
Defined in Napkin.Run.BigQuery execCommand :: MonadNapkin BigQuery m => BackendConn BigQuery -> Grant -> m () # | |||||
Command Grant () MsSql # | |||||
Defined in Napkin.Run.MsSql execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> Grant -> m () # | |||||
Command Grant () Postgres # | |||||
Defined in Napkin.Run.Postgres execCommand :: MonadNapkin Postgres m => BackendConn Postgres -> Grant -> m () # | |||||
Command Grant () Redshift # | |||||
Defined in Napkin.Run.Redshift execCommand :: MonadNapkin Redshift m => BackendConn Redshift -> Grant -> m () # | |||||
Command Grant () Sqlite # | |||||
Defined in Napkin.Run.Sqlite execCommand :: MonadNapkin Sqlite m => BackendConn Sqlite -> Grant -> m () # | |||||
type Rep Grant # | |||||
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])))) |