fj.data

Class $<A,B>

java.lang.Object

fj.P1<B>

fj.data.$<A,B>

All Implemented Interfaces:

F0<B>

public final class $<A,B>
extends P1<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.

Method Summary

Modifier and Type	Method and Description
static <A,B> $<A,B>	__(B b)
static <A,B> $<A,B>	_(B b) Deprecated. JDK 8 warns '_' may not be supported after SE 8. As of release 4.4, use constant(B) (note the synonym __(B)).
B	_1() Access the first element of the product.
static <A,B> $<A,B>	constant(B b)

Methods inherited from class fj.P1

__1, apply, bind, bind, bind, constant, curry, equals, f, fmap, hardMemo, hashCode, join, liftM2, liftM2, map_, map, memo, memo, memo, sequence, sequence, sequence, sequence, sequenceList, softMemo, toString, traverseEither, traverseList, traverseOption, traverseStream, traverseValidation, weakMemo

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

_

@Deprecated
public static <A,B> $<A,B> _(B b)

Deprecated. JDK 8 warns '_' may not be supported after SE 8. As of release 4.4, use constant(B) (note the synonym __(B)).

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.

__

public static <A,B> $<A,B> __(B b)

constant

public static <A,B> $<A,B> constant(B b)

_1

public B _1()

Description copied from class: P1

Access the first element of the product.

Specified by:

_1 in class P1<B>

Returns:

The first element of the product.