Semigroupoids.hs

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

module Papa.Semigroupoids (
  module P,
  concat,
  concatMap,
  maximum,
  minimum,
) where

import Data.Bifunctor.Apply as P (Biapply ((.>>), (<<.), (<<.>>)), Bifunctor (bimap, first, second), bilift2, bilift3, (<<$>>), (<<..>>))
import Data.Functor.Alt as P (Alt ((<!>)))
import Data.Functor.Apply as P (Apply ((.>), (<.), (<.>)), MaybeApply (runMaybeApply), WrappedApplicative (unwrapApplicative), liftF2, liftF3, (<..>))
import Data.Functor.Bind as P (Bind (join, (>>-)), apDefault, returning, (-<-), (-<<), (->-))
import Data.Functor.Bind.Trans as P (BindTrans (liftB))
import Data.Functor.Extend as P (Extend (duplicated, extended))
import Data.Functor.Plus as P (Plus (zero))
import Data.Groupoid as P (Groupoid (inv))
import Data.Semigroup.Bifoldable as P (Bifoldable1 (bifold1, bifoldMap1), bifoldMapDefault1, bifor1_, bisequenceA1_, bitraverse1_)
import Data.Semigroup.Bitraversable as P (Bitraversable1 (bisequence1, bitraverse1), bifoldMap1Default)
import Data.Semigroup.Foldable as P (Foldable1 (fold1, foldMap1), asum1, foldMapDefault1, for1_, intercalate1, intercalateMap1, sequenceA1_, traverse1_)
import Data.Semigroup.Traversable as P (Traversable1 (sequence1, traverse1), foldMap1Default)
import Data.Semigroupoid as P (Semi (getSemi), Semigroupoid (o), WrappedCategory (unwrapCategory))
import Data.Semigroupoid.Ob as P (Ob (semiid))
import Data.Semigroupoid.Static as P (Static (runStatic))

import Papa.Semigroupoids.Data.Functor.Bind
import Papa.Semigroupoids.Data.Semigroup.Foldable