packages feed

papa-0.5.0: src/Papa/Adjunctions.hs

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

module Papa.Adjunctions (
  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