internal

Type Members

1. final class RefineAux[F[_, _], P] extends AnyRef

   

   Helper class that allows the type T to be inferred from calls like RefType.refine[P](t).

   Helper class that allows the type T to be inferred from calls like RefType.refine[P](t).

   See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.

2. final class RefineMAux[F[_, _], P] extends AnyRef

   

   Helper class that allows the type T to be inferred from calls like RefType.refineM[P](t).

   Helper class that allows the type T to be inferred from calls like RefType.refineM[P](t).

   See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.