papa-0.5.0: src/Papa/Contravariant/Data/Functor/Contravariant.hs

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

module Papa.Contravariant.Data.Functor.Contravariant (
  module X,
) where

import Data.Functor.Contravariant as X (
  Contravariant (contramap),
 )
import Data.Functor.Contravariant.Divisible as X (
  Decidable (choose, lose),
  Divisible (conquer, divide),
 )