{-# LANGUAGE
AllowAmbiguousTypes
, DataKinds
, FlexibleContexts
, FlexibleInstances
, FunctionalDependencies
, GADTs
, KindSignatures
, MultiParamTypeClasses
, OverloadedStrings
, RankNTypes
, ScopedTypeVariables
, TypeApplications
, TypeOperators
, UndecidableInstances
#-}
module Squeal.PostgreSQL.Expression.Parameter
(
HasParameter (parameter)
, param
) where
import GHC.TypeLits
import Squeal.PostgreSQL.Expression
import Squeal.PostgreSQL.Expression.Type
import Squeal.PostgreSQL.Render
import Squeal.PostgreSQL.Type.Schema
class KnownNat n => HasParameter
(n :: Nat)
(params :: [NullType])
(ty :: NullType)
| n params -> ty where
parameter
:: TypeExpression db ty
-> Expression grp lat with db params from ty
parameter ty = UnsafeExpression $ parenthesized $
"$" <> renderNat @n <+> "::"
<+> renderSQL ty
instance {-# OVERLAPPING #-} params ~ (x ': xs) => HasParameter 1 params x
instance {-# OVERLAPPABLE #-}
(KnownNat n, HasParameter (n-1) xs x, params ~ (y ': xs))
=> HasParameter n params x
param
:: forall n ty lat with db params from grp
. (NullTyped db ty, HasParameter n params ty)
=> Expression grp lat with db params from ty
param = parameter @n (nulltype @db)