napkin-spec-2.0.0
Safe HaskellNone
LanguageGHC2024

Napkin.Run.Effects.Languages.Recreate

Documentation

data RecreateTable b (m :: k) a where #

Constructors

RecreateTableAs :: forall {k} b (m :: k). BackendTableMeta b -> Ref Table -> NonEmpty Query -> RecreateTable b m () 
RecreateViewAs :: forall {k} b (m :: k). BackendViewMeta b -> Ref Table -> Query -> RecreateTable b m () 
RecreateMaterializedViewAs :: forall {k} b (m :: k). BackendMaterializedViewMeta b -> Ref Table -> Query -> RecreateTable b m () 
RecreateTableStatement' :: forall {k} b (m :: k). BackendTableMeta b -> Ref Table -> CreateTableDDL -> [InsertStatement] -> RecreateTable b m () 

Instances

Instances details
(Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b)) => GShow (RecreateTable b a :: Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Languages.Recreate

Methods

gshowsPrec :: Int -> RecreateTable b a a0 -> ShowS #

(Show (BackendTableMeta b), Show (BackendViewMeta b), Show (BackendMaterializedViewMeta b)) => Show (RecreateTable b a c) # 
Instance details

Defined in Napkin.Run.Effects.Languages.Recreate

Methods

showsPrec :: Int -> RecreateTable b a c -> ShowS #

show :: RecreateTable b a c -> String #

showList :: [RecreateTable b a c] -> ShowS #

recreateTableAs :: forall b (r :: EffectRow). Member (RecreateTable b :: (Type -> Type) -> Type -> Type) r => BackendTableMeta b -> Ref Table -> NonEmpty Query -> Sem r () #

recreateViewAs :: forall b (r :: EffectRow). Member (RecreateTable b :: (Type -> Type) -> Type -> Type) r => BackendViewMeta b -> Ref Table -> Query -> Sem r () #

recreateTargetTable :: forall b (effs :: EffectRow). Members '[RecreateTable b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => BackendTableMeta b -> NonEmpty Query -> Sem effs () #

recreateTargetView :: forall b (effs :: EffectRow). Members '[RecreateTable b :: (Type -> Type) -> Type -> Type, Reader TargetName] effs => BackendViewMeta b -> Query -> Sem effs () #