{-# LANGUAGE TypeApplications #-}

module Data.UUID.TypedSpec
  ( spec,
  )
where

import Data.GenValidity.UUID.Typed ()
import Data.UUID.Typed
import Test.Hspec
import Test.Validity
import Test.Validity.Aeson

spec :: Spec
spec = do
  eqSpec @(UUID Int)
  genValidSpec @(UUID Int)
  jsonSpec @(UUID Int)