otel-effectful-1.0.0: test/Effectful/OpenTelemetry/Protocol/AnyValueSpec.hs

module Effectful.OpenTelemetry.Protocol.AnyValueSpec (spec) where

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

spec :: (Hspec :> es) => Eff es ()
spec = prop "toJSON/fromJSON round trip" \v -> fromJSON @AnyValue (toJSON v) === Success v