Package hydra.lib.equality

Class EqualType

java.lang.Object

hydra.tools.PrimitiveFunction

hydra.lib.equality.EqualityFunction<Type>

hydra.lib.equality.EqualType

public class EqualType
extends EqualityFunction<Type>

Nested Class Summary

Nested classes/interfaces inherited from class hydra.lib.equality.EqualityFunction

EqualityFunction.Relation

Field Summary

Fields inherited from class hydra.lib.equality.EqualityFunction

criterion, expect, name, type

Constructor Summary

Constructors

Constructor	Description
EqualType()

Method Summary

Modifier and Type	Method	Description
static java.util.function.Function<Type,java.lang.Boolean>	apply(Type second)
static java.lang.Boolean	apply(Type first, Type second)

Methods inherited from class hydra.lib.equality.EqualityFunction

implementation, name, type

Methods inherited from class hydra.tools.PrimitiveFunction

term, toNative

Methods inherited from class java.lang.Object

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

Constructor Detail

EqualType

public EqualType()

Method Detail

apply

public static java.util.function.Function<Type,java.lang.Boolean> apply(Type second)

apply

public static java.lang.Boolean apply(Type first,
                                      Type second)