Package com.mojang.datafixers.functions

Class Functions

java.lang.Object

com.mojang.datafixers.functions.Functions

public abstract class Functions
extends Object

Constructor Summary

Constructors

Constructor	Description
Functions()

Method Summary

Modifier and Type	Method	Description
static <A, B> PointFree<B>	app(PointFree<Function<A,B>> fun, PointFree<A> arg)
static <A> com.mojang.datafixers.functions.Bang<A>	bang(Type<A> type)
static <A, B, C> PointFree<Function<A,C>>	comp(PointFree<Function<B,C>> f1, PointFree<Function<A,B>> f2)
static <A, B> PointFree<Function<A,B>>	fold(RecursivePoint.RecursivePointType<A> aType, RecursivePoint.RecursivePointType<B> bType, Algebra algebra, int index)
static <A, B> PointFree<Function<A,B>>	fun(String name, Function<DynamicOps<?>,Function<A,B>> fun, Type<A> input, Type<B> output)
static <A> PointFree<Function<A,A>>	id(Type<A> type)
static <A> PointFree<Function<A,A>>	in(RecursivePoint.RecursivePointType<A> type)
static boolean	isId(PointFree<?> function)
static <A> PointFree<Function<A,A>>	out(RecursivePoint.RecursivePointType<A> type)
static <S, T, A, B> PointFree<Function<Function<A,B>,Function<S,T>>>	profunctorTransformer(TypedOptic<S,T,A,B> lens)

Methods inherited from class java.lang.Object

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

Constructor Details

Functions

public Functions()

Method Details

comp

public static <A,
B,
C> PointFree<Function<A,C>> comp(PointFree<Function<B,C>> f1,
 PointFree<Function<A,B>> f2)

fun

public static <A,
B> PointFree<Function<A,B>> fun(String name,
 Function<DynamicOps<?>,Function<A,B>> fun,
 Type<A> input,
 Type<B> output)

app

public static <A,
B> PointFree<B> app(PointFree<Function<A,B>> fun,
 PointFree<A> arg)

profunctorTransformer

public static <S,
T,
A,
B>
PointFree<Function<Function<A,B>,Function<S,T>>> profunctorTransformer(TypedOptic<S,T,A,B> lens)

bang

public static <A>
com.mojang.datafixers.functions.Bang<A> bang(Type<A> type)

in

public static <A> PointFree<Function<A,A>> in(RecursivePoint.RecursivePointType<A> type)

out

public static <A> PointFree<Function<A,A>> out(RecursivePoint.RecursivePointType<A> type)

fold

public static <A,
B> PointFree<Function<A,B>> fold(RecursivePoint.RecursivePointType<A> aType,
 RecursivePoint.RecursivePointType<B> bType,
 Algebra algebra,
 int index)

id

public static <A> PointFree<Function<A,A>> id(Type<A> type)

isId

public static boolean isId(PointFree<?> function)