Renamed.hs

{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE NoImplicitPrelude #-}

-- | Re-exports from Papa.Adjunctions with conflicting identifiers hidden.
--
-- The 'index' function from Data.Functor.Rep conflicts with Control.Lens.index.
-- It is hidden from this module. Use 'Data.Functor.Rep.index' directly when needed,
-- or import qualified:
-- > import qualified Data.Functor.Rep as Rep
module Papa.Adjunctions.Renamed (
  module Papa.Adjunctions.Data.Functor.Adjunction,
  module Papa.Adjunctions.Data.Functor.Rep,
) where

import Papa.Adjunctions.Data.Functor.Adjunction
import Papa.Adjunctions.Data.Functor.Rep hiding (index)