All Downloads are FREE. Search and download functionalities are using the official Maven repository.

quasar.errors.scala Maven / Gradle / Ivy

There is a newer version: 28.1.6
Show newest version
/*
 * Copyright 2014–2016 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

import quasar.Predef._
import quasar.fp._

import scalaz._
import scalaz.concurrent._
import scalaz.syntax.monad._
import scalaz.syntax.std.option._

object Errors {

  type ETask[E, X] = EitherT[Task, E, X]

  def handle[E, A, B>:A](t: ETask[E, A])(f: PartialFunction[Throwable, B]):
      ETask[E, B] = {
    type G[F[_], X] = EitherT[F, E, X]
    Catchable[G[Task, ?]].attempt(t) flatMap {
      case -\/(t) => f.lift(t).cata(Task.now, Task.fail(t)).liftM[G]
      case \/-(a) => Applicative[G[Task, ?]].point(a)
    }
  }

  def handleWith[E, A, B>:A](t: ETask[E, A])(f: PartialFunction[Throwable, ETask[E, B]]):
      ETask[E, B] = {
    type G[F[_], X] = EitherT[F, E, X]
    Catchable[G[Task, ?]].attempt(t) flatMap {
      case -\/(t) => f.lift(t) getOrElse liftE(Task.fail(t))
      case \/-(a) => Applicative[G[Task, ?]].point(a)
    }
  }

  def liftE[E]: (Task ~> ETask[E, ?]) = {
    type G[F[_], A] = EitherT[F, E, A]
    liftMT[Task, G]
  }

  /** Given a function A => B, returns a natural transformation from
    * EitherT[F, A, ?] ~> EitherT[F, B, ?].
    *
    * Partially applies the monad, `F`, for better inference, so use like
    *   `convertError[F](f)`
    */
  object convertError {
    def apply[F[_]]: Aux[F] =
      new Aux[F]

    final class Aux[F[_]] {
      def apply[A, B](f: A => B)(implicit F: Functor[F]): EitherT[F, A, ?] ~> EitherT[F, B, ?] =
        new (EitherT[F, A, ?] ~> EitherT[F, B, ?]) {
          def apply[C](ea: EitherT[F, A, C]) = ea.leftMap(f)
        }
    }
  }
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy