napkin-0.5.9
Safe HaskellNone
LanguageHaskell2010

Napkin.Run.Effects.Languages.SqlWrite

Documentation

data Cascade #

Constructors

Cascade 
Restrict 

Instances

Instances details
Eq Cascade # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlWrite

Methods

(==) :: Cascade -> Cascade -> Bool #

(/=) :: Cascade -> Cascade -> Bool #

Show Cascade # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlWrite

data SqlWrite m a where #

Instances

Instances details
GShow (SqlWrite a :: Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlWrite

Methods

gshowsPrec :: forall (a0 :: k). Int -> SqlWrite a a0 -> ShowS #

Eq (SqlWrite a b) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlWrite

Methods

(==) :: SqlWrite a b -> SqlWrite a b -> Bool #

(/=) :: SqlWrite a b -> SqlWrite a b -> Bool #

Show (SqlWrite a b) # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlWrite

Methods

showsPrec :: Int -> SqlWrite a b -> ShowS #

show :: SqlWrite a b -> String #

showList :: [SqlWrite a b] -> ShowS #

data DynamicMeta where #

Constructors

DynamicMeta :: forall m. (Eq m, Show m) => TypeRep m -> m -> DynamicMeta 

Instances

Instances details
Eq DynamicMeta # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlWrite

Show DynamicMeta # 
Instance details

Defined in Napkin.Run.Effects.Languages.SqlWrite

fromDynamicMeta :: forall a. Typeable a => DynamicMeta -> Maybe a #

localMeta :: (IsBackendTableMeta' m, Members [FatalError, Reader DynamicMeta] r) => (m -> m) -> Sem r b -> Sem r b #

deleteFrom :: forall r. MemberWithError SqlWrite r => Ref Table -> SExp -> Sem r () #

copyTable :: forall r. MemberWithError SqlWrite r => Ref Table -> Ref Table -> Sem r () #

renameTable :: forall r. MemberWithError SqlWrite r => Ref Table -> Ref Table -> Sem r () #

createViewAs :: forall r. MemberWithError SqlWrite r => Ref Table -> Query -> Sem r () #