advxml core/advxml.core

advxml.core

package advxml.core

Type members

Classlikes

@implicitNotFound(msg = "Cannot prove that ${A} =:!= ${B}.")
sealed trait =:!=[A, B]
Companion
object
object =:!=
Companion
class
case class AppEuCase[F[_]](app: AppEu[F]) extends AppExOrEu[F]
case class AppExCase[F[_]](app: AppEx[F]) extends AppExOrEu[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 AppExOrEu[F[_]] extends Applicative[F]
Companion
object
object AppExOrEu extends AppExOrEuInstances
Companion
class
case class AppNelExCase[F[_]](app: AppNelEx[F]) extends AppExOrEu[F]
object MonadEx

Types

type AppEu[F[_]] = ApplicativeError[F, Unit]
type AppEx[F[_]] = ApplicativeError[F, Throwable]
type AppNelEx[F[_]] = ApplicativeError[F, ThrowableNel]
type MonadEx[F[_]] = MonadError[F, Throwable]