Module aya.base
Package org.aya.tyck.tycker

Interface AppTycker.Factory<Ex extends Exception>

All Superinterfaces:
BiFunction<org.aya.syntax.compile.JitTele,Function<org.aya.syntax.core.term.Term[],Jdg>,Jdg>, kala.function.CheckedBiFunction<org.aya.syntax.compile.JitTele,Function<org.aya.syntax.core.term.Term[],Jdg>,Jdg,Ex>
Enclosing interface:
AppTycker
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public static interface AppTycker.Factory<Ex extends Exception> extends kala.function.CheckedBiFunction<org.aya.syntax.compile.JitTele,Function<org.aya.syntax.core.term.Term[],Jdg>,Jdg,Ex>

  • Method Summary

    Methods inherited from interface java.util.function.BiFunction

    andThen

    Methods inherited from interface kala.function.CheckedBiFunction

    apply, applyChecked