eu.timepit.refined.internal.RefineMFullyApplied.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of refined_2.12.0-RC2 Show documentation

Simple refinement types for Scala

The newest version!

package eu.timepit.refined
package internal

import eu.timepit.refined.api.{RefType, Validate}
import eu.timepit.refined.macros.RefineMacro

final class RefineMFullyApplied[F[_, _], T, P] {

  def apply(t: T)(implicit rt: RefType[F], v: Validate[T, P]): F[T, P] =
    macro RefineMacro.impl[F, T, P]
}