Copyright	(c) Soostone Inc 2022
License	AllRightsReserved
Stability	experimental
Portability	POSIX
Safe Haskell	Safe-Inferred
Language	GHC2021

Napkin.Types.MsSql

Description

Documentation

data MsSql #

Constructors

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 #
Show MsSql #
Instance details Defined in Napkin.Types.MsSql Methods showsPrec :: Int -> MsSql -> ShowS # show :: MsSql -> String # showList :: [MsSql] -> ShowS #
Eq MsSql #
Instance details Defined in Napkin.Types.MsSql Methods (==) :: MsSql -> MsSql -> Bool # (/=) :: MsSql -> MsSql -> Bool #
Ord MsSql #
Instance details Defined in Napkin.Types.MsSql Methods compare :: MsSql -> MsSql -> Ordering # (<) :: MsSql -> MsSql -> Bool # (<=) :: MsSql -> MsSql -> Bool # (>) :: MsSql -> MsSql -> Bool # (>=) :: MsSql -> MsSql -> Bool # max :: MsSql -> MsSql -> MsSql # min :: MsSql -> MsSql -> MsSql #
Backend MsSql #
Instance details Defined in Napkin.Run.MsSql Associated Types data BackendConn MsSql # Methods backendQuery :: (MonadNapkin MsSql m, RenderSql q MsSql) => BackendConn MsSql -> q -> m [Map Text Value] # backendConnectionString :: BackendConn MsSql -> ConnectionString #
RunBackendEffect MsSql #
Instance details Defined in Napkin.Run.Effects.Interpreters.Backend.MsSql Methods runBackendEffectReal :: forall (r :: EffectRow) a. (Members (Core MsSql) r, Member (Embed IO) r) => BackendConn MsSql -> Sem (BackendSpecificEffect MsSql ': r) a -> Sem r a # runBackendEffectFake :: forall (r :: EffectRow) a. (Members (Core MsSql) r, Member (Embed IO) r) => Sem (BackendSpecificEffect MsSql ': r) a -> Sem r a #
ReifiesBackend MsSql #
Instance details Defined in Napkin.Types.MsSql Methods reifyBackend :: MsSql #
RunBackendConn MsSql #
Instance details Defined in Napkin.Run.MsSql Methods runBackendConn :: LogEnv -> DbBackendOptions MsSql -> ConnectionString -> AppName -> Maybe CredentialsPath -> SpecFile -> Maybe AuthPort -> (Pipeline -> BackendConn MsSql -> IO a) -> IO a #
ToDbBackend MsSql #
Instance details Defined in Napkin.Backends.Types Methods toDbBackend :: DbBackend #
RenderSql TableKind MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> TableKind -> Doc #
RenderSql DeleteFrom MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> DeleteFrom -> Doc #
RenderSql DropTable MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> DropTable -> Doc #
RenderSql DropView MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> DropView -> Doc #
RenderSql InsertIntoQuery MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> InsertIntoQuery -> Doc #
RenderSql RenameTable MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> RenameTable -> Doc #
RenderSql Actor MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Actor -> Doc #
RenderSql Grant MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Grant -> Doc #
RenderSql Object MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Object -> Doc #
RenderSql Privilege MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Privilege -> Doc #
RenderSql From MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> From -> Doc #
RenderSql Name MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Name -> Doc #
RenderSql Query MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Query -> Doc #
RenderSql Relation MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Relation -> Doc #
RenderSql SExp MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> SExp -> Doc #
RenderSql SetTableSchema MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> SetTableSchema -> Doc #
RenderSql String MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> String -> Doc #
HasBackendSchemaField MsSql #
Instance details Defined in Napkin.Run.MsSql Associated Types data BackendSchemaField MsSql # Methods fieldName :: BackendSchemaField MsSql -> Text # fieldType :: BackendSchemaField MsSql -> Type #
CSVImport MsSql #
Instance details Defined in Napkin.Run.MsSql Methods chunkLimit :: Int # isEnabled :: Bool #
HasBackendQueryStats MsSql #
Instance details Defined in Napkin.Run.MsSql Associated Types data BackendQueryStats MsSql # Methods prettyPrint :: BackendQueryStats MsSql -> Maybe String #
SqlConcat MsSql #
Instance details Defined in Napkin.Untyped.Ops.Portable.MsSql Methods concat :: [SExp] -> SExp #
Command AEDA TableDiagnostics MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> AEDA -> m TableDiagnostics #
Command AnnotateCommand () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> AnnotateCommand -> m () #
Command CheckTableExists Bool MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> CheckTableExists -> m Bool #
Command CopyTable () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> CopyTable -> m () #
Command DeleteFrom () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> DeleteFrom -> m () #
Command DropTable () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> DropTable -> m () #
Command DropView () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> DropView -> m () #
Command GetTableKind TableKind MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> GetTableKind -> m TableKind #
Command InsertIntoQuery () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> InsertIntoQuery -> m () #
Command ReadAnnotationCommand TableAnnotations MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> ReadAnnotationCommand -> m TableAnnotations #
Command RenameTable () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> RenameTable -> m () #
Command Grant () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> Grant -> m () #
Command UpdateQuery () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> UpdateQuery -> m () #
Command GetRelationSchema [BackendSchemaField MsSql] MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> GetRelationSchema -> m [BackendSchemaField MsSql] #
Command ListTables (Set ListedTable) MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> ListTables -> m (Set ListedTable) #
Command NormalizeTableNames (Map (Ref Table) NormalizedTable) MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> NormalizeTableNames -> m (Map (Ref Table) NormalizedTable) #
FromJSON (YamlBackendMaterializedViewMeta MsSql) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendMaterializedViewMeta MsSql) # parseJSONList :: Value -> Parser [YamlBackendMaterializedViewMeta MsSql] #
FromJSON (YamlBackendTableMeta MsSql) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendTableMeta MsSql) # parseJSONList :: Value -> Parser [YamlBackendTableMeta MsSql] #
FromJSON (YamlBackendViewMeta MsSql) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods parseJSON :: Value -> Parser (YamlBackendViewMeta MsSql) # parseJSONList :: Value -> Parser [YamlBackendViewMeta MsSql] #
FromJSON (DbBackendOptions MsSql) #
Instance details Defined in Napkin.Run.MsSql Methods parseJSON :: Value -> Parser (DbBackendOptions MsSql) # parseJSONList :: Value -> Parser [DbBackendOptions MsSql] #
Generic (DbBackendOptions MsSql) #
Instance details Defined in Napkin.Run.MsSql Associated Types type Rep (DbBackendOptions MsSql) :: Type -> Type # 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 #
Default (DbBackendOptions MsSql) #
Instance details Defined in Napkin.Run.MsSql Methods def :: DbBackendOptions MsSql #
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 Methods defMb :: Maybe (YamlBackendMaterializedViewMeta MsSql) #
MaybeDefault (YamlBackendTableMeta MsSql) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendTableMeta MsSql) #
MaybeDefault (YamlBackendViewMeta MsSql) #
Instance details Defined in Napkin.Spec.Yaml.Types.BackendMeta Methods defMb :: Maybe (YamlBackendViewMeta MsSql) #
RenderSql (CreateTable TableMeta) MsSql #	Commands
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> CreateTable TableMeta -> Doc #
RenderSql (CreateView ()) MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> CreateView () -> Doc #
RenderSql a MsSql => RenderSql (Alias a) MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Alias a -> Doc #
Command (CreateMaterializedView MsSqlMaterializedViewMeta) () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> CreateMaterializedView MsSqlMaterializedViewMeta -> m () #
Command (CreateTable TableMeta) () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> CreateTable TableMeta -> m () #
Command (CreateView ()) () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> CreateView () -> m () #
FromJSON (BackendQueryStats MsSql) #
Instance details Defined in Napkin.Run.MsSql Methods parseJSON :: Value -> Parser (BackendQueryStats MsSql) # parseJSONList :: Value -> Parser [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 #
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) :: 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 #
RenderSql (Ref t) MsSql #
Instance details Defined in Napkin.Render.MsSql Methods renderSql :: MsSql -> Ref t -> Doc #
data BackendConn MsSql #
Instance details Defined in Napkin.Run.MsSql data BackendConn MsSql = MsSqlConn { getConnectionString :: ConnectionString getMsSqlConn :: Pool Connection }
data BackendSpecificEffect MsSql m a #
Instance details Defined in Napkin.Run.Effects.Languages.Backend.MsSql data BackendSpecificEffect MsSql m a
newtype DbBackendOptions MsSql #
Instance details Defined in Napkin.Run.MsSql newtype DbBackendOptions MsSql = MsSqlOptions Natural
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 = ()
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-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" '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-0.5.14-JrXUGmKUOt9J0meJSj0Kh4" '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 #
Command (CreateMaterializedView MsSqlMaterializedViewMeta) () MsSql #
Instance details Defined in Napkin.Run.MsSql Methods execCommand :: MonadNapkin MsSql m => BackendConn MsSql -> CreateMaterializedView MsSqlMaterializedViewMeta -> m () #

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 :: MsSql -> SetTableSchema -> 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 #