| Interface | Description |
|---|---|
| FunctionType<A,B> |
Non-dependent unary function type.
|
| OptionPartialVisitorType<T,U,E extends Throwable> |
The type of partial
OptionType visitors. |
| OptionType<T> |
The type of optional values.
|
| OptionVisitorType<T,U> |
The type of
OptionType visitors. |
| PartialBiFunctionType<A,B,C,E extends Throwable> |
Non-dependent binary partial function type.
|
| PartialFunctionType<A,B,E extends Throwable> |
Non-dependent unary partial function type.
|
| PartialProcedureType<A,E extends Throwable> |
Non-dependent unary function type, equivalent to
PartialFunction<A, Unit, E> but substituting
void for Unit to avoid allocating useless objects. |
| ProcedureType<A> |
Non-dependent unary function type, equivalent to
Function<A, Unit> but substituting void for
Unit to avoid allocating useless objects. |
| TryPartialVisitorType<F,S,U,E extends Throwable> |
The type of
TryType visitors. |
| TryType<F,S> |
The type of computations that can succeed and yield
S, or fail
and yield F. |
| TryVisitorType<F,S,U> |
The type of
TryType visitors. |
| Class | Description |
|---|---|
| Failure<F,S> |
A computation that has failed.
|
| None<T> |
No value.
|
| Option |
Constructor functions for optional values.
|
| Pair<A,B> |
Immutable generic pair type.
|
| Some<T> |
A value.
|
| Success<F,S> |
A computation that has succeeded.
|
| Try |
Constructor functions for computations that can fail.
|
| Unit |
The single-valued unit type.
|
Copyright © 2017 <code@io7m.com> http://io7m.com