frege.run7

Class Func.U.D<𝓐,𝓑>

java.lang.Object

frege.run7.Func.U.D<𝓐,𝓑>

All Implemented Interfaces:

frege.run.Kind.B<Func.U<?,?>,𝓐,𝓑>, frege.run.Kind.U<Func.U<𝓐,?>,𝓑>, Func.U<𝓐,𝓑>, Lazy<Func.U<𝓐,𝓑>>, java.util.concurrent.Callable<Func.U<𝓐,𝓑>>

Enclosing interface:

Func.U<𝓐,𝓑>

public abstract static class Func.U.D<𝓐,𝓑>
extends java.lang.Object
implements Func.U<𝓐,𝓑>

Nested Class Summary

Nested classes/interfaces inherited from interface frege.run7.Func.U

Func.U.D<𝓐,𝓑>

Constructor Summary

Constructors

Constructor and Description
D()

Method Summary

Modifier and Type	Method and Description
abstract Lazy<𝓑>	apply(Lazy<𝓐> a)
Thunk<Func.U<𝓐,𝓑>>	asThunk() Tell if this is really a Thunk
Func.U<𝓐,𝓑>	call() Compute the value if it is needed.
boolean	isShared() Tell if this is shared.

Methods inherited from class java.lang.Object

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

Constructor Detail

D

public D()

Method Detail

call

public Func.U<𝓐,𝓑> call()

Description copied from interface: Lazy

Compute the value if it is needed.

Specified by:

call in interface Func.U<𝓐,𝓑>

Specified by:

call in interface Lazy<Func.U<𝓐,𝓑>>

Specified by:

call in interface java.util.concurrent.Callable<Func.U<𝓐,𝓑>>

See Also:

Callable.call()

isShared

public boolean isShared()

Description copied from interface: Lazy

Tell if this is shared.

Data and functions whose Lazy.call() method returns this as well as simple boxes that just hold a value ready to be supplied and Thunks are considered shared.

But a bare lambda expression is assumed to be in need of sharing. For example:

() -> 42

Specified by:

isShared in interface Func.U<𝓐,𝓑>

Specified by:

isShared in interface Lazy<Func.U<𝓐,𝓑>>

asThunk

public Thunk<Func.U<𝓐,𝓑>> asThunk()

Description copied from interface: Lazy

Tell if this is really a Thunk

Specified by:

asThunk in interface Lazy<Func.U<𝓐,𝓑>>

Returns:

apply

public abstract Lazy<𝓑> apply(Lazy<𝓐> a)

Specified by:

apply in interface Func.U<𝓐,𝓑>