|
| 1 | +import ch08.{display, Display, encode, decode, Codec} |
| 2 | + |
| 3 | +display("hello") |
| 4 | +display(true) |
| 5 | +display(Display.Box("hello")) |
| 6 | +// If we don’t have a Display for the type inside the Box, |
| 7 | +// calls to display should fail to compile: |
| 8 | + |
| 9 | +// display(Box(123)) |
| 10 | + |
| 11 | +val ca = encode(123.4) |
| 12 | +val cb = decode[Double]("123.4") |
| 13 | + |
| 14 | +val cc = encode(Codec.Box(123.4)) |
| 15 | +val cd = decode[Codec.Box[Double]]("123.4") |
| 16 | + |
| 17 | +// 3.5.2 Functor Syntax |
| 18 | +val func1 = (a: Int) => a + 1 |
| 19 | +val func2 = (a: Int) => a * 2 |
| 20 | +val func3 = (a: Int) => s"${a}!" |
| 21 | +val func4 = func1.map(func2).map(func3) |
| 22 | + |
| 23 | +func4(123) |
| 24 | + |
| 25 | +def doMath[F[_]](start: F[Int])(using functor: Functor[F]): F[Int] = |
| 26 | + start.map(n => n + 1 * 2) |
| 27 | + |
| 28 | +doMath(Option(20)) |
| 29 | +doMath(List(1, 2, 3)) |
| 30 | + |
| 31 | +// 8.7.1 Contravariant in Cats |
| 32 | +import cats.Contravariant |
| 33 | +import cats.Show |
| 34 | +import cats.instances.string.catsStdShowForString |
| 35 | + |
| 36 | +val showString = Show[String] |
| 37 | + |
| 38 | +// trait Contravariant[F[_]]: |
| 39 | +// def contramap[A, B](fa: F[A])(f: B => A): F[B] |
| 40 | + |
| 41 | +val showSymbol: Show[Symbol] = Contravariant[Show].contramap(showString)((sym: Symbol) => s"'${sym.name}") |
| 42 | + |
| 43 | +showSymbol.show(Symbol("dave")) |
| 44 | + |
| 45 | +import cats.syntax.contravariant.toContravariantOps |
| 46 | + |
| 47 | +showString |
| 48 | + .contramap[Symbol](sym => s"'${sym.name}") |
| 49 | + .show(Symbol("dave")) |
| 50 | + |
| 51 | +// 8.7.2 Invariant in Cats |
| 52 | +import cats.Monoid |
| 53 | +import cats.instances.string.catsKernelStdMonoidForString |
| 54 | +import cats.syntax.invariant.toInvariantOps |
| 55 | +import cats.syntax.semigroup.catsSyntaxSemigroup |
| 56 | + |
| 57 | +given Monoid[Symbol] = |
| 58 | + Monoid[String].imap(Symbol.apply)(_.name) |
| 59 | + |
| 60 | +Monoid[Symbol].empty |
| 61 | + |
| 62 | +Symbol("a") |+| Symbol("few") |+| Symbol("words") |
| 63 | + |
| 64 | +// 8.8 Aside: Partial Unification |
| 65 | +val f1 = (x: Int) => x.toDouble |
| 66 | +val f2 = (y: Double) => y * 2 |
| 67 | + |
| 68 | +val f3 = func1.map(func2) |
| 69 | + |
| 70 | +val either: Either[String, Int] = Right(123) |
| 71 | + |
| 72 | +either.map(_ + 1) |
| 73 | + |
| 74 | +val f3a: Int => Double = |
| 75 | + a => f2(f1(a)) |
| 76 | + |
| 77 | +val f3b: Int => Double = |
| 78 | + f2.compose(f1) |
| 79 | + |
| 80 | +// error: value contramap is not a member of Double => Double |
| 81 | +// val f3c = f2.contramap(f1) |
| 82 | + |
| 83 | +type <=[B, A] = A => B |
| 84 | + |
| 85 | +type F[A] = Double <= A |
| 86 | + |
| 87 | +val f2b: Double <= Double = f2 |
| 88 | + |
| 89 | +val f3c = f2b.contramap(f1) |
0 commit comments