Package com.io7m.jproperties.monad

Interface JPropertyParseMonadType.JPropertySuccessType<A>

Type Parameters:

A - The type of result values

All Superinterfaces:

JPropertyParseMonadType<A>

All Known Implementing Classes:

JPropertySuccess

Enclosing interface:

JPropertyParseMonadType<A>

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

A result indicating success.

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
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.
A	result()

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

result

A result()

Returns:

The result of 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