internal

Type Members

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

   

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

   Helper class that allows the type T to be inferred from calls like refineV[P](t). See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.

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

   

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

   Helper class that allows the type T to be inferred from calls like refineMV[P](t). See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.

3. trait Wrapper[F[_, _]] extends Serializable

   

   Type class for wrapping a value of type T into F together with a phantom type P.

   Type class for wrapping a value of type T into F together with a phantom type P. Instances must satisfy the following law: forall t, unwrap(wrap(t)) == t.