Package fj
Class Bottom
java.lang.Object
fj.Bottom
Represents the bottom _|_ value.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic <A> Error
Represents a deconstruction failure that was non-exhaustive.static <A> Error
Represents a deconstruction failure that was non-exhaustive.eMessage()
A function that returns thegetMessage
for a throwable.static Error
Returns an error to represent undefinedness in a computation with early failure using the given message.static <A> P1
<A> Provides a thunk that throws an error using the given message when evaluated.static <A,
B> F <A, B> Provides a function that throws an error using the given message, ignoring its argument.A function that returns thetoString
for a throwable.static Error
Returns an error to represent undefinedness in a computation.
-
Constructor Details
-
Bottom
private Bottom()
-
-
Method Details
-
undefined
Returns an error to represent undefinedness in a computation.- Returns:
- An error to represent undefinedness in a computation.
-
error
Returns an error to represent undefinedness in a computation with early failure using the given message.- Parameters:
s
- The message to fail with.- Returns:
- An error to represent undefinedness in a computation with early failure using the given message.
-
error_
Provides a thunk that throws an error using the given message when evaluated.- Parameters:
s
- The message to fail with.- Returns:
- A thunk that throws an error using the given message when evaluated.
-
errorF
Provides a function that throws an error using the given message, ignoring its argument.- Parameters:
s
- The message to fail with.- Returns:
- A function that throws an error using the given message, ignoring its argument.
-
decons
Represents a deconstruction failure that was non-exhaustive.- Parameters:
a
- The value being deconstructed.sa
- The rendering for the value being deconstructed.- Returns:
- A deconstruction failure that was non-exhaustive.
-
decons
Represents a deconstruction failure that was non-exhaustive.- Parameters:
c
- The type being deconstructed.- Returns:
- A deconstruction failure that was non-exhaustive.
-
eToString
A function that returns thetoString
for a throwable.- Returns:
- A function that returns the
toString
for a throwable.
-
eMessage
A function that returns thegetMessage
for a throwable.- Returns:
- A function that returns the
getMessage
for a throwable.
-