HTraversable.hs

{-# OPTIONS_HADDOCK not-home #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
{-# LANGUAGE RankNTypes #-}
module Hedgehog.Internal.HTraversable (
    HTraversable(..)
  ) where

import Hedgehog.Internal.Barbie (TraversableB)

-- | Higher-order traversable functors.
--
-- /Deprecated in favor of 'TraversableB' which can be derived using "GHC.Generics"/
--
class HTraversable t where
  htraverse :: Applicative f => (forall a. g a -> f (h a)) -> t g -> f (t h)

{-#
  DEPRECATED HTraversable
  "Replace with Hedgehog.TraversableB (defined in Data.Functor.Barbie) which can be derived automatically using GHC.Generics"
#-}