| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Napkin.Run.Effects.Languages.SqlWrite
Documentation
data MissingBehavior #
Constructors
| IgnoreMissing | |
| FailMissing |
Instances
| Eq MissingBehavior # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite Methods (==) :: MissingBehavior -> MissingBehavior -> Bool # (/=) :: MissingBehavior -> MissingBehavior -> Bool # | |
| Show MissingBehavior # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite Methods showsPrec :: Int -> MissingBehavior -> ShowS # show :: MissingBehavior -> String # showList :: [MissingBehavior] -> ShowS # | |
Constructors
| CreateTableAsWithMeta :: DynamicMeta -> Ref Table -> Query -> SqlWrite m () | |
| CreateViewAs :: Ref Table -> Query -> SqlWrite m () | |
| InsertIntoQuery :: Ref Table -> Query -> SqlWrite m () | |
| RenameTable :: Ref Table -> Ref Table -> SqlWrite m () | |
| CopyTable :: Ref Table -> Ref Table -> SqlWrite m () | |
| DropTable :: Ref Table -> MissingBehavior -> Cascade -> SqlWrite m () | |
| DropView :: Ref Table -> MissingBehavior -> Cascade -> SqlWrite m () | |
| DeleteFrom :: Ref Table -> SExp -> SqlWrite m () |
type IsBackendTableMeta b = IsBackendTableMeta' (BackendTableMeta b) #
data DynamicMeta where #
Constructors
| DynamicMeta :: forall m. (Eq m, Show m) => TypeRep m -> m -> DynamicMeta |
Instances
| Eq DynamicMeta # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite | |
| Show DynamicMeta # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite Methods showsPrec :: Int -> DynamicMeta -> ShowS # show :: DynamicMeta -> String # showList :: [DynamicMeta] -> ShowS # | |
fromDynamicMeta :: forall a. Typeable a => DynamicMeta -> Maybe a #
toDynamicMeta :: forall m. IsBackendTableMeta' m => m -> DynamicMeta #
localMeta :: (IsBackendTableMeta' m, Members [FatalError, Reader DynamicMeta] r) => (m -> m) -> Sem r b -> Sem r b #
withMeta :: Member (Reader DynamicMeta) r => DynamicMeta -> Sem r b -> Sem r b #
withMetaMb :: Member (Reader DynamicMeta) r => Maybe DynamicMeta -> Sem r b -> Sem r b #
deleteFrom :: forall r. MemberWithError SqlWrite r => Ref Table -> SExp -> Sem r () #
dropView :: forall r. MemberWithError SqlWrite r => Ref Table -> MissingBehavior -> Cascade -> Sem r () #
dropTable :: forall r. MemberWithError SqlWrite r => Ref Table -> MissingBehavior -> Cascade -> Sem r () #
renameTable :: forall r. MemberWithError SqlWrite r => Ref Table -> Ref Table -> Sem r () #
insertIntoQuery :: forall r. MemberWithError SqlWrite r => Ref Table -> Query -> Sem r () #
createViewAs :: forall r. MemberWithError SqlWrite r => Ref Table -> Query -> Sem r () #
createTableAsWithMeta :: forall r. MemberWithError SqlWrite r => DynamicMeta -> Ref Table -> Query -> Sem r () #
createTableAs :: Members [Reader DynamicMeta, SqlWrite] r => Ref Table -> Query -> Sem r () #