otel-effectful-1.0.0: test/Effectful/OpenTelemetry/TimestampSpec.hs

module Effectful.OpenTelemetry.TimestampSpec (spec) where

import Arbitrary ()
import Data.Aeson (Result (..), fromJSON, toJSON)
import Effectful
import Effectful.Hspec
import Effectful.OpenTelemetry.Timestamp (Timestamp)
import Effectful.QuickCheck ((===))

spec :: (Hspec :> es) => Eff es ()
spec = prop "toJSON/fromJSON round trip" \(t :: Timestamp) -> fromJSON (toJSON t) === Success t