Skip to content

Commit

Permalink
wip
Browse files Browse the repository at this point in the history
  • Loading branch information
fthomas committed Jul 26, 2016
1 parent 3739646 commit a0160f7
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ package object scalacheck {
def arbitraryRefType[F[_, _], T, P](gen: Gen[T])(implicit rt: RefType[F]): Arbitrary[F[T, P]] =
Arbitrary(gen.map(rt.unsafeWrap))

@deprecated("", "")
@deprecated("", "0.6.0")
def checkArbitraryRefType[F[_, _], T, P](implicit arb: Arbitrary[F[T, P]], rt: RefType[F], v: Validate[T, P]): Prop =
Prop.forAll((tp: F[T, P]) => v.isValid(rt.unwrap(tp)))

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -27,13 +27,13 @@ class RefineMacro(val c: blackbox.Context) extends MacroUtils {
c.Expr[FTP](refinedType.refType.unsafeWrapM[T, P](c)(t).tree)
}

@deprecated("", "")
@deprecated("", "0.6.0")
def impl[F[_, _], T: c.WeakTypeTag, P: c.WeakTypeTag](t: c.Expr[T])(
rt: c.Expr[RefType[F]], v: c.Expr[Validate[T, P]]
): c.Expr[F[T, P]] =
refineImpl[F[T, P], T, P](t)(reify(api.RefinedType.instance(rt.splice, v.splice)))

@deprecated("", "")
@deprecated("", "0.6.0")
def implApplyRef[FTP, F[_, _], T, P](t: c.Expr[T])(
ev: c.Expr[F[T, P] =:= FTP], rt: c.Expr[RefType[F]], v: c.Expr[Validate[T, P]]
): c.Expr[FTP] =
Expand Down

0 comments on commit a0160f7

Please sign in to comment.