fj.data

Class $<A,B>

java.lang.Object

fj.P1<B>

fj.data.$<A,B>

All Implemented Interfaces:

F0<B>, java.util.function.Supplier<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) Returns a function that given an argument, returns a function that ignores its argument.
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, hardMemo, hashCode, join, liftM2, liftM2, map_, map, 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

Methods inherited from interface fj.F0

get, toEffect0, toP1, toTry0, toTryEffect0

Method Detail

__

public static <A,B> $<A,B> __(B 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.

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.