internal

Type Members

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

   

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

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

   

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

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

   

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