otel-effectful-1.0.0: test/Effectful/OpenTelemetry/Tracing/Span/KindSpec.hs

module Effectful.OpenTelemetry.Tracing.Span.KindSpec (spec) where

import Arbitrary ()
import Effectful
import Effectful.Hspec
import Effectful.OpenTelemetry.Tracing.Span.Kind (Kind)
import Effectful.QuickCheck ((===))
import Prelude

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