Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
data MissingBehavior #
Instances
Eq MissingBehavior # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite (==) :: MissingBehavior -> MissingBehavior -> Bool # (/=) :: MissingBehavior -> MissingBehavior -> Bool # | |
Show MissingBehavior # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite showsPrec :: Int -> MissingBehavior -> ShowS # show :: MissingBehavior -> String # showList :: [MissingBehavior] -> ShowS # |
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 #
DynamicMeta :: forall m. (Eq m, Show m) => TypeRep m -> m -> DynamicMeta |
Instances
Eq DynamicMeta # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite (==) :: DynamicMeta -> DynamicMeta -> Bool # (/=) :: DynamicMeta -> DynamicMeta -> Bool # | |
Show DynamicMeta # | |
Defined in Napkin.Run.Effects.Languages.SqlWrite 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 () #