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

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

import Arbitrary ()
import Effectful
import Effectful.Hspec
import Effectful.OpenTelemetry.Protocol.Transport (Compression)
import Effectful.QuickCheck ((===))
import Text.Read (readMaybe)
import Prelude

spec :: (Hspec :> es) => Eff es ()
spec = prop "show/read round trip" \(c :: Compression) -> readMaybe (show c) === Just c