Safe Haskell	None
Language	GHC2024

Napkin.Types.MsSql

Documentation

data MsSql #

Instances

Instances details

Data MsSql #

Instance details

Defined in Napkin.Types.MsSql

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MsSql -> c MsSql #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MsSql #

toConstr :: MsSql -> Constr #

dataTypeOf :: MsSql -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MsSql) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MsSql) #

gmapT :: (forall b. Data b => b -> b) -> MsSql -> MsSql #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MsSql -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MsSql -> r #

gmapQ :: (forall d. Data d => d -> u) -> MsSql -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MsSql -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MsSql -> m MsSql #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MsSql -> m MsSql #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MsSql -> m MsSql #

Backend MsSql #

Instance details

Defined in Napkin.Run.MsSql

Associated Types

data BackendConn MsSql
Instance details Defined in Napkin.Run.MsSql data BackendConn MsSql = MsSqlConn { connectionString :: ConnectionString msSqlConn :: Pool Connection }

Methods

injectRunInfo :: RunId -> TaskId -> BackendConn MsSql -> BackendConn MsSql #

backendConnectionString :: BackendConn MsSql -> ConnectionString #

backendExecute :: (MonadNapkin MsSql m, RenderSql command MsSql) => BackendConn MsSql -> command -> m () #

backendQuery :: (MonadNapkin MsSql m, RenderSql q MsSql) => BackendConn MsSql -> q -> m [Map Text Value] #

backendCheckTableExists :: MonadNapkin MsSql m => BackendConn MsSql -> Ref Table -> m Bool #

backendGetTableKind :: MonadNapkin MsSql m => BackendConn MsSql -> Ref Table -> m TableKind #

backendGetRelationSchema :: MonadNapkin MsSql m => BackendConn MsSql -> Ref Table -> Relation -> m [BackendSchemaField MsSql] #

backendGetAnnotations :: MonadNapkin MsSql m => BackendConn MsSql -> Ref Table -> m TableAnnotations #

backendAnnotate :: MonadNapkin MsSql m => BackendConn MsSql -> Ref Table -> Annotation -> m () #

backendCreateAs :: (MonadNapkin MsSql m, RenderSql command MsSql, command ~ CreateRelation MsSql) => BackendConn MsSql -> command -> m () #

backendCreate :: (MonadNapkin MsSql m, RenderSql command MsSql, command ~ CreateTableSchema MsSql) => BackendConn MsSql -> command -> m () #

backendCopyTable :: (Default (BackendMeta 'KindTable MsSql), MonadNapkin MsSql m, RenderSql (CreateRelation MsSql) MsSql, RenderSql DeleteRows MsSql, RenderSql InsertInto MsSql) => BackendConn MsSql -> Ref Table -> Ref Table -> TableWriteStrategy -> m () #

backendDrop :: MonadNapkin MsSql m => BackendConn MsSql -> DropRelation -> m () #

backendInsertInto :: (MonadNapkin MsSql m, RenderSql command MsSql, command ~ InsertInto) => BackendConn MsSql -> command -> m () #

backendRename :: MonadNapkin MsSql m => BackendConn MsSql -> RenameRelation -> m () #

backendListTables :: MonadNapkin MsSql m => BackendConn MsSql -> ListTables -> m (Set ListedTable) #

backendNormalize :: MonadNapkin MsSql m => BackendConn MsSql -> NormalizeTableNames -> m (Map (Ref Table) NormalizedTable) #

backendAddColumn :: (MonadNapkin MsSql m, RenderSql command MsSql, command ~ AddColumnToTable) => BackendConn MsSql -> command -> m () #

backendDropColumn :: (MonadNapkin MsSql m, RenderSql command MsSql, command ~ DropColumnFromTable) => BackendConn MsSql -> command -> m () #

RunBackendConn MsSql #

Instance details

Defined in Napkin.Run.MsSql

Methods

runBackendConn :: LogEnv -> DbBackendOptions MsSql -> ConnectionString -> Maybe CredentialsPath -> Maybe AuthPort -> (BackendConn MsSql -> IO a) -> IO a #

BackendName MsSql #

Instance details

Defined in Napkin.Types.MsSql

Methods

backendName :: Text #

NapkinParserDialect MsSql #

Instance details

Defined in Napkin.Types.MsSql

Methods

napkinParserDialect' :: Proxy MsSql -> SQLDialect #

defaultParserDialect' :: Proxy MsSql -> SQLDialect #

simpleSQLParserTargetDialect' :: Proxy MsSql -> Dialect #

BackendOperators MsSql #

Instance details

Defined in Napkin.Revert.MsSql

Methods

binaryOperatorsForBackend :: [NonEmpty Name] #

unaryOperatorsForBackend :: [NonEmpty Name] #

varargsOperatorsForBackend :: [NonEmpty Name] #

customOperatorsForBackend :: Map (CI (NonEmpty Name)) ([ScalarExpr] -> ScalarExpr) #

arrayItemForBackend :: ArrayBase -> Nullability -> ScalarExpr -> ScalarExpr -> ScalarExpr #

arrayValueForBackend :: Maybe TypeExpr -> [ScalarExpr] -> ScalarExpr #

structValueForBackend :: [(ScalarExpr, Maybe Text)] -> Maybe [(Maybe Text, TypeExpr)] -> ScalarExpr #

binaryLiteralForBackend :: ByteString -> ScalarExpr #

intervalForBackend :: ScalarExpr -> ScalarExpr #

setOperatorsForBackend :: UnionType -> (SetOperatorName, SetQuantifier) #

HasBackendSchemaField MsSql #

Instance details

Defined in Napkin.Run.MsSql

Associated Types

data BackendSchemaField MsSql
Instance details Defined in Napkin.Run.MsSql data BackendSchemaField MsSql = MsSqlSchemaField MsSchemaField

Methods

fieldName :: BackendSchemaField MsSql -> Text #

fieldType :: BackendSchemaField MsSql -> Type #

HasBackendQueryStats MsSql #

Instance details

Defined in Napkin.Run.MsSql

Associated Types

data BackendQueryStats MsSql
Instance details Defined in Napkin.Run.MsSql data BackendQueryStats MsSql = BackendQueryStats

Methods

prettyPrint :: BackendQueryStats MsSql -> Maybe Text #

SqlConcat MsSql #

Instance details

Defined in Napkin.Untyped.Ops.Portable.MsSql

Methods

concat :: [SExp] -> SExp #

RenderSql SetTableSchema MsSql #

Instance details

Defined in Napkin.Render.MsSql

Methods

renderSql :: Proxy MsSql -> SetTableSchema -> ME Doc #

RenderSql DropRelation MsSql #

Instance details

Defined in Napkin.Render.MsSql

Methods

renderSql :: Proxy MsSql -> DropRelation -> ME Doc #

RenderSql RenameRelation MsSql #

Instance details

Defined in Napkin.Render.MsSql

Methods

renderSql :: Proxy MsSql -> RenameRelation -> ME Doc #

SimpleTypeName MsSql 'TyBigInt #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyBlob #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyBool #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyChar #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyDate #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyDatetime #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyDecimal #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyDouble #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyInteger #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyReal #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TySmallInt #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyTimestamp #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

SimpleTypeName MsSql 'TyVarChar #

Instance details

Defined in Napkin.Revert.MsSql

Methods

simpleName :: String #

ToHashComponent MsSql MsSqlMaterializedViewMeta #

Instance details

Defined in Napkin.Types.MsSql

Methods

toHashComponent :: MsSqlMaterializedViewMeta -> HashComponent #

RenderSql (CreateRelation MsSql) MsSql #

Instance details

Defined in Napkin.Render.MsSql

Methods

renderSql :: Proxy MsSql -> CreateRelation MsSql -> ME Doc #

FromJSON (YamlBackendMaterializedViewMeta MsSql) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.MSSQL

Methods

parseJSON :: Value -> Parser (YamlBackendMaterializedViewMeta MsSql) #

parseJSONList :: Value -> Parser [YamlBackendMaterializedViewMeta MsSql] #

omittedField :: Maybe (YamlBackendMaterializedViewMeta MsSql) #

FromJSON (YamlBackendTableMeta MsSql) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.MSSQL

Methods

parseJSON :: Value -> Parser (YamlBackendTableMeta MsSql) #

parseJSONList :: Value -> Parser [YamlBackendTableMeta MsSql] #

omittedField :: Maybe (YamlBackendTableMeta MsSql) #

FromJSON (YamlBackendViewMeta MsSql) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.MSSQL

Methods

parseJSON :: Value -> Parser (YamlBackendViewMeta MsSql) #

parseJSONList :: Value -> Parser [YamlBackendViewMeta MsSql] #

omittedField :: Maybe (YamlBackendViewMeta MsSql) #

FromJSON (DbBackendOptions MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

parseJSON :: Value -> Parser (DbBackendOptions MsSql) #

parseJSONList :: Value -> Parser [DbBackendOptions MsSql] #

omittedField :: Maybe (DbBackendOptions MsSql) #

Default (DbBackendOptions MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

def :: DbBackendOptions MsSql #

Generic (DbBackendOptions MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Associated Types

type Rep (DbBackendOptions MsSql)
Instance details Defined in Napkin.Run.MsSql type Rep (DbBackendOptions MsSql) = D1 ('MetaData "DbBackendOptions" "Napkin.Run.MsSql" "napkin-backend-mssql-2.0.0-EFZPeDWCFnaGeagMsxweY2" 'True) (C1 ('MetaCons "MsSqlOptions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

Methods

from :: DbBackendOptions MsSql -> Rep (DbBackendOptions MsSql) x #

to :: Rep (DbBackendOptions MsSql) x -> DbBackendOptions MsSql #

Show (DbBackendOptions MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

showsPrec :: Int -> DbBackendOptions MsSql -> ShowS #

show :: DbBackendOptions MsSql -> String #

showList :: [DbBackendOptions MsSql] -> ShowS #

Eq (DbBackendOptions MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

(==) :: DbBackendOptions MsSql -> DbBackendOptions MsSql -> Bool #

(/=) :: DbBackendOptions MsSql -> DbBackendOptions MsSql -> Bool #

MaybeDefault (YamlBackendMaterializedViewMeta MsSql) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.MSSQL

Methods

defMb :: Maybe (YamlBackendMaterializedViewMeta MsSql) #

MaybeDefault (YamlBackendTableMeta MsSql) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.MSSQL

Methods

defMb :: Maybe (YamlBackendTableMeta MsSql) #

MaybeDefault (YamlBackendViewMeta MsSql) #

Instance details

Defined in Napkin.Spec.Yaml.Types.BackendMeta.MSSQL

Methods

defMb :: Maybe (YamlBackendViewMeta MsSql) #

FromJSON (BackendQueryStats MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

parseJSON :: Value -> Parser (BackendQueryStats MsSql) #

parseJSONList :: Value -> Parser [BackendQueryStats MsSql] #

omittedField :: Maybe (BackendQueryStats MsSql) #

ToJSON (BackendQueryStats MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

toJSON :: BackendQueryStats MsSql -> Value #

toEncoding :: BackendQueryStats MsSql -> Encoding #

toJSONList :: [BackendQueryStats MsSql] -> Value #

toEncodingList :: [BackendQueryStats MsSql] -> Encoding #

omitField :: BackendQueryStats MsSql -> Bool #

Monoid (BackendQueryStats MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

mempty :: BackendQueryStats MsSql #

mappend :: BackendQueryStats MsSql -> BackendQueryStats MsSql -> BackendQueryStats MsSql #

mconcat :: [BackendQueryStats MsSql] -> BackendQueryStats MsSql #

Semigroup (BackendQueryStats MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

(<>) :: BackendQueryStats MsSql -> BackendQueryStats MsSql -> BackendQueryStats MsSql #

sconcat :: NonEmpty (BackendQueryStats MsSql) -> BackendQueryStats MsSql #

stimes :: Integral b => b -> BackendQueryStats MsSql -> BackendQueryStats MsSql #

Generic (BackendQueryStats MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Associated Types

type Rep (BackendQueryStats MsSql)
Instance details Defined in Napkin.Run.MsSql type Rep (BackendQueryStats MsSql) = D1 ('MetaData "BackendQueryStats" "Napkin.Run.MsSql" "napkin-backend-mssql-2.0.0-EFZPeDWCFnaGeagMsxweY2" 'False) (C1 ('MetaCons "BackendQueryStats" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: BackendQueryStats MsSql -> Rep (BackendQueryStats MsSql) x #

to :: Rep (BackendQueryStats MsSql) x -> BackendQueryStats MsSql #

Show (BackendSchemaField MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

showsPrec :: Int -> BackendSchemaField MsSql -> ShowS #

show :: BackendSchemaField MsSql -> String #

showList :: [BackendSchemaField MsSql] -> ShowS #

Show (BackendQueryStats MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

showsPrec :: Int -> BackendQueryStats MsSql -> ShowS #

show :: BackendQueryStats MsSql -> String #

showList :: [BackendQueryStats MsSql] -> ShowS #

Eq (BackendSchemaField MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

(==) :: BackendSchemaField MsSql -> BackendSchemaField MsSql -> Bool #

(/=) :: BackendSchemaField MsSql -> BackendSchemaField MsSql -> Bool #

Eq (BackendQueryStats MsSql) #

Instance details

Defined in Napkin.Run.MsSql

Methods

(==) :: BackendQueryStats MsSql -> BackendQueryStats MsSql -> Bool #

(/=) :: BackendQueryStats MsSql -> BackendQueryStats MsSql -> Bool #

data BackendConn MsSql #

Instance details

Defined in Napkin.Run.MsSql

data BackendConn MsSql = MsSqlConn {

connectionString :: ConnectionString
msSqlConn :: Pool Connection

}

data BackendSpecificEffect MsSql m a #

Instance details

Defined in Napkin.Run.Effects.Languages.Backend.MsSql

data BackendSpecificEffect MsSql m a

type BackendMaterializedViewMeta MsSql #

Instance details

Defined in Napkin.Types.MsSql

type BackendMaterializedViewMeta MsSql = MsSqlMaterializedViewMeta

type BackendTableMeta MsSql #

Instance details

Defined in Napkin.Types.MsSql

type BackendTableMeta MsSql = ()

type BackendViewMeta MsSql #

Instance details

Defined in Napkin.Types.MsSql

type BackendViewMeta MsSql = ()

newtype DbBackendOptions MsSql #

Instance details

Defined in Napkin.Run.MsSql

newtype DbBackendOptions MsSql = MsSqlOptions Natural

data BackendSchemaField MsSql #

Instance details

Defined in Napkin.Run.MsSql

data BackendSchemaField MsSql = MsSqlSchemaField MsSchemaField

data BackendQueryStats MsSql #

Instance details

Defined in Napkin.Run.MsSql

data BackendQueryStats MsSql = BackendQueryStats

type Rep (DbBackendOptions MsSql) #

Instance details

Defined in Napkin.Run.MsSql

type Rep (DbBackendOptions MsSql) = D1 ('MetaData "DbBackendOptions" "Napkin.Run.MsSql" "napkin-backend-mssql-2.0.0-EFZPeDWCFnaGeagMsxweY2" 'True) (C1 ('MetaCons "MsSqlOptions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

type Rep (BackendQueryStats MsSql) #

Instance details

Defined in Napkin.Run.MsSql

type Rep (BackendQueryStats MsSql) = D1 ('MetaData "BackendQueryStats" "Napkin.Run.MsSql" "napkin-backend-mssql-2.0.0-EFZPeDWCFnaGeagMsxweY2" 'False) (C1 ('MetaCons "BackendQueryStats" 'PrefixI 'False) (U1 :: Type -> Type))

type TableMeta = () #

newtype MsSqlMaterializedViewMeta #

Constructors

MsSqlMaterializedViewMeta Void

Instances

Instances details

Show MsSqlMaterializedViewMeta #
Instance details Defined in Napkin.Types.MsSql Methods showsPrec :: Int -> MsSqlMaterializedViewMeta -> ShowS # show :: MsSqlMaterializedViewMeta -> String # showList :: [MsSqlMaterializedViewMeta] -> ShowS #
Eq MsSqlMaterializedViewMeta #
Instance details Defined in Napkin.Types.MsSql Methods (==) :: MsSqlMaterializedViewMeta -> MsSqlMaterializedViewMeta -> Bool # (/=) :: MsSqlMaterializedViewMeta -> MsSqlMaterializedViewMeta -> Bool #
ToHashComponent MsSql MsSqlMaterializedViewMeta #
Instance details Defined in Napkin.Types.MsSql Methods toHashComponent :: MsSqlMaterializedViewMeta -> HashComponent #

data SetTableSchema #

Constructors

SetTableSchema
Fields _rtFrom :: Ref Table _rtNewSchema :: Text

Instances

Instances details

Data SetTableSchema #
Instance details Defined in Napkin.Types.MsSql Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SetTableSchema -> c SetTableSchema # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SetTableSchema # toConstr :: SetTableSchema -> Constr # dataTypeOf :: SetTableSchema -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SetTableSchema) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SetTableSchema) # gmapT :: (forall b. Data b => b -> b) -> SetTableSchema -> SetTableSchema # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SetTableSchema -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SetTableSchema -> r # gmapQ :: (forall d. Data d => d -> u) -> SetTableSchema -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SetTableSchema -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SetTableSchema -> m SetTableSchema # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SetTableSchema -> m SetTableSchema # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SetTableSchema -> m SetTableSchema #
Show SetTableSchema #
Instance details Defined in Napkin.Types.MsSql Methods showsPrec :: Int -> SetTableSchema -> ShowS # show :: SetTableSchema -> String # showList :: [SetTableSchema] -> ShowS #
Eq SetTableSchema #
Instance details Defined in Napkin.Types.MsSql Methods (==) :: SetTableSchema -> SetTableSchema -> Bool # (/=) :: SetTableSchema -> SetTableSchema -> Bool #
RenderSql SetTableSchema MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: Proxy MsSql -> SetTableSchema -> ME Doc #

data MsSchemaField #

Constructors

MsSchemaField
Fields scdName :: Text scdPos :: Int scdType :: Text scdMaxLen :: Maybe Int scdNullable :: ByteString

Instances

Instances details

Show MsSchemaField #
Instance details Defined in Napkin.Types.MsSql Methods showsPrec :: Int -> MsSchemaField -> ShowS # show :: MsSchemaField -> String # showList :: [MsSchemaField] -> ShowS #
Eq MsSchemaField #
Instance details Defined in Napkin.Types.MsSql Methods (==) :: MsSchemaField -> MsSchemaField -> Bool # (/=) :: MsSchemaField -> MsSchemaField -> Bool #