fj.data
Class $<A,B>

java.lang.Object
  fj.P1<B>
      fj.data.$<A,B>

public 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

static <A,B> $<A,B>	_(B b)
B	_1() Access the first element of the product.

Methods inherited from class fj.P1

__1, apply, bind, bind, curry, fmap, join, liftM2, map, sequence, sequence, sequence, sequenceList

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 class: P1

Access the first element of the product.

Specified by:

_1 in class P1<B>

Returns:

The first element of the product.