module Hasql.Codecs.Vocab.TypeRef
  ( TypeRef (..),
  )
where

import Hasql.Codecs.Vocab.QualifiedTypeName (QualifiedTypeName)
import Hasql.Platform.Prelude

-- |
-- How a parameter's Postgres type is identified within parameter metadata:
-- either an already-known OID, or a 'QualifiedTypeName' still pending OID
-- resolution against the server.
data TypeRef
  = -- | The type's OID is statically known.
    KnownOid Word32
  | -- | The type is named and its OID must be resolved before execution.
    NamedType QualifiedTypeName
  deriving stock (TypeRef -> TypeRef -> Bool
(TypeRef -> TypeRef -> Bool)
-> (TypeRef -> TypeRef -> Bool) -> Eq TypeRef
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: TypeRef -> TypeRef -> Bool
== :: TypeRef -> TypeRef -> Bool
$c/= :: TypeRef -> TypeRef -> Bool
/= :: TypeRef -> TypeRef -> Bool
Eq, Eq TypeRef
Eq TypeRef =>
(TypeRef -> TypeRef -> Ordering)
-> (TypeRef -> TypeRef -> Bool)
-> (TypeRef -> TypeRef -> Bool)
-> (TypeRef -> TypeRef -> Bool)
-> (TypeRef -> TypeRef -> Bool)
-> (TypeRef -> TypeRef -> TypeRef)
-> (TypeRef -> TypeRef -> TypeRef)
-> Ord TypeRef
TypeRef -> TypeRef -> Bool
TypeRef -> TypeRef -> Ordering
TypeRef -> TypeRef -> TypeRef
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
$ccompare :: TypeRef -> TypeRef -> Ordering
compare :: TypeRef -> TypeRef -> Ordering
$c< :: TypeRef -> TypeRef -> Bool
< :: TypeRef -> TypeRef -> Bool
$c<= :: TypeRef -> TypeRef -> Bool
<= :: TypeRef -> TypeRef -> Bool
$c> :: TypeRef -> TypeRef -> Bool
> :: TypeRef -> TypeRef -> Bool
$c>= :: TypeRef -> TypeRef -> Bool
>= :: TypeRef -> TypeRef -> Bool
$cmax :: TypeRef -> TypeRef -> TypeRef
max :: TypeRef -> TypeRef -> TypeRef
$cmin :: TypeRef -> TypeRef -> TypeRef
min :: TypeRef -> TypeRef -> TypeRef
Ord, Int -> TypeRef -> ShowS
[TypeRef] -> ShowS
TypeRef -> String
(Int -> TypeRef -> ShowS)
-> (TypeRef -> String) -> ([TypeRef] -> ShowS) -> Show TypeRef
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> TypeRef -> ShowS
showsPrec :: Int -> TypeRef -> ShowS
$cshow :: TypeRef -> String
show :: TypeRef -> String
$cshowList :: [TypeRef] -> ShowS
showList :: [TypeRef] -> ShowS
Show, (forall x. TypeRef -> Rep TypeRef x)
-> (forall x. Rep TypeRef x -> TypeRef) -> Generic TypeRef
forall x. Rep TypeRef x -> TypeRef
forall x. TypeRef -> Rep TypeRef x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. TypeRef -> Rep TypeRef x
from :: forall x. TypeRef -> Rep TypeRef x
$cto :: forall x. Rep TypeRef x -> TypeRef
to :: forall x. Rep TypeRef x -> TypeRef
Generic)

instance Hashable TypeRef