<commit_before>/*
 * Copyright 2014–2017 SlamData Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package quasar.contrib.matryoshka

import matryoshka._
import matryoshka.implicits._
import scalaz._
import simulacrum._

@typeclass
trait OrderT[T[_[_]]] {
  def order[F[_]: Functor](tf1: T[F], tf2: T[F])(implicit del: Delay[Order, F]): Ordering

  def orderT[F[_]: Functor](delay: Delay[Order, F]): Order[T[F]] =
    Order.order[T[F]](order[F](_, _)(Functor[F], delay))
}

object OrderT {
  implicit def recursiveT[T[_[_]]: RecursiveT]: OrderT[T] =
    new OrderT[T] {
      def order[F[_]: Functor](tf1: T[F], tf2: T[F])(implicit del: Delay[Order, F]): Ordering =
        del(orderT[F](del)).order(tf1.project, tf2.project)
    }
}<commit_msg>Remove the Recursive[T] => OrderT[T] implicit, add explicit instances for Fix, Mu and Nu.<commit_after>/*
 * Copyright 2014–2017 SlamData Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package quasar.contrib.matryoshka

import matryoshka._
import matryoshka.data._
import matryoshka.implicits._
import scalaz._
import simulacrum._

@typeclass
trait OrderT[T[_[_]]] {
  def order[F[_]: Functor](tf1: T[F], tf2: T[F])(implicit del: Delay[Order, F]): Ordering

  def orderT[F[_]: Functor](delay: Delay[Order, F]): Order[T[F]] =
    Order.order[T[F]](order[F](_, _)(Functor[F], delay))
}

object OrderT extends OrderTInstances {
  def recursiveT[T[_[_]]: RecursiveT]: OrderT[T] =
    new OrderT[T] {
      def order[F[_]: Functor](tf1: T[F], tf2: T[F])(implicit del: Delay[Order, F]): Ordering =
        del(orderT[F](del)).order(tf1.project, tf2.project)
    }
}

sealed abstract class OrderTInstances {
  import OrderT._
  implicit def fixOrderT: OrderT[Fix] = recursiveT[Fix]
  implicit def muOrderT: OrderT[Mu]   = recursiveT[Mu]
  implicit def nuOrderT: OrderT[Nu]   = recursiveT[Nu]
}
{'fraction_non_alphanumeric': 0.1281783350748868, 'fraction_numerical': 0.012539184952978056, 'mean_word_length': 4.338289962825279, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 4, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7659635', 'n_tokens_mistral': 979, 'n_tokens_neox': 948, 'n_words': 308}