|
Scala example source code file (MonadError.scala)
The MonadError.scala Scala example source codepackage scalaz //// /** * */ //// trait MonadError[F[_], S] extends Monad[F] { self => //// def raiseError[A](e: S): F[A] def handleError[A](fa: F[A])(f: S => F[A]): F[A] trait MonadErrorLaw { def raisedErrorsHandled[A](e: S, f: S => F[A])(implicit FEA: Equal[F[A]]): Boolean = FEA.equal(handleError(raiseError(e))(f), f(e)) def errorsRaised[A](a: A, e: S)(implicit FEA: Equal[F[A]]): Boolean = FEA.equal(bind(point(a))(_ => raiseError(e)), raiseError(e)) def errorsStopComputation[A](e: S, a: A)(implicit FEA: Equal[F[A]]): Boolean = FEA.equal(bind(raiseError(e))(_ => point(a)), raiseError(e)) } def monadErrorLaw = new MonadErrorLaw {} //// val monadErrorSyntax = new scalaz.syntax.MonadErrorSyntax[F, S] { def F = MonadError.this } } object MonadError { @inline def apply[F[_], S](implicit F: MonadError[F, S]): MonadError[F, S] = F //// //// } Other Scala examples (source code examples)Here is a short list of links related to this Scala MonadError.scala source code file: |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.