com.mojang.datafixers.functions

Class Functions

java.lang.Object

com.mojang.datafixers.functions.Functions

public abstract class Functions
extends Object

Constructor Summary

Constructors

Constructor and Description
Functions()

Method Summary

Modifier and Type	Method and Description
static <A,B> PointFree<B>	app(PointFree<(A) -> B> fun, PointFree<A> arg, Type<A> argType)
static <A> com.mojang.datafixers.functions.Bang<A>	bang()
static <A,B,C> PointFree<(A) -> C>	comp(Type<B> middleType, PointFree<(B) -> C> f1, PointFree<(A) -> B> f2)
static <A,B> PointFree<(A) -> B>	fold(RecursivePoint.RecursivePointType<A> aType, RewriteResult<?,B> function, Algebra algebra, int index)
static <A,B> PointFree<(A) -> B>	fun(String name, (DynamicOps<?>) -> (A) -> B fun)
static <A> PointFree<(A) -> A>	id()
static <A> PointFree<(A) -> A>	in(RecursivePoint.RecursivePointType<A> type)
static <A> PointFree<(A) -> A>	out(RecursivePoint.RecursivePointType<A> type)
static <S,T,A,B> PointFree<((A) -> B) -> (S) -> T>	profunctorTransformer(Optic<? super FunctionType.Instance.Mu,S::A,T::B> lens)

Methods inherited from class java.lang.Object

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

Constructor Detail

Functions

public Functions()

Method Detail

comp

public static <A,B,C> PointFree<(A) -> C> comp(Type<B> middleType,
                                               PointFree<(B) -> C> f1,
                                               PointFree<(A) -> B> f2)

fun

public static <A,B> PointFree<(A) -> B> fun(String name,
                                            (DynamicOps<?>) -> (A) -> B fun)

app

public static <A,B> PointFree<B> app(PointFree<(A) -> B> fun,
                                     PointFree<A> arg,
                                     Type<A> argType)

profunctorTransformer

public static <S,T,A,B> PointFree<((A) -> B) -> (S) -> T> profunctorTransformer(Optic<? super FunctionType.Instance.Mu,S::A,T::B> lens)

bang

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

in

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

out

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

fold

public static <A,B> PointFree<(A) -> B> fold(RecursivePoint.RecursivePointType<A> aType,
                                             RewriteResult<?,B> function,
                                             Algebra algebra,
                                             int index)

id

public static <A> PointFree<(A) -> A> id()