postgresql-syntax-0.5.0.2: library-internal/PostgresqlSyntax/Ast/SubType.hs

module PostgresqlSyntax.Ast.SubType where

import PostgresqlSyntax.Algebra
import qualified PostgresqlSyntax.Helpers.Parsers as Parsers
import PostgresqlSyntax.Prelude
import qualified Test.QuickCheck as Qc

-- |
-- ==== References
-- @
-- sub_type:
--   | ANY
--   | SOME
--   | ALL
-- @
data SubType = AnySubType | SomeSubType | AllSubType
  deriving (Show, Generic, Eq, Ord, Data, Enum, Bounded)

instance IsAst SubType where
  toTextBuilder _settings = \case
    AnySubType -> "ANY"
    SomeSubType -> "SOME"
    AllSubType -> "ALL"
  parser _settings =
    asum
      [ AnySubType <$ Parsers.keyword "any",
        SomeSubType <$ Parsers.keyword "some",
        AllSubType <$ Parsers.keyword "all"
      ]

instance Qc.Arbitrary SubType where
  shrink = Qc.genericShrink
  arbitrary = Qc.elements [minBound .. maxBound]