otel-effectful-1.0.0: test/Effectful/OpenTelemetry/Metrics/MeasurementSpec.hs

module Effectful.OpenTelemetry.Metrics.MeasurementSpec (spec) where

import Arbitrary ()
import Effectful
import Effectful.Hspec
import Effectful.OpenTelemetry.Metrics.Measurement (AggregationTemporality)
import Effectful.QuickCheck ((===))
import Prelude

spec :: (Hspec :> es) => Eff es ()
spec = prop "toEnum/fromEnum round trip" \(t :: AggregationTemporality) ->
    toEnum (fromEnum t) === t