net.emaze.dysfunctional

Class Options.Maybes

java.lang.Object

net.emaze.dysfunctional.Options.Maybes

Enclosing class:

Options

public abstract static class Options.Maybes
extends Object

pure, pures, justs, lift, lifts, drop, drops.

Constructor Summary

Constructors

Constructor and Description
Options.Maybes()

Method Summary

Methods

Modifier and Type	Method and Description
static <T> T	drop(Maybe<T> maybe) Transforms a Maybe.nothing to null, a Maybe.just to the wrapped value.
static <T> Iterator<T>	drops(Iterable<Maybe<T>> iterable) Creates an iterator transforming Maybes from the source iterable to null when the source element is Nothing, to the wrapped value otherwise.
static <T> Iterator<T>	drops(Iterator<Maybe<T>> iterator) Creates an iterator transforming Maybes from the source iterator to null when the source element is Nothing, to the wrapped value otherwise.
static <T> Iterator<T>	drops(Maybe<T> first, Maybe<T> second) Creates an iterator transformed passed elements such as the become null when the source element is Nothing, the wrapped value otherwise.
static <T> Iterator<T>	drops(Maybe<T> first, Maybe<T> second, Maybe<T> third) Creates an iterator transformed passed elements such as the become null when the source element is Nothing, the wrapped value otherwise.
static <T> Maybe<T>	join(Maybe<Maybe<T>> maybe) Conventional monad join operator.
static <T> Iterator<T>	justs(Iterable<Maybe<T>> maybes) Filters nothings out of an Iterable of Maybe T, returning an Iterator of T.
static <T> Iterator<T>	justs(Iterator<Maybe<T>> maybes) Filters nothings out of an Iterator of Maybe T, returning an Iterator of T.
static <T> Iterator<T>	justs(Maybe<T> first, Maybe<T> second) Filters nothings out of an array of Maybe T, returning an Iterator of T.
static <T> Iterator<T>	justs(Maybe<T> first, Maybe<T> second, Maybe<T> third) Filters nothings out of an array of Maybe T, returning an Iterator of T.
static <R,T> Delegate<Maybe<R>,Maybe<T>>	lift(Delegate<R,T> delegate) Transforms a delegate to another working on maybe monadic values.
static <T> Maybe<T>	lift(T value) Transforms a null value to Maybe.nothing, a non-null value to Maybe.just(value)
static <T> Iterator<Maybe<T>>	lifts(Iterable<T> iterable) Creates an iterator transforming elements from the source iterable to Maybe.nothing when the source element is null, to Maybe.just(sourceValue) otherwise.
static <T> Iterator<Maybe<T>>	lifts(Iterator<T> iterator) Creates an iterator transforming elements from the source iterator to Maybe.nothing when the source element is null, to Maybe.just(sourceValue) otherwise.
static <T> Iterator<Maybe<T>>	lifts(T first, T second) Creates an iterator transforming passed values to Maybe.nothing when the source element is null, to Maybe.just(sourceValue) otherwise.
static <T> Iterator<Maybe<T>>	lifts(T first, T second, T third) Creates an iterator transforming passed values to Maybe.nothing when the source element is null, to Maybe.just(sourceValue) otherwise.
static <T> Maybe<T>	pure(T value) Yields Maybe.pure() of a value.
static <T> Iterator<Maybe<T>>	pures(Iterable<T> values) Creates an iterator transforming values from the source iterable into pure() Maybe monadic values.
static <T> Iterator<Maybe<T>>	pures(Iterator<T> values) Creates an iterator transforming values from the source iterator into pure() Maybe monadic values.
static <T> Iterator<Maybe<T>>	pures(T... values) Creates an iterator yielding values pure() Maybe monadic value of the passed values.
static <T> Iterator<Maybe<T>>	pures(T value) Creates a singleton iterator yielding pure() Maybe monadic value of the passed value.
static <T> Iterator<Maybe<T>>	pures(T first, T second) Creates an iterator yielding pure() Maybe monadic value of the passed values.
static <T> Iterator<Maybe<T>>	pures(T first, T second, T third) Creates an iterator yielding pure() Maybe monadic value of the passed values.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Options.Maybes

public Options.Maybes()

Method Detail

pure

public static <T> Maybe<T> pure(T value)

Yields Maybe.pure() of a value. (Just value) E.g: Maybes.pure(1) -> Maybe.just(1)

Type Parameters:

T - the value type

Parameters:

value - the value to be transformed

Returns:

the resulting maybe

pures

public static <T> Iterator<Maybe<T>> pures(Iterator<T> values)

Creates an iterator transforming values from the source iterator into pure() Maybe monadic values. E.g: Maybes.pures([1,2,3]) -> [Just 1, Just 2, Just 3]

Type Parameters:

T - the iterator element type

Parameters:

values - the source iterator

Returns:

the resulting iterator

pures

public static <T> Iterator<Maybe<T>> pures(Iterable<T> values)

Creates an iterator transforming values from the source iterable into pure() Maybe monadic values. E.g: Maybes.pures([1,2,3]) -> [Just 1, Just 2, Just 3]

Type Parameters:

T - the iterable element type

Parameters:

values - the source iterable

Returns:

the resulting iterator

pures

public static <T> Iterator<Maybe<T>> pures(T value)

Creates a singleton iterator yielding pure() Maybe monadic value of the passed value. E.g: Maybes.pures(1) -> [Just 1]

Type Parameters:

T - the element type

Parameters:

value - the source value

Returns:

the resulting iterator

pures

public static <T> Iterator<Maybe<T>> pures(T first,
                           T second)

Creates an iterator yielding pure() Maybe monadic value of the passed values. E.g: Maybes.pures(1, 2) -> [Just 1, Just 2]

Type Parameters:

T - the elements type

Parameters:

first - the first element

second - the second element

Returns:

the resulting iterator

pures

public static <T> Iterator<Maybe<T>> pures(T first,
                           T second,
                           T third)

Creates an iterator yielding pure() Maybe monadic value of the passed values. E.g: Maybes.pures(1, 2, 3) -> [Just 1, Just 2, Just 3]

Type Parameters:

T - the elements type

Parameters:

first - the first element

second - the second element

third - the third element

Returns:

the resulting iterator

pures

public static <T> Iterator<Maybe<T>> pures(T... values)

Creates an iterator yielding values pure() Maybe monadic value of the passed values. E.g: Maybes.pures(1, 2, 3, 4) -> [Just 1, Just 2, Just 3, Just 4]

Type Parameters:

T - the array element type

Parameters:

values - the source array

Returns:

the resulting array

justs

public static <T> Iterator<T> justs(Iterator<Maybe<T>> maybes)

Filters nothings out of an Iterator of Maybe T, returning an Iterator of T. E.g: Maybes.justs([Just 1, Nothing, Just null]) -> [1, null]

Type Parameters:

T - the Maybe type parameter

Parameters:

maybes - an iterator of Maybe

Returns:

the resulting iterator

justs

public static <T> Iterator<T> justs(Iterable<Maybe<T>> maybes)

Filters nothings out of an Iterable of Maybe T, returning an Iterator of T. E.g: Maybes.justs([Just 1, Nothing, Just null]) -> [1, null]

Type Parameters:

T - the Maybe type parameter

Parameters:

maybes - an iterable of Maybe

Returns:

the resulting iterator

justs

public static <T> Iterator<T> justs(Maybe<T> first,
                    Maybe<T> second)

Filters nothings out of an array of Maybe T, returning an Iterator of T. E.g: Maybes.justs([Nothing, Just null]) -> [null]

Type Parameters:

T - the Maybe type parameter

Parameters:

first - the first element

second - the second element

Returns:

the resulting iterator

justs

public static <T> Iterator<T> justs(Maybe<T> first,
                    Maybe<T> second,
                    Maybe<T> third)

Filters nothings out of an array of Maybe T, returning an Iterator of T. E.g: Maybes.justs([Just 1, Nothing, Just null]) -> [1, null]

Type Parameters:

T - the Maybe type parameter

Parameters:

first - the first element

second - the second element

third - the third element

Returns:

the resulting iterator

lift

public static <T> Maybe<T> lift(T value)

Transforms a null value to Maybe.nothing, a non-null value to Maybe.just(value)

Type Parameters:

T - the value type parameter

Parameters:

value - the value to be lifted

Returns:

a Maybe

lift

public static <R,T> Delegate<Maybe<R>,Maybe<T>> lift(Delegate<R,T> delegate)

Transforms a delegate to another working on maybe monadic values.

Type Parameters:

R - the delegate return type

T - the delegate parameter type

Parameters:

delegate - the delegate to be lifted

Returns:

the transformed delegate

lifts

public static <T> Iterator<Maybe<T>> lifts(Iterator<T> iterator)

Creates an iterator transforming elements from the source iterator to Maybe.nothing when the source element is null, to Maybe.just(sourceValue) otherwise. E.g: Maybes.lift([null, 1, 2]) -> [Nothing, Just 1, Just 2]

Type Parameters:

T - the value type parameter

Parameters:

iterator - the iterator to be lifted

Returns:

the resulting iterator

lifts

public static <T> Iterator<Maybe<T>> lifts(Iterable<T> iterable)

Creates an iterator transforming elements from the source iterable to Maybe.nothing when the source element is null, to Maybe.just(sourceValue) otherwise. E.g: Maybes.lift([null, 1, 2]) -> [Nothing, Just 1, Just 2]

Type Parameters:

T - the value type parameter

Parameters:

iterable - the iterable to be lifted

Returns:

the resulting iterator

lifts

public static <T> Iterator<Maybe<T>> lifts(T first,
                           T second)

Creates an iterator transforming passed values to Maybe.nothing when the source element is null, to Maybe.just(sourceValue) otherwise. E.g: Maybes.lift(null, 1) -> [Nothing, Just 1]

Type Parameters:

T - the value type

Parameters:

first - the first element

second - the second element

Returns:

the resulting iterator

lifts

public static <T> Iterator<Maybe<T>> lifts(T first,
                           T second,
                           T third)

Creates an iterator transforming passed values to Maybe.nothing when the source element is null, to Maybe.just(sourceValue) otherwise. E.g: Maybes.lift(null, 1, 3) -> [Nothing, Just 1, Just 3]

Type Parameters:

T - the value type

Parameters:

first - the first element

second - the second element

third - the third element

Returns:

the resulting iterator

drop

public static <T> T drop(Maybe<T> maybe)

Transforms a Maybe.nothing to null, a Maybe.just to the wrapped value. E.g: Maybes.drop(Just 1) -> 1 Maybes.drop(Nothing) -> null

Type Parameters:

T - the value type parameter

Parameters:

maybe - the maybe to be dropped

Returns:

null or a value

drops

public static <T> Iterator<T> drops(Iterator<Maybe<T>> iterator)

Creates an iterator transforming Maybes from the source iterator to null when the source element is Nothing, to the wrapped value otherwise. E.g: Maybes.drops([Just null, Nothing, Just 3]) -> [null, null, 3]

Type Parameters:

T - the value type parameter

Parameters:

iterator - the iterator to be dropped

Returns:

an iterator of T

drops

public static <T> Iterator<T> drops(Iterable<Maybe<T>> iterable)

Creates an iterator transforming Maybes from the source iterable to null when the source element is Nothing, to the wrapped value otherwise. E.g: Maybes.drops([Just null, Nothing, Just 3]) -> [null, null, 3]

Type Parameters:

T - the value type parameter

Parameters:

iterable - the Iterable to be dropped

Returns:

the resulting iterator

drops

public static <T> Iterator<T> drops(Maybe<T> first,
                    Maybe<T> second)

Creates an iterator transformed passed elements such as the become null when the source element is Nothing, the wrapped value otherwise. E.g: Maybes.drops([Just null, Just 3]) -> [null, 3]

Type Parameters:

T - the value type parameter

Parameters:

first - the first maybe

second - the second maybe

Returns:

the resulting iterator

drops

public static <T> Iterator<T> drops(Maybe<T> first,
                    Maybe<T> second,
                    Maybe<T> third)

Creates an iterator transformed passed elements such as the become null when the source element is Nothing, the wrapped value otherwise. E.g: Maybes.drops([Just null, Just 3]) -> [null, 3]

Type Parameters:

T - the value type parameter

Parameters:

first - the first maybe

second - the second maybe

third - the third maybe

Returns:

the resulting iterator

join

public static <T> Maybe<T> join(Maybe<Maybe<T>> maybe)

Conventional monad join operator. It is used to remove one level of monadic structure, projecting its bound argument into the outer level.

Type Parameters:

T - the value type parameter

Parameters:

maybe - the source monad

Returns:

the unwrapped monad