Package fj.data.hlist

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

  • Enclosing class:
    HPre

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