Package com.io7m.jproperties.monad

Interface JPropertyParseMonadType<A>

Type Parameters:

A - The type of returned values

All Known Subinterfaces:

JPropertyParseMonadType.JPropertyFailureType<A>, JPropertyParseMonadType.JPropertySuccessType<A>

All Known Implementing Classes:

JPropertyFailure, JPropertySuccess

public interface JPropertyParseMonadType<A>

A parser monad.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	JPropertyParseMonadType.JPropertyErrorType	The type of parse errors.
static interface	JPropertyParseMonadType.JPropertyFailureType<A>	A result indicating failure.
static interface	JPropertyParseMonadType.JPropertySuccessType<A>	A result indicating success.
static interface	JPropertyParseMonadType.JPropertyWarningType	The type of parse warnings.
static enum	JPropertyParseMonadType.Kind	The kind of result.
static enum	JPropertyParseMonadType.Unit	Single-valued unit type.

Method Summary

Modifier and Type	Method	Description
default <B> JPropertyParseMonadType<B>	andThen(Supplier<JPropertyParseMonadType<B>> f)	Monadic bind for parse values.
List<JPropertyError>	errors()
<B> JPropertyParseMonadType<B>	flatMap(Function<A,JPropertyParseMonadType<B>> f)	Monadic bind for parse values.
JPropertyParseMonadType.Kind	kind()
<B> JPropertyParseMonadType<B>	map(Function<A,B> f)	Functor map for parse values.
List<JPropertyWarning>	warnings()

Method Details

kind

JPropertyParseMonadType.Kind kind()

Returns:

The kind of result

warnings

List<JPropertyWarning> warnings()

Returns:

The accumulated warnings

errors

List<JPropertyError> errors()

Returns:

The accumulated errors

flatMap

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

Monadic bind for parse values.

Type Parameters:

B - The type of result values

Parameters:

f - A function to apply to the current value

Returns:

A monad

andThen

default <B> JPropertyParseMonadType<B> andThen(Supplier<JPropertyParseMonadType<B>> f)

Monadic bind for parse values.

Type Parameters:

B - The type of result values

Parameters:

f - A function to apply to the current value

Returns:

A monad

map

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

Functor map for parse values.

Type Parameters:

B - The type of result values

Parameters:

f - A function to apply to the current value

Returns:

A monad