ValidationInstances

public interface ValidationInstances

Method Summary

Static Methods

Modifier and Type

Method

Description

static <E> Applicative<Validation<E,?>>

applicative(Semigroup<E> semigroup)

static <E, T> Eq<Kind<Validation<E,?>,T>>

eq(Eq<E> errorEq, Eq<T> validEq)

static <E> Functor<Validation<E,?>>

functor()

static <E> Monad<Validation<E,?>>

monad()

static <E> MonadError<Validation<E,?>,E>

monadError()

static MonadThrow<Validation<Throwable,?>>

monadThrow()

static <E> Selective<Validation<E,?>>

selective(Semigroup<E> semigroup)

Method Details
- eq
  
  static <E, T> Eq<Kind<Validation<E,?>,T>> eq(Eq<E> errorEq, Eq<T> validEq)
- functor
  
  static <E> Functor<Validation<E,?>> functor()
- applicative
  
  static <E> Applicative<Validation<E,?>> applicative(Semigroup<E> semigroup)
- selective
  
  static <E> Selective<Validation<E,?>> selective(Semigroup<E> semigroup)
- monad
  
  static <E> Monad<Validation<E,?>> monad()
- monadError
  
  static <E> MonadError<Validation<E,?>,E> monadError()
- monadThrow
  
  static MonadThrow<Validation<Throwable,?>> monadThrow()