Documentation

newtype DMLP1T m a Source #

runDMLP1T :: DMLP1T m a -> m (a, Seq PrepArg) Source #

askPermInfo :: UserInfoM m => Lens' (RolePermInfo ('Postgres 'Vanilla)) (Maybe c) -> TableInfo ('Postgres 'Vanilla) -> m (Maybe c) Source #

getPermInfoMaybe :: RoleName -> Lens' (RolePermInfo ('Postgres 'Vanilla)) (Maybe c) -> TableInfo ('Postgres 'Vanilla) -> Maybe c Source #

assertAskPermInfo :: (UserInfoM m, QErrM m) => PermType -> Lens' (RolePermInfo ('Postgres 'Vanilla)) (Maybe c) -> TableInfo ('Postgres 'Vanilla) -> m c Source #

isTabUpdatable :: RoleName -> TableInfo ('Postgres 'Vanilla) -> Bool Source #

askInsPermInfo :: (UserInfoM m, QErrM m) => TableInfo ('Postgres 'Vanilla) -> m (InsPermInfo ('Postgres 'Vanilla)) Source #

askSelPermInfo :: (UserInfoM m, QErrM m) => TableInfo ('Postgres 'Vanilla) -> m (SelPermInfo ('Postgres 'Vanilla)) Source #

askUpdPermInfo :: (UserInfoM m, QErrM m) => TableInfo ('Postgres 'Vanilla) -> m (UpdPermInfo ('Postgres 'Vanilla)) Source #

askDelPermInfo :: (UserInfoM m, QErrM m) => TableInfo ('Postgres 'Vanilla) -> m (DelPermInfo ('Postgres 'Vanilla)) Source #

verifyAsrns :: MonadError QErr m => [a -> m ()] -> [a] -> m () Source #

checkRetCols :: (UserInfoM m, QErrM m) => FieldInfoMap (FieldInfo ('Postgres 'Vanilla)) -> SelPermInfo ('Postgres 'Vanilla) -> [PGCol] -> m [ColumnInfo ('Postgres 'Vanilla)] Source #

checkSelOnCol :: (UserInfoM m, QErrM m) => SelPermInfo ('Postgres 'Vanilla) -> Column ('Postgres 'Vanilla) -> m () Source #

checkPermOnCol :: (UserInfoM m, QErrM m) => PermType -> HashSet (Column ('Postgres 'Vanilla)) -> Column ('Postgres 'Vanilla) -> m () Source #

checkSelectPermOnScalarComputedField :: (UserInfoM m, QErrM m) => SelPermInfo ('Postgres 'Vanilla) -> ComputedFieldName -> m () Source #

valueParserWithCollectableType :: MonadError QErr m => (ColumnType ('Postgres 'Vanilla) -> Value -> m SQLExp) -> CollectableType (ColumnType ('Postgres 'Vanilla)) -> Value -> m SQLExp Source #

binRHSBuilder :: QErrM m => ColumnType ('Postgres 'Vanilla) -> Value -> DMLP1T m SQLExp Source #

fetchRelTabInfo :: (QErrM m, TableInfoRM ('Postgres 'Vanilla) m) => TableName ('Postgres 'Vanilla) -> m (TableInfo ('Postgres 'Vanilla)) Source #

askTableInfoSource :: (QErrM m, TableInfoRM ('Postgres 'Vanilla) m) => TableName ('Postgres 'Vanilla) -> m (TableInfo ('Postgres 'Vanilla)) Source #

data SessionVariableBuilder m Source #

fetchRelDet :: (UserInfoM m, QErrM m, TableInfoRM ('Postgres 'Vanilla) m) => RelName -> TableName ('Postgres 'Vanilla) -> m (FieldInfoMap (FieldInfo ('Postgres 'Vanilla)), SelPermInfo ('Postgres 'Vanilla)) Source #

checkOnColExp :: (UserInfoM m, QErrM m, TableInfoRM ('Postgres 'Vanilla) m) => SelPermInfo ('Postgres 'Vanilla) -> SessionVariableBuilder m -> AnnBoolExpFldSQL ('Postgres 'Vanilla) -> m (AnnBoolExpFldSQL ('Postgres 'Vanilla)) Source #

convAnnBoolExpPartialSQL :: Applicative f => SessionVariableBuilder f -> AnnBoolExpPartialSQL ('Postgres 'Vanilla) -> f (AnnBoolExpSQL ('Postgres 'Vanilla)) Source #

convAnnColumnCaseBoolExpPartialSQL :: Applicative f => SessionVariableBuilder f -> AnnColumnCaseBoolExpPartialSQL ('Postgres 'Vanilla) -> f (AnnColumnCaseBoolExp ('Postgres 'Vanilla) (SQLExpression ('Postgres 'Vanilla))) Source #

convPartialSQLExp :: Applicative f => SessionVariableBuilder f -> PartialSQLExp ('Postgres 'Vanilla) -> f (SQLExpression ('Postgres 'Vanilla)) Source #

sessVarFromCurrentSetting :: Applicative f => SessionVariableBuilder f Source #

sessVarFromCurrentSetting' :: CollectableType PGScalarType -> SessionVariable -> SQLExp Source #

fromCurrentSession :: SQLExp -> SessionVariable -> SQLExp Source #

currentSession :: SQLExp Source #

checkSelPerm :: (UserInfoM m, QErrM m, TableInfoRM ('Postgres 'Vanilla) m) => SelPermInfo ('Postgres 'Vanilla) -> SessionVariableBuilder m -> AnnBoolExpSQL ('Postgres 'Vanilla) -> m (AnnBoolExpSQL ('Postgres 'Vanilla)) Source #

convBoolExp :: (UserInfoM m, QErrM m, TableInfoRM ('Postgres 'Vanilla) m) => FieldInfoMap (FieldInfo ('Postgres 'Vanilla)) -> SelPermInfo ('Postgres 'Vanilla) -> BoolExp ('Postgres 'Vanilla) -> SessionVariableBuilder m -> TableName ('Postgres 'Vanilla) -> ValueParser ('Postgres 'Vanilla) m (SQLExpression ('Postgres 'Vanilla)) -> m (AnnBoolExpSQL ('Postgres 'Vanilla)) Source #

validateHeaders :: (UserInfoM m, QErrM m) => HashSet Text -> m () Source #

onlyPositiveInt :: MonadError QErr m => Int -> m () Source #