Package fj.data
Class $<A,B>
java.lang.Object
fj.P1<B>
fj.data.$<A,B>
The constant arrow, for attaching a new name to an existing type. For every pair of types A and B, this type
is the identity morphism from B to B.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class fj.P1
__1, apply, bind, bind, bind, constant, curry, equals, f, hardMemo, hashCode, join, liftM2, liftM2, map, map_, memo, sequence, sequence, sequence, sequence, sequenceList, softMemo, toString, traverseEither, traverseList, traverseOption, traverseStream, traverseValidation, weakMemo
-
Field Details
-
b
-
-
Constructor Details
-
$
-
-
Method Details
-
__
Returns a function that given an argument, returns a function that ignores its argument.- Returns:
- A function that given an argument, returns a function that ignores its argument.
-
constant
-
_1
Description copied from class:P1
Access the first element of the product.
-