Interface Validation<E, T>

Basic Monad Interface

interface Validation<E, T> {
    @@type: string;
    acc(): monet.Validation<E, monet.IValidationAcc>;
    ap<V>(eitherFn: monet.Validation<E, ((val: T) => V)>): monet.Validation<E, V>;
    apTo<V>(value: monet.Validation<E, V>): T extends ((arg: V) => any)
        ? monet.Validation<E, ReturnType<T<T>>>
        : never;
    bimap<F, V>(fnF: ((fail: E) => F), fnS: ((val: T) => V)): monet.Validation<F, V>;
    bind<V>(fn: ((val: T) => monet.Validation<E, V>)): monet.Validation<E, V>;
    cata<Z>(failFn: ((fail: E) => Z), successFn: ((val: T) => Z)): Z;
    catchMap<F>(fn: ((fail: E) => monet.Validation<F, T>)): monet.Validation<F, T>;
    chain<V>(fn: ((val: T) => monet.Validation<E, V>)): monet.Validation<E, V>;
    equals(other: monet.Validation<E, T>): boolean;
    fail(): E;
    failMap<F>(fn: ((fail: E) => F)): monet.Validation<F, T>;
    fantasy-land/ap?<V>(afn: monet.Applicative<((val: T) => V)>): monet.Applicative<V>;
    fantasy-land/chain?<V>(fn: ((val: T) => monet.Chain<V>)): monet.Chain<V>;
    fantasy-land/equals?(other: monet.Validation<E, T>): boolean;
    fantasy-land/map?<V>(fn: ((val: T) => V)): monet.Functor<V>;
    flatMap<V>(fn: ((val: T) => monet.Validation<E, V>)): monet.Validation<E, V>;
    fold<Z>(failFn: ((fail: E) => Z), successFn: ((val: T) => Z)): Z;
    foldLeft<V>(initial: V): ((fn: ((acc: V, val: T) => V)) => V);
    foldRight<V>(initial: V): ((fn: ((val: T, acc: V) => V)) => V);
    forEach(fn: ((val: T) => void)): void;
    forEachFail(fn: ((val: E) => void)): void;
    isFail(): boolean;
    isSuccess(): boolean;
    join<V>(): monet.Validation<E, V>;
    map<V>(fn: ((val: T) => V)): monet.Validation<E, V>;
    success(): T;
    swap(): monet.Validation<T, E>;
    takeLeft(m: monet.Validation<E, T>): monet.Validation<E, T>;
    takeRight(m: monet.Validation<E, T>): monet.Validation<E, T>;
    toEither(): monet.Either<E, T>;
    toMaybe(): monet.Maybe<T>;
}

Type Parameters

  • E
  • T

Hierarchy-Diagram

UML class diagram of Validation
Legend
icon for an interface in the UML class diagram interface
icon for a public method in the UML class diagram public method

Hierarchy (view full)

Properties

@@type

Methods

acc ap apTo bimap bind cata catchMap chain equals fail failMap fantasy-land/ap? fantasy-land/chain? fantasy-land/equals? fantasy-land/map? flatMap fold foldLeft foldRight forEach forEachFail isFail isSuccess join map success swap takeLeft takeRight toEither toMaybe

Properties

@@type

@@type: string

Methods

acc

ap

apTo

bimap

  • bimap<F, V>(fnF: ((fail: E) => F), fnS: ((val: T) => V)): monet.Validation<F, V>

  • Type Parameters

    • F
    • V

    Parameters

    • fnF: ((fail: E) => F)
        • (fail: E): F

        • Parameters

          • fail: E

          Returns F

    • fnS: ((val: T) => V)
        • (val: T): V

        • Parameters

          • val: T

          Returns V

    Returns monet.Validation<F, V>

bind

cata

  • cata<Z>(failFn: ((fail: E) => Z), successFn: ((val: T) => Z)): Z

  • Type Parameters

    • Z

    Parameters

    • failFn: ((fail: E) => Z)
        • (fail: E): Z

        • Parameters

          • fail: E

          Returns Z

    • successFn: ((val: T) => Z)
        • (val: T): Z

        • Parameters

          • val: T

          Returns Z

    Returns Z

catchMap

chain

equals

fail

  • fail(): E

  • Returns E

failMap

  • failMap<F>(fn: ((fail: E) => F)): monet.Validation<F, T>

  • Type Parameters

    • F

    Parameters

    • fn: ((fail: E) => F)
        • (fail: E): F

        • Parameters

          • fail: E

          Returns F

    Returns monet.Validation<F, T>

Optional fantasy-land/ap

Optional fantasy-land/chain

Optional fantasy-land/equals

Optional fantasy-land/map

flatMap

fold

  • fold<Z>(failFn: ((fail: E) => Z), successFn: ((val: T) => Z)): Z

  • Type Parameters

    • Z

    Parameters

    • failFn: ((fail: E) => Z)
        • (fail: E): Z

        • Parameters

          • fail: E

          Returns Z

    • successFn: ((val: T) => Z)
        • (val: T): Z

        • Parameters

          • val: T

          Returns Z

    Returns Z

foldLeft

  • foldLeft<V>(initial: V): ((fn: ((acc: V, val: T) => V)) => V)

  • Type Parameters

    • V

    Parameters

    • initial: V

    Returns ((fn: ((acc: V, val: T) => V)) => V)

      • (fn: ((acc: V, val: T) => V)): V

      • Parameters

        • fn: ((acc: V, val: T) => V)
            • (acc: V, val: T): V

            • Parameters

              • acc: V
              • val: T

              Returns V

        Returns V

foldRight

  • foldRight<V>(initial: V): ((fn: ((val: T, acc: V) => V)) => V)

  • Type Parameters

    • V

    Parameters

    • initial: V

    Returns ((fn: ((val: T, acc: V) => V)) => V)

      • (fn: ((val: T, acc: V) => V)): V

      • Parameters

        • fn: ((val: T, acc: V) => V)
            • (val: T, acc: V): V

            • Parameters

              • val: T
              • acc: V

              Returns V

        Returns V

forEach

  • forEach(fn: ((val: T) => void)): void

  • Parameters

    • fn: ((val: T) => void)
        • (val: T): void

        • Parameters

          • val: T

          Returns void

    Returns void

forEachFail

  • forEachFail(fn: ((val: E) => void)): void

  • Parameters

    • fn: ((val: E) => void)
        • (val: E): void

        • Parameters

          • val: E

          Returns void

    Returns void

isFail

  • isFail(): boolean

  • Returns boolean

isSuccess

  • isSuccess(): boolean

  • Returns boolean

join

map

success

  • success(): T

  • Returns T

swap

takeLeft

takeRight

toEither

toMaybe

Settings

Member Visibility

Theme

On This Page

@@typeaccapapTobimapbindcatacatchMapchainequalsfailfailMapfantasy-land/apfantasy-land/chainfantasy-land/equalsfantasy-land/mapflatMapfoldfoldLeftfoldRightforEachforEachFailisFailisSuccessjoinmapsuccessswaptakeLefttakeRighttoEithertoMaybe