package internal
- Alphabetic
- Public
- All
Type Members
-
final
class
ApplyRefMPartiallyApplied
[FTP] extends AnyRef
Helper class that allows the types
F,T, andPto be inferred from calls likeapi.RefType.applyRefM[F[T, P]](t).Helper class that allows the types
F,T, andPto be inferred from calls likeapi.RefType.applyRefM[F[T, P]](t).See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.
-
final
class
ApplyRefPartiallyApplied
[FTP] extends AnyRef
Helper class that allows the types
F,T, andPto be inferred from calls likeapi.RefType.applyRef[F[T, P]](t).Helper class that allows the types
F,T, andPto be inferred from calls likeapi.RefType.applyRef[F[T, P]](t).See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.
- final class RefineMFullyApplied [F[_, _], T, P] extends AnyRef
-
final
class
RefineMPartiallyApplied
[F[_, _], P] extends AnyRef
Helper class that allows the type
Tto be inferred from calls likeapi.RefType.refineM[P](t).Helper class that allows the type
Tto be inferred from calls likeapi.RefType.refineM[P](t).See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.
-
final
class
RefinePartiallyApplied
[F[_, _], P] extends AnyRef
Helper class that allows the type
Tto be inferred from calls likeapi.RefType.refine[P](t).Helper class that allows the type
Tto be inferred from calls likeapi.RefType.refine[P](t).See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.