Package com.io7m.jproperties.monad
Property parsing monad.
-
Interface Summary Interface Description JPropertyParseMonadType<A> A parser monad.JPropertyParseMonadType.JPropertyErrorType The type of parse errors.JPropertyParseMonadType.JPropertyFailureType<A> A result indicating failure.JPropertyParseMonadType.JPropertySuccessType<A> A result indicating success.JPropertyParseMonadType.JPropertyWarningType The type of parse warnings.JPropertyParsing.ParseFunctionType<T> A parse function. -
Class Summary Class Description JPropertyError The type of parse errors.JPropertyError.Builder Builds instances of typeJPropertyError.JPropertyFailure<A> A result indicating failure.JPropertyFailure.Builder<A> Builds instances of typeJPropertyFailure.JPropertyParsing Parser monad functions.JPropertySuccess<A> A result indicating success.JPropertySuccess.Builder<A> Builds instances of typeJPropertySuccess.JPropertyWarning The type of parse warnings.JPropertyWarning.Builder Builds instances of typeJPropertyWarning. -
Enum Summary Enum Description JPropertyParseMonadType.Kind The kind of result.JPropertyParseMonadType.Unit Single-valued unit type.