Package com.io7m.jproperties.monad

Interface JPropertyParseMonadType.JPropertyFailureType<A>

Type Parameters:

A - The type of result values

All Superinterfaces:

JPropertyParseMonadType<A>

All Known Implementing Classes:

JPropertyFailure

Enclosing interface:

JPropertyParseMonadType<A>

@Immutable
public static interface JPropertyParseMonadType.JPropertyFailureType<A>
extends JPropertyParseMonadType<A>

A result indicating failure.

Nested Class Summary

Nested classes/interfaces inherited from interface com.io7m.jproperties.monad.JPropertyParseMonadType

JPropertyParseMonadType.JPropertyErrorType, JPropertyParseMonadType.JPropertyFailureType<A>, JPropertyParseMonadType.JPropertySuccessType<A>, JPropertyParseMonadType.JPropertyWarningType, JPropertyParseMonadType.Kind, JPropertyParseMonadType.Unit

Method Summary

Modifier and Type	Method	Description
Exception	exception()
default <B> JPropertyParseMonadType<B>	flatMap(Function<A,JPropertyParseMonadType<B>> f)	Monadic bind for parse values.
default JPropertyParseMonadType.Kind	kind()
default <B> JPropertyParseMonadType<B>	map(Function<A,B> f)	Functor map for parse values.

Methods inherited from interface com.io7m.jproperties.monad.JPropertyParseMonadType

andThen, errors, warnings

Method Details

kind

default JPropertyParseMonadType.Kind kind()

Specified by:

kind in interface JPropertyParseMonadType<A>

Returns:

The kind of result

exception

Exception exception()

Returns:

The exception raised during parsing

flatMap

default <B> JPropertyParseMonadType<B> flatMap(Function<A,JPropertyParseMonadType<B>> f)

Description copied from interface: JPropertyParseMonadType

Monadic bind for parse values.

Specified by:

flatMap in interface JPropertyParseMonadType<A>

Type Parameters:

B - The type of result values

Parameters:

f - A function to apply to the current value

Returns:

A monad

map

default <B> JPropertyParseMonadType<B> map(Function<A,B> f)

Description copied from interface: JPropertyParseMonadType

Functor map for parse values.

Specified by:

map in interface JPropertyParseMonadType<A>

Type Parameters:

B - The type of result values

Parameters:

f - A function to apply to the current value

Returns:

A monad