Skip to content

Commit

Permalink
sbt fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
erikerlandson committed Apr 8, 2020
1 parent 1195edf commit 7a3db14
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,8 @@ object Implies {
import scala.reflect.macros.blackbox
import Inference.==>

def manifest[A: c.WeakTypeTag, B: c.WeakTypeTag](c: blackbox.Context)(ir: c.Expr[A ==> B]): c.Expr[Implies[A, B]] = {
def manifest[A: c.WeakTypeTag, B: c.WeakTypeTag](
c: blackbox.Context
)(ir: c.Expr[A ==> B]): c.Expr[Implies[A, B]] =
c.universe.reify(Implies[A, B]((ir.splice).show))
}
}
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,8 @@ object auto {
ir: A ==> B
): F[T, B] = macro InferMacro.impl[F, T, A, B]

implicit def autoImply[A, B](implicit
implicit def autoImply[A, B](
implicit
ir: A ==> B
): Implies[A, B] = macro InferMacro.implies[A, B]

Expand Down

0 comments on commit 7a3db14

Please sign in to comment.