Move Functor and Cofunctor to Mercator

Author: propensive

src/core/rudiments-core.scala

@@ -98,17 +98,6 @@ inline def bond[TypeclassType <: Any { type Self }] = compiletime.summonInline[B
 @targetName("erasedValue")
 erased def ###[ErasedType] : ErasedType = scala.compiletime.erasedValue
 
-extension [FunctorType[+_], ValueType](value: FunctorType[ValueType])
-   (using functor: Functor[FunctorType])
-
-  def map[ValueType2](lambda: ValueType => ValueType2): FunctorType[ValueType2] =
-    functor.map(value, lambda)
-
-extension [CofunctorType[-_], ValueType](value: CofunctorType[ValueType])
-          (using cofunctor: Cofunctor[CofunctorType])
-  def contramap[ValueType2](lambda: ValueType2 => ValueType): CofunctorType[ValueType2] =
-    cofunctor.contramap(value, lambda)
-
 extension (value: Any)
   def as[ResultType](irrefutable: value.type is Irrefutable into ResultType): ResultType =
     irrefutable.unapply(value)

src/core/rudiments.Cofunctor.scala

@@ -21,7 +21,7 @@ export rudiments
     interleave, each, all, sumBy, bi, tri, indexBy, longestTrain, mutable, immutable, snapshot,
     place, upsert, collate, establish, plus, runs, runsBy, Cursor, cursor, precursor, postcursor,
     cursorIndex, cursorOffset, curse, ult, create, javaInputStream, DecimalConverter, as,
-    Irrefutable, Extractable, As, ###, map, contramap, Functor, Cofunctor,
+    Irrefutable, Extractable, As, ###,
     Exit, Pid, Quickstart, unit, waive, twin, triple, is, matchable, give, pipe,
     tap, also, Counter, loop, Loop, &, tuple, to, WorkingDirectoryError, HomeDirectoryError,
     WorkingDirectory, HomeDirectory, workingDirectory, homeDirectory, Bond, binds, bound, prim, sec,