Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
Bulat Khabibullin committed Jun 5, 2023
1 parent 779b280 commit 748fa39
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions core/src/main/scala/cats/data/IdT.scala
Original file line number Diff line number Diff line change
Expand Up @@ -48,9 +48,7 @@ final case class IdT[F[_], A](value: F[A]) {
* scala> import cats.~>
* scala> import cats.data.IdT
*
* scala> val vectorToList: Vector ~> List = new ~>[Vector, List] {
* | override def apply[A](v: Vector[A]): List[A] = v.toList
* | }
* scala> val vectorToList: Vector ~> List = new ~>[Vector, List] { override def apply[A](v: Vector[A]): List[A] = v.toList }
* scala> val idT: IdT[Vector, Int] = IdT(Vector(1, 2, 3))
* scala> idT.mapK[List](vectorToList)
* res0: IdT[List, Int] = IdT(List(1, 2, 3))
Expand Down

0 comments on commit 748fa39

Please sign in to comment.