advxml core/advxml

advxml

package advxml

Type members

Classlikes

@implicitNotFound(msg = "Cannot prove that ${A} =:!= ${B}.")
sealed trait =:!=[A, B]
Companion:
object
object =:!=
Companion:
class
case class ApplicativeEuCase[F[_]](app: ApplicativeEu[F]) extends ApplicativeThrowOrEu[F]
case class ApplicativeNelThrowCase[F[_]](app: ApplicativeNelThrow[F]) extends ApplicativeThrowOrEu[F]
case class ApplicativeThrowCase[F[_]](app: ApplicativeThrow[F]) extends ApplicativeThrowOrEu[F]
@implicitAmbiguous("Multiple instances of ApplicativeError[${F}, Throwable] or ApplicativeError[${F}, Unit] in the scope,\" +\n \", try to set {F} type explicitly.") @implicitNotFound("Missing ApplicativeError[${F}, Throwable] or ApplicativeError[${F}, Unit] in the scope.")
sealed trait ApplicativeThrowOrEu[F[_]] extends Applicative[F]
Companion:
object
object ApplicativeThrowOrEu
Companion:
class
object implicits

Types

type ApplicativeEu[F[_]] = ApplicativeError[F, Unit]
type ApplicativeNelThrow[F[_]] = ApplicativeError[F, ThrowableNel]