|
| 1 | +/* |
| 2 | + * Copyright (c) 2015 Typelevel |
| 3 | + * |
| 4 | + * Permission is hereby granted, free of charge, to any person obtaining a copy of |
| 5 | + * this software and associated documentation files (the "Software"), to deal in |
| 6 | + * the Software without restriction, including without limitation the rights to |
| 7 | + * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of |
| 8 | + * the Software, and to permit persons to whom the Software is furnished to do so, |
| 9 | + * subject to the following conditions: |
| 10 | + * |
| 11 | + * The above copyright notice and this permission notice shall be included in all |
| 12 | + * copies or substantial portions of the Software. |
| 13 | + * |
| 14 | + * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| 15 | + * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS |
| 16 | + * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR |
| 17 | + * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER |
| 18 | + * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN |
| 19 | + * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
| 20 | + */ |
| 21 | + |
| 22 | +package cats |
| 23 | +package arrow |
| 24 | + |
| 25 | +private[arrow] trait FunctionKLift { |
| 26 | + protected type τ[F[_], G[_]] |
| 27 | + |
| 28 | + /** |
| 29 | + * Lifts function `f` of `F[A] => G[A]` into a `FunctionK[F, G]`. |
| 30 | + * |
| 31 | + * {{{ |
| 32 | + * def headOption[A](list: List[A]): Option[A] = list.headOption |
| 33 | + * val lifted = FunctionK.liftFunction[List, Option](headOption) |
| 34 | + * }}} |
| 35 | + * |
| 36 | + * Note: The weird `τ[F, G]` parameter is there to compensate for |
| 37 | + * the lack of polymorphic function types in Scala 2. |
| 38 | + * |
| 39 | + * It is present in Scala 3 API to simplify cross-compilation. |
| 40 | + */ |
| 41 | + def liftFunction[F[_], G[_]](f: F[τ[F, G]] => G[τ[F, G]]): FunctionK[F, G] = |
| 42 | + new FunctionK[F, G] { |
| 43 | + def apply[A](fa: F[A]): G[A] = f.asInstanceOf[F[A] => G[A]](fa) |
| 44 | + } |
| 45 | +} |
0 commit comments