module Effectful.Zoo.Hedgehog.Api.Classify ( classify, ) where import Effectful import Effectful.Dispatch.Dynamic import Effectful.Zoo.Core import Effectful.Zoo.Hedgehog.Dynamic import HaskellWorks.Prelude import Hedgehog qualified as H classify :: forall r. () => HasCallStack => r <: Hedgehog => H.LabelName -> Bool -> Eff r () classify :: forall (r :: [Effect]). (HasCallStack, r <: Hedgehog) => LabelName -> Bool -> Eff r () classify LabelName name Bool b = (HasCallStack => Eff r ()) -> Eff r () forall a. HasCallStack => (HasCallStack => a) -> a withFrozenCallStack ((HasCallStack => Eff r ()) -> Eff r ()) -> (HasCallStack => Eff r ()) -> Eff r () forall a b. (a -> b) -> a -> b $ LabelName -> Bool -> Eff r () forall (m :: * -> *). (MonadTest m, HasCallStack) => LabelName -> Bool -> m () H.classify LabelName name Bool b