org.organicdesign.fp

Interface Or<G,B>

All Known Implementing Classes:

Or.Bad, Or.Good

public interface Or<G,B>

`Or` represents the presence of a successful outcome, or an error. Contrast this with Option which represents the presence or absence of a value. Option.Some and Or.Good are just about identical. Unlike Option.None, Bad contains an error code or value. Bill Venners, Scalactic, SuperSafe, and Functional Error Handling talk at SF Scala 2015-02-24 convinced me that Or is friendlier than Either. This class is based on Bill Venners' Or. I did not make Every, One, and Many sub-classes, figuring that you can make an Or<GoodType,ImList<BadType>> if you expect that. Bill makes the point that there are still some reasons to throw exceptions, but he says to "Throw exceptions at developers, not at code" meaning that if there's code in your program that can recover from the issue, use a functional return type (like Or). Throw exceptions for things a program can't handle without developer intervention. Any errors are my own.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Or.Bad<G,B> Represents the presence of a Bad value (and absence of a Good).
static class	Or.Good<G,B> Represents the presence of a Good value (and absence of a Bad).

Method Summary

Modifier and Type	Method and Description
B	bad() Returns the bad value if this is a Bad, or throws an exception if this is a Good.
static <G,B> Or.Bad<G,B>	bad(B bad) Construct a new Bad from the given object.
G	good() Returns the good value if this is a Good, or throws an exception if this is a Bad.
static <G,B> Or.Good<G,B>	good(G good) Construct a new Good from the given object.
boolean	isBad() Returns true if this Or has a bad value.
boolean	isGood() Returns true if this Or has a good value.
static <B,G,R> R	patMatch(Or<G,B> either, Function1<? super G,R> g, Function1<? super B,R> b) Pattern-match, applying the first function if the given either is a Bad, the second if it's a Good.

Method Detail

isGood

boolean isGood()

Returns true if this Or has a good value.

isBad

boolean isBad()

Returns true if this Or has a bad value.

good

G good()

Returns the good value if this is a Good, or throws an exception if this is a Bad.

bad

B bad()

Returns the bad value if this is a Bad, or throws an exception if this is a Good.

good

static <G,B> Or.Good<G,B> good(G good)

Construct a new Good from the given object.

bad

static <G,B> Or.Bad<G,B> bad(B bad)

Construct a new Bad from the given object.

patMatch

static <B,G,R> R patMatch(Or<G,B> either,
                          Function1<? super G,R> g,
                          Function1<? super B,R> b)

Pattern-match, applying the first function if the given either is a Bad, the second if it's a Good.

Parameters:

either - the non-null Or to match against

g - the function to apply if the Or is Good

b - the function to apply if the Or is Bad

Returns:

the result of whichever function is applied.

Throws:

IllegalArgumentException - if either is null.