Safe Haskell | None |
---|---|
Language | GHC2024 |
Napkin.Run.Effects.Languages.SqlWrite
Documentation
type family BackendMeta (k :: TableKind) bk where ... #
Equations
BackendMeta 'KindTable bk = BackendTableMeta bk | |
BackendMeta 'KindView bk = BackendViewMeta bk | |
BackendMeta 'KindMaterializedView bk = BackendMaterializedViewMeta bk |
type family BackendTableMeta bk #
type family BackendViewMeta bk #
type family BackendMaterializedViewMeta bk #
data TableWriteStrategy #
Instances
data MissingBehavior #
Constructors
IgnoreMissing | |
FailMissing |
Instances
Show MissingBehavior # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite Methods showsPrec :: Int -> MissingBehavior -> ShowS # show :: MissingBehavior -> String # showList :: [MissingBehavior] -> ShowS # | |
Eq MissingBehavior # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite Methods (==) :: MissingBehavior -> MissingBehavior -> Bool # (/=) :: MissingBehavior -> MissingBehavior -> Bool # | |
RenderSql MissingBehavior (b :: k) # | |
Defined in Napkin.Render.Common |
data InsertColumnsList #
Instances
Default InsertColumnsList # | |||||
Defined in Napkin.Run.Effects.Languages.SqlWrite Methods | |||||
IsList InsertColumnsList # | |||||
Defined in Napkin.Run.Effects.Languages.SqlWrite Associated Types
Methods fromList :: [Item InsertColumnsList] -> InsertColumnsList # fromListN :: Int -> [Item InsertColumnsList] -> InsertColumnsList # toList :: InsertColumnsList -> [Item InsertColumnsList] # | |||||
Show InsertColumnsList # | |||||
Defined in Napkin.Run.Effects.Languages.SqlWrite Methods showsPrec :: Int -> InsertColumnsList -> ShowS # show :: InsertColumnsList -> String # showList :: [InsertColumnsList] -> ShowS # | |||||
Eq InsertColumnsList # | |||||
Defined in Napkin.Run.Effects.Languages.SqlWrite Methods (==) :: InsertColumnsList -> InsertColumnsList -> Bool # (/=) :: InsertColumnsList -> InsertColumnsList -> Bool # | |||||
type Item InsertColumnsList # | |||||
Defined in Napkin.Run.Effects.Languages.SqlWrite |
data SqlWrite b (m :: k) a where #
Constructors
CreateTableAsWithMeta :: forall {k} b (m :: k). BackendTableMeta b -> Ref Table -> Query -> SqlWrite b m () | |
CreateViewAsWithMeta :: forall {k} b (m :: k). BackendViewMeta b -> Ref Table -> Query -> SqlWrite b m () | |
CreateMaterializedViewAsWithMeta :: forall {k} b (m :: k). BackendMaterializedViewMeta b -> Ref Table -> Query -> SqlWrite b m () | |
InsertInto :: forall {k} b (m :: k). Ref Table -> InsertColumnsList -> Query -> SqlWrite b m () | |
CsvStreamInto :: forall {k} b (m :: k). CSVSettings -> Ref Table -> FilePath -> CSVHeader -> Chunks -> CsvSchema -> SqlWrite b m () | |
UpdateTable :: forall {k} b (m :: k). UpdateQuery -> SqlWrite b m () | |
RenameTable :: forall {k} b (m :: k). Ref Table -> Ref Table -> SqlWrite b m () | |
CopyTable :: forall {k} b (m :: k). Ref Table -> Ref Table -> TableWriteStrategy -> SqlWrite b m () | |
DropTable :: forall {k} b (m :: k). Ref Table -> MissingBehavior -> Cascade -> SqlWrite b m () | |
DropView :: forall {k} b (m :: k). Ref Table -> MissingBehavior -> Cascade -> SqlWrite b m () | |
DropMaterializedView :: forall {k} b (m :: k). Ref Table -> MissingBehavior -> Cascade -> SqlWrite b m () | |
DeleteFrom :: forall {k} b (m :: k). Ref Table -> SExp -> SqlWrite b m () | |
CreateTable :: forall {k} b (m :: k). BackendTableMeta b -> CreateTableDDL -> SqlWrite b m () | |
DropColumn :: forall {k} b (m :: k). Ref Table -> Text -> SqlWrite b m () | |
AddColumn :: forall {k} b (m :: k). Ref Table -> Text -> Type -> SqlWrite b m () |
Instances
(Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b), IsRenderable Query b, IsRenderable Statement b, IsRenderable SExp b, IsRenderable UpdateQuery b, IsRenderable Text b, Default (BackendTableMeta b), Default (BackendViewMeta b), MaybeDefault (YamlBackendMaterializedViewMeta b), Eq (BackendTableMeta b), Eq (BackendViewMeta b), Eq (YamlBackendMaterializedViewMeta b)) => ToDumpItem (b :: Type) (SqlWrite b :: (Type -> Type) -> Type -> Type) # | |
(Show (BackendTableMeta bk), Show (BackendViewMeta bk), Show (BackendMaterializedViewMeta bk)) => GShow (SqlWrite bk a :: Type -> Type) # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite Methods gshowsPrec :: Int -> SqlWrite bk a a0 -> ShowS # | |
(Show (BackendTableMeta bk), Show (BackendViewMeta bk), Show (BackendMaterializedViewMeta bk)) => Show (SqlWrite bk a b) # | |
(Eq (BackendTableMeta bk), Eq (BackendViewMeta bk), Eq (BackendMaterializedViewMeta bk)) => Eq (SqlWrite bk a b) # | |
createTableAsWithMeta :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => BackendTableMeta b -> Ref Table -> Query -> Sem r () #
createViewAsWithMeta :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => BackendViewMeta b -> Ref Table -> Query -> Sem r () #
createMaterializedViewAsWithMeta :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => BackendMaterializedViewMeta b -> Ref Table -> Query -> Sem r () #
insertInto :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> InsertColumnsList -> Query -> Sem r () #
csvStreamInto :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => CSVSettings -> Ref Table -> FilePath -> CSVHeader -> Chunks -> CsvSchema -> Sem r () #
updateTable :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => UpdateQuery -> Sem r () #
renameTable :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Ref Table -> Sem r () #
copyTable :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Ref Table -> TableWriteStrategy -> Sem r () #
dropTable :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> MissingBehavior -> Cascade -> Sem r () #
dropView :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> MissingBehavior -> Cascade -> Sem r () #
dropMaterializedView :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> MissingBehavior -> Cascade -> Sem r () #
deleteFrom :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> SExp -> Sem r () #
createTable :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => BackendTableMeta b -> CreateTableDDL -> Sem r () #
dropColumn :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Text -> Sem r () #
addColumn :: forall b (r :: EffectRow). Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r => Ref Table -> Text -> Type -> Sem r () #
createTableAs :: forall b (r :: EffectRow). (Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r, Default (BackendTableMeta b)) => Ref Table -> Query -> Sem r () #
createTableIfNotExistAs :: forall b (r :: EffectRow). (Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r, Default (BackendTableMeta b)) => Ref Table -> Query -> Sem r () #
createViewAs :: forall b (r :: EffectRow). (Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r, Default (BackendViewMeta b)) => Ref Table -> Query -> Sem r () #
createMaterializedViewAs :: forall b (r :: EffectRow). (Member (SqlWrite b :: (Type -> Type) -> Type -> Type) r, Default (BackendMaterializedViewMeta b)) => Ref Table -> Query -> Sem r () #