Package fj.data.hlist

Class HPre.HEq<X,Y,B extends HPre.HBool>

java.lang.Object
fj.data.hlist.HPre.HEq<X,Y,B>
Enclosing class:
HPre

public static final class HPre.HEq<X,Y,B extends HPre.HBool> extends Object
Type-level equality. Represents evidence for X and Y being equal, or counterevidence against.