graphql-engine/server/src-lib/Hasura/RQL/IR/Delete.hs

{-# LANGUAGE UndecidableInstances #-}

module Hasura.RQL.IR.Delete
  ( AnnDel,
    AnnDelG (..),
  )
where

import Data.Kind (Type)
import Hasura.Prelude
import Hasura.RQL.IR.BoolExp
import Hasura.RQL.IR.Returning
import Hasura.RQL.Types.Backend
import Hasura.RQL.Types.Column
import Hasura.SQL.Backend

data AnnDelG (b :: BackendType) (r :: Type) v = AnnDel
  { dqp1Table :: !(TableName b),
    dqp1Where :: !(AnnBoolExp b v, AnnBoolExp b v),
    dqp1Output :: !(MutationOutputG b r v),
    dqp1AllCols :: ![ColumnInfo b]
  }
  deriving (Functor, Foldable, Traversable)

type AnnDel b = AnnDelG b Void (SQLExpression b)

deriving instance (Show (MutationOutputG b r a), Backend b, Show (BooleanOperators b a), Show a) => Show (AnnDelG b r a)