cyclops.control

Class Identity<T>

java.lang.Object

cyclops.control.Identity<T>

All Implemented Interfaces:

Convert<Higher<Witness.identity,T>>, Higher<Witness.identity,T>, java.lang.Iterable<T>

public class Identity<T>
extends java.lang.Object
implements Higher<Witness.identity,T>, java.lang.Iterable<T>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Identity.Instances

Constructor Summary

Constructors

Constructor and Description
Identity()

Method Summary

Modifier and Type	Method and Description
Active<Witness.identity,T>	allTypeclasses()
AnyMValue<Witness.identity,T>	anyM()
<R> Identity<R>	coflatMap(java.util.function.Function<? super Identity<? super T>,? extends R> fn)
<W1> Coproduct<W1,Witness.identity,T>	coproduct(InstanceDefinitions<W1> def2)
T	extract()
<R> Identity<R>	flatMap(java.util.function.Function<? super T,? extends Identity<? extends R>> fn)
T	get()
java.util.Iterator<T>	iterator()
static <T> Cokleisli<Witness.identity,T,Identity<T>>	kindCokleisli()
static <T> Kleisli<Witness.identity,Identity<T>,T>	kindKleisli()
<R> Identity<R>	map(java.util.function.Function<? super T,? extends R> fn)
<W2,R> Nested<Witness.identity,W2,R>	mapM(java.util.function.Function<? super T,? extends Higher<W2,R>> fn, InstanceDefinitions<W2> defs)
static <T> Identity<T>	narrow(Identity<? extends T> id)
static <T> Identity<T>	narrowK(Higher<Witness.identity,T> ds)
Identity<Identity<T>>	nest()
static <W1,T> Nested<Witness.identity,W1,T>	nested(Identity<Higher<W1,T>> nested, InstanceDefinitions<W1> def2)
static <T> Identity<T>	of(T value)
<W1> Product<Witness.identity,W1,T>	product(Active<W1,T> active)
static <T,R> Identity<R>	tailRec(T initial, java.util.function.Function<? super T,? extends Identity<? extends Xor<T,R>>> fn)
<R> R	visit(java.util.function.Function<? super T,? extends R> fn)
static <T> Higher<Witness.identity,T>	widen(Identity<T> narrow)

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

Identity

public Identity()

Method Detail

tailRec

public static <T,R> Identity<R> tailRec(T initial,
                                        java.util.function.Function<? super T,? extends Identity<? extends Xor<T,R>>> fn)

of

public static <T> Identity<T> of(T value)

nested

public static <W1,T> Nested<Witness.identity,W1,T> nested(Identity<Higher<W1,T>> nested,
                                                          InstanceDefinitions<W1> def2)

product

public <W1> Product<Witness.identity,W1,T> product(Active<W1,T> active)

coproduct

public <W1> Coproduct<W1,Witness.identity,T> coproduct(InstanceDefinitions<W1> def2)

get

public T get()

extract

public T extract()

visit

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

nest

public Identity<Identity<T>> nest()

coflatMap

public <R> Identity<R> coflatMap(java.util.function.Function<? super Identity<? super T>,? extends R> fn)

map

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

flatMap

public <R> Identity<R> flatMap(java.util.function.Function<? super T,? extends Identity<? extends R>> fn)

anyM

public AnyMValue<Witness.identity,T> anyM()

narrow

public static <T> Identity<T> narrow(Identity<? extends T> id)

narrowK

public static <T> Identity<T> narrowK(Higher<Witness.identity,T> ds)

allTypeclasses

public Active<Witness.identity,T> allTypeclasses()

mapM

public <W2,R> Nested<Witness.identity,W2,R> mapM(java.util.function.Function<? super T,? extends Higher<W2,R>> fn,
                                                 InstanceDefinitions<W2> defs)

iterator

public java.util.Iterator<T> iterator()

Specified by:

iterator in interface java.lang.Iterable<T>

kindKleisli

public static <T> Kleisli<Witness.identity,Identity<T>,T> kindKleisli()

widen

public static <T> Higher<Witness.identity,T> widen(Identity<T> narrow)

kindCokleisli

public static <T> Cokleisli<Witness.identity,T,Identity<T>> kindCokleisli()