packages feed

papa-0.4.0: src/Papa/Adjunctions.hs

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

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