fj.data

Class $<A,B>

java.lang.Object

fj.data.$<A,B>

All Implemented Interfaces:

P1<B>

public final class $<A,B>
extends java.lang.Object
implements 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

Methods

Modifier and Type	Method and Description
static <A,B> $<A,B>	_(B b)
B	_1() Access the first element of the product.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

_

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

_1

public B _1()

Description copied from interface: P1

Access the first element of the product.

Specified by:

_1 in interface P1<B>

Returns:

The first element of the product.