Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data RecreateTable m a where #
RecreateTableAs :: Ref Table -> NonEmpty Query -> RecreateTable m () | |
RecreateViewAs :: Ref Table -> Query -> RecreateTable m () |
Instances
GShow (RecreateTable a :: Type -> Type) # | |
Defined in Napkin.Run.Effects.Languages.Recreate gshowsPrec :: forall (a0 :: k). Int -> RecreateTable a a0 -> ShowS # | |
Show (RecreateTable a b) # | |
Defined in Napkin.Run.Effects.Languages.Recreate showsPrec :: Int -> RecreateTable a b -> ShowS # show :: RecreateTable a b -> String # showList :: [RecreateTable a b] -> ShowS # | |
type DefiningModule (RecreateTable :: k -> Type -> Type) # | |
Defined in Napkin.Run.Effects.Languages.Recreate |
recreateViewAs :: forall r. MemberWithError RecreateTable r => Ref Table -> Query -> Sem r () #
recreateTableAs :: forall r. MemberWithError RecreateTable r => Ref Table -> NonEmpty Query -> Sem r () #
recreateTargetTable :: forall effs. Members [RecreateTable, Reader TargetName] effs => NonEmpty Query -> Sem effs () #
recreateTargetView :: forall effs. Members [RecreateTable, Reader TargetName] effs => Query -> Sem effs () #