| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Napkin.Run.Effects.Languages.Recreate
Documentation
data RecreateTable m a where #
Constructors
| 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 Methods gshowsPrec :: forall (a0 :: k). Int -> RecreateTable a a0 -> ShowS # | |
| Show (RecreateTable a b) # | |
Defined in Napkin.Run.Effects.Languages.Recreate Methods 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 () #