{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
module Database.Ribbit.Delete (
DeleteFrom,
) where
import Database.Ribbit.Conditions (RenderConditions, Where)
import Database.Ribbit.Params (ParamsType, ParamsTypeSchema)
import Database.Ribbit.Render (Render)
import Database.Ribbit.Table (Name, DBSchema)
import GHC.TypeLits (AppendSymbol)
data DeleteFrom table
type instance Render (DeleteFrom table) =
"DELETE FROM "
`AppendSymbol` Name table
type instance Render (DeleteFrom table `Where` conditions) =
Render (DeleteFrom table)
`AppendSymbol` " WHERE "
`AppendSymbol` RenderConditions conditions (DBSchema table)
type instance ParamsType (DeleteFrom relation `Where` conditions) =
ParamsTypeSchema (DBSchema relation) conditions
type instance ParamsType (DeleteFrom relation) = ()