cyclops.control

Class Constant<T,P>

java.lang.Object

cyclops.control.Constant<T,P>

Type Parameters:

T - Value type

P - Phantom type

All Implemented Interfaces:

Convert<Higher<Higher<Witness.constant,T>,P>>, Higher<Higher<Witness.constant,T>,P>, Higher2<Witness.constant,T,P>, java.util.function.Supplier<T>

public class Constant<T,P>
extends java.lang.Object
implements Higher2<Witness.constant,T,P>, java.util.function.Supplier<T>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Constant.Instances

Constructor Summary

Constructors

Constructor and Description
Constant()

Method Summary

Modifier and Type	Method and Description
T	get()
<R> Constant<T,R>	map(java.util.function.Function<? super P,? extends R> fn)
static <T,P> MonoidK<Higher<Witness.constant,T>,P>	monoidK(Monoid<T> monoid)
static <T,P> Constant<T,P>	narrowK(Higher<Higher<Witness.constant,T>,P> constant)
static <T,P> Constant<T,P>	narrowK2(Higher2<Witness.constant,T,P> constant)
static <T,P> Constant<T,P>	of(T value)
static <T,P> SemigroupK<Higher<Witness.constant,T>,P>	semigroupK(Semigroup<T> monoid)

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.aol.cyclops2.hkt.Higher

applyHKT_, applyHKT, applyHKT

Methods inherited from interface com.aol.cyclops2.hkt.Convert

convert

Constructor Detail

Constant

public Constant()

Method Detail

map

public <R> Constant<T,R> map(java.util.function.Function<? super P,? extends R> fn)

of

public static <T,P> Constant<T,P> of(T value)

get

public T get()

Specified by:

get in interface java.util.function.Supplier<T>

narrowK2

public static <T,P> Constant<T,P> narrowK2(Higher2<Witness.constant,T,P> constant)

narrowK

public static <T,P> Constant<T,P> narrowK(Higher<Higher<Witness.constant,T>,P> constant)

semigroupK

public static <T,P> SemigroupK<Higher<Witness.constant,T>,P> semigroupK(Semigroup<T> monoid)

monoidK

public static <T,P> MonoidK<Higher<Witness.constant,T>,P> monoidK(Monoid<T> monoid)