fj.data

Class $<A,B>

java.lang.Object

fj.P1<B>

fj.data.$<A,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. Replaced by constant(B) and synonym __(B) (prefer constant).
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, constant, curry, fmap, join, liftM2, map, memo, sequence, sequence, sequence, sequenceList, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, 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. Replaced by constant(B) and synonym __(B) (prefer constant).

__

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.