-
-
Save lenguyenthanh/df88115b7af5b974d0324c3c2a712df6 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[info] welcome to sbt 1.9.0 (Eclipse Adoptium Java 17.0.7) | |
[info] loading settings for project cats-build-build-build from metals.sbt ... | |
[info] loading project definition from /Users/tle/git/cats/cats/project/project/project | |
[info] loading settings for project cats-build-build from metals.sbt ... | |
[info] loading project definition from /Users/tle/git/cats/cats/project/project | |
[success] Generated .bloop/cats-build-build.json | |
[success] Total time: 0 s, completed 14 Jun 2023, 09:34:56 | |
[info] loading settings for project cats-build from metals.sbt,plugins.sbt ... | |
[info] loading project definition from /Users/tle/git/cats/cats/project | |
[success] Generated .bloop/cats-build.json | |
[success] Total time: 1 s, completed 14 Jun 2023, 09:34:57 | |
[info] loading settings for project root from build.sbt,mima.sbt ... | |
[info] resolving key references (43411 settings) ... | |
[info] set scmInfo to https://github.com/typelevel/cats | |
[info] set current project to root (in build file:/Users/tle/git/cats/cats/) | |
[warn] there's a key that's not used by any other settings/tasks: | |
[warn] | |
[warn] * ThisBuild / tlFatalWarningsInCi | |
[warn] +- /Users/tle/git/cats/cats/build.sbt:25 | |
[warn] | |
[warn] note: a setting might still be used by a command; to exclude a key from this `lintUnused` check | |
[warn] either append it to `Global / excludeLintKeys` or call .withRank(KeyRanks.Invisible) on the key | |
[info] running mdoc.Main | |
[34minfo[39m: Compiling 97 files to /Users/tle/git/cats/cats/site/target/mdoc | |
[33mwarning[39m: const.md:218:10: local method constApplicative in value <local App0> is never used | |
implicit def constApplicative[Z]: Applicative[Const[Z, *]] = | |
^ | |
[33mwarning[39m: const.md:58:1: local trait Lens is never used | |
trait Lens[S, A] { | |
^ | |
[33mwarning[39m: const.md:81:1: local trait Lens is never used | |
trait Lens[S, A] { | |
^ | |
[33mwarning[39m: const.md:101:1: local trait Lens is never used | |
trait Lens[S, A] { | |
^ | |
[33mwarning[39m: const.md:199:1: local trait Traverse is never used | |
trait Traverse[F[_]] extends Foldable[F] { | |
^ | |
[33mwarning[39m: const.md:266:1: local trait Traverse is never used | |
trait Traverse[F[_]] extends Foldable[F] { | |
^ | |
[33mwarning[39m: const.md:13:23: parameter b in method const is never used | |
def const[A, B](a: A)(b: => B): A = a | |
^^^^^^^ | |
[33mwarning[39m: either.md:270:1: local object DatabaseError1 in value <local App6> is never used | |
case object DatabaseError1 extends AppError | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: either.md:271:1: local object DatabaseError2 in value <local App6> is never used | |
case object DatabaseError2 extends AppError | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: either.md:272:1: local object ServiceError1 in value <local App6> is never used | |
case object ServiceError1 extends AppError | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: either.md:273:1: local object ServiceError2 in value <local App6> is never used | |
case object ServiceError2 extends AppError | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: either.md:285:1: local method doApp in value <local App6> is never used | |
def doApp = Database.databaseThings().flatMap(Service.serviceThings) | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: either.md:334:1: local method awesome in value <local App6> is never used | |
def awesome = | |
^ | |
[33mwarning[39m: either.md:57:1: method right in class Either is deprecated (since 2.13.0): Either is now right-biased, use methods directly on Either | |
e1.right.map(_ + 1) | |
^^^^^^^^ | |
[33mwarning[39m: either.md:60:1: method right in class Either is deprecated (since 2.13.0): Either is now right-biased, use methods directly on Either | |
e2.right.map(_ + 1) | |
^^^^^^^^ | |
[33mwarning[39m: either.md:188:20: The outer reference in this type test cannot be checked at run time. | |
final case class NotANumber(string: String) extends Error | |
^^^^^^^^^^ | |
[33mwarning[39m: eithert.md:12:1: Unused import | |
import cats.syntax.all._ | |
^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: eval.md:26:1: Unused import | |
import cats.syntax.all._ | |
^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: freeapplicative.md:51:1: Unused import | |
import cats.Id | |
^^^^^^^^^^^^^^ | |
[33mwarning[39m: freemonad.md:170:1: Unused import | |
import cats.arrow.FunctionK | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: freemonad.md:549:1: Unused import | |
import TeletypeOps._ | |
^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: freemonad.md:563:1: Unused import | |
import cats.syntax.all._ | |
^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: freemonad.md:416 (mdoc generated code) method any2stringadd in object Predef is deprecated (since 2.13.0): Implicit injection of + is deprecated. Convert to String to call + | |
val hoisted = opComplete.hoist(optTryLift); $doc.binder(hoisted, 51, 4, 51, 11) | |
^ | |
[33mwarning[39m: freemonad.md:510:18: The outer reference in this type test cannot be checked at run time. | |
final case class WriteLine(line : String) extends Teletype[Unit] | |
^^^^^^^^^ | |
[33mwarning[39m: freemonad.md:511:18: The outer reference in this type test cannot be checked at run time. | |
final case class ReadLine(prompt : String) extends Teletype[String] | |
^^^^^^^^ | |
[33mwarning[39m: ior.md:116:37: Unused import | |
import cats.syntax.all._, cats.data.NonEmptyChain | |
^^^^^^^^^^^^^ | |
[33mwarning[39m: kleisli.md:225:53: dead code following this construct | |
val fromDbConfig: Kleisli[Option, DbConfig, Db] = ??? | |
^^^ | |
[33mwarning[39m: kleisli.md:231:68: dead code following this construct | |
val fromServiceConfig: Kleisli[Option, ServiceConfig, Service] = ??? | |
^^^ | |
[33mwarning[39m: kleisli.md:276:53: dead code following this construct | |
val fromDbConfig: Kleisli[Option, DbConfig, Db] = ??? | |
^^^ | |
[33mwarning[39m: kleisli.md:282:68: dead code following this construct | |
val fromServiceConfig: Kleisli[Option, ServiceConfig, Service] = ??? | |
^^^ | |
[33mwarning[39m: kleisli.md:74:1: Unused import | |
import cats.syntax.all._ | |
^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: kleisli.md:131:10: local method kleisliFlatMap in value <local App> is never used | |
implicit def kleisliFlatMap[F[_], Z](implicit F: FlatMap[F]): FlatMap[Kleisli[F, Z, *]] = | |
^ | |
[33mwarning[39m: kleisli.md:197:1: local object Reader in value <local App> is never used | |
object Reader { | |
^ | |
[33mwarning[39m: kleisli.md:224:1: local object Db in value <local App> is never used | |
object Db { | |
^ | |
[33mwarning[39m: kleisli.md:230:1: local object Service in value <local App> is never used | |
object Service { | |
^ | |
[33mwarning[39m: kleisli.md:289:1: local method appFromAppConfig in value <local App> is never used | |
def appFromAppConfig: Kleisli[Option, AppConfig, App] = | |
^ | |
[33mwarning[39m: kleisli.md:203:1: local type ReaderT is never used | |
type ReaderT[F[_], A, B] = Kleisli[F, A, B] | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: kleisli.md:243:1: local class App is never used | |
class App(db: Db, service: Service) | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: kleisli.md:243:11: parameter db in class App is never used | |
class App(db: Db, service: Service) | |
^^^^^^ | |
[33mwarning[39m: kleisli.md:243:19: parameter service in class App is never used | |
class App(db: Db, service: Service) | |
^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: kleisli.md:287:11: parameter db in class App is never used | |
class App(db: Db, service: Service) | |
^^^^^^ | |
[33mwarning[39m: kleisli.md:287:19: parameter service in class App is never used | |
class App(db: Db, service: Service) | |
^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: kleisli.md:64:18: The outer reference in this type test cannot be checked at run time. | |
final case class Kleisli[F[_], A, B](run: A => F[B]) { | |
^^^^^^^ | |
[33mwarning[39m: nel.md:47:1: local method average in value <local App> is never used | |
def average(xs: List[Int]): Option[Double] = if (xs.isEmpty) { | |
^ | |
[33mwarning[39m: nel.md:70:1: local method average in value <local App> is never used | |
def average(xs: NonEmptyList[Int]): Double = { | |
^ | |
[33mwarning[39m: nested.md:84:1: Unused import | |
import cats.Applicative | |
^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: nested.md:33 (mdoc generated code) method any2stringadd in object Predef is deprecated (since 2.13.0): Implicit injection of + is deprecated. Convert to String to call + | |
val nested: Nested[Option, Validated[String, *], Int] = Nested(Some(Valid(123))); $doc.binder(nested, 2, 4, 2, 10) | |
^ | |
[33mwarning[39m: oneand.md:23:26: type Stream in package scala is deprecated (since 2.13.0): Use LazyList instead of Stream | |
type NonEmptyStream[A] = OneAnd[Stream, A] | |
^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: optiont.md:36:1: Unused import | |
import cats.syntax.all._ | |
^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: state.md:273:1: local method open in value <local App0> is never used | |
def open: State[DoorState, Unit] = ??? | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: state.md:274:1: local method close in value <local App0> is never used | |
def close: State[DoorState, Unit] = ??? | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: state.md:104:8: pattern var seed4 in method createRobot is never used: use a wildcard `_` or suppress this warning with `seed4@_` | |
val (seed4, isReplicant) = nextBoolean(seed3) | |
^^^^^ | |
[33mwarning[39m: state.md:12:18: The outer reference in this type test cannot be checked at run time. | |
final case class Robot( | |
^^^^^ | |
[33mwarning[39m: state.md:132:18: The outer reference in this type test cannot be checked at run time. | |
final case class Robot( | |
^^^^^ | |
[33mwarning[39m: state.md:138:18: The outer reference in this type test cannot be checked at run time. | |
final case class Seed(long: Long) { | |
^^^^ | |
[31merror[39m: state.md:231:1: Expected compile errors but program compiled successfully without errors | |
val nextLong: State[Future[AsyncSeed], Future[Long]] = State { seedF => | |
^ | |
[31merror[39m: state.md:305:1: Expected compile errors but program compiled successfully without errors | |
val invalid = for { | |
^ | |
[31merror[39m: state.md:324:1: Expected compile errors but program compiled successfully without errors | |
valid.run(Open) | |
^^^^^^^^^^^^^^^ | |
[33mwarning[39m: typelevelEcosystem.md:167:16: Unknown link 'img/cats-logo.png'. | |
*The full-size [Cats logo](img/cats-logo.png) is available for use for Cats related projects, contents, souvenirs, etc.* | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: typelevelEcosystem.md:169:13: Unknown link 'img/cats-badge.svg'. | |
*We offer a [Cats Friendly Badge](img/cats-badge.svg) to let others know your project works with Cats!* | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: datatypes/freemonad.md:272:1: Unknown link 'datatypes/state.md', did you mean 'datatypes/statet.md'? | |
[State](state.md) data structure can be used to keep track of the program | |
^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: faq.md:28:372: Unknown link '/cats/#ecosystem'. To fix this problem, either make the link relative or turn it into complete URL such as http://example.com/cats/#ecosystem. | |
Cats and [Scalaz](https://github.com/scalaz/scalaz) have the same goal: to facilitate pure functional programming in Scala applications. However the underlying core strategy is different; Scalaz took the approach of trying to provide a single batteries-included *standard library* for FP that powers the Scala applications. Cats, on the other hand, aims to help build an [ecosystem](/cats/#ecosystem) of pure FP libraries by providing a solid and stable foundation; these libraries can have their own styles and personalities, competing with each other, while at the same time playing nice. It is through this ecosystem of FP libraries (cats included) that Scala applications can be powered with "FP awesome-ness" and beyond by picking whatever best fit their needs. | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: faq.md:30:43: Unknown link '/cats/motivations#modularity'. To fix this problem, either make the link relative or turn it into complete URL such as http://example.com/cats/motivations#modularity. | |
Based on this core strategy, Cats takes a [modular](/cats/motivations#modularity) approach and focuses on providing core, [binary compatible](/cats/#binary-compatibility-and-versioning), [approachable](/cats/motivations#approachability) and [efficient](/cats/motivations#efficiency) abstractions. It provides a welcoming and supportive environment for the [user community](https://discord.gg/XF3CXcMzqD) governed by the [Scala Code of Conduct](https://www.scala-lang.org/conduct/). It also takes great effort in supplying a comprehensive and beginner-friendly [documentation](/cats/#documentation). | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: faq.md:30:123: Unknown link '/cats/#binary-compatibility-and-versioning', did you mean 'index.md#binary-compatibility-and-versioning'? To fix this problem, either make the link relative or turn it into complete URL such as http://example.com/cats/#binary-compatibility-and-versioning. | |
Based on this core strategy, Cats takes a [modular](/cats/motivations#modularity) approach and focuses on providing core, [binary compatible](/cats/#binary-compatibility-and-versioning), [approachable](/cats/motivations#approachability) and [efficient](/cats/motivations#efficiency) abstractions. It provides a welcoming and supportive environment for the [user community](https://discord.gg/XF3CXcMzqD) governed by the [Scala Code of Conduct](https://www.scala-lang.org/conduct/). It also takes great effort in supplying a comprehensive and beginner-friendly [documentation](/cats/#documentation). | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: faq.md:30:188: Unknown link '/cats/motivations#approachability', did you mean 'motivations.md#approachability'? To fix this problem, either make the link relative or turn it into complete URL such as http://example.com/cats/motivations#approachability. | |
Based on this core strategy, Cats takes a [modular](/cats/motivations#modularity) approach and focuses on providing core, [binary compatible](/cats/#binary-compatibility-and-versioning), [approachable](/cats/motivations#approachability) and [efficient](/cats/motivations#efficiency) abstractions. It provides a welcoming and supportive environment for the [user community](https://discord.gg/XF3CXcMzqD) governed by the [Scala Code of Conduct](https://www.scala-lang.org/conduct/). It also takes great effort in supplying a comprehensive and beginner-friendly [documentation](/cats/#documentation). | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: faq.md:30:242: Unknown link '/cats/motivations#efficiency'. To fix this problem, either make the link relative or turn it into complete URL such as http://example.com/cats/motivations#efficiency. | |
Based on this core strategy, Cats takes a [modular](/cats/motivations#modularity) approach and focuses on providing core, [binary compatible](/cats/#binary-compatibility-and-versioning), [approachable](/cats/motivations#approachability) and [efficient](/cats/motivations#efficiency) abstractions. It provides a welcoming and supportive environment for the [user community](https://discord.gg/XF3CXcMzqD) governed by the [Scala Code of Conduct](https://www.scala-lang.org/conduct/). It also takes great effort in supplying a comprehensive and beginner-friendly [documentation](/cats/#documentation). | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: faq.md:30:561: Unknown link '/cats/#documentation', did you mean 'motivations.md#documentation'? To fix this problem, either make the link relative or turn it into complete URL such as http://example.com/cats/#documentation. | |
Based on this core strategy, Cats takes a [modular](/cats/motivations#modularity) approach and focuses on providing core, [binary compatible](/cats/#binary-compatibility-and-versioning), [approachable](/cats/motivations#approachability) and [efficient](/cats/motivations#efficiency) abstractions. It provides a welcoming and supportive environment for the [user community](https://discord.gg/XF3CXcMzqD) governed by the [Scala Code of Conduct](https://www.scala-lang.org/conduct/). It also takes great effort in supplying a comprehensive and beginner-friendly [documentation](/cats/#documentation). | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: faq.md:113:168: Unknown link 'guidelines.md#applicative-instances-for-monad-transformers', did you mean 'guidelines.md#applicative-instances-for-monad-transformersa'? | |
An `Applicative` instance for `OptionT[F, *]`/`EitherT[F, E, *]`, built without a corresponding `Monad` instance for `F`, would be unlawful, so it's not included. See [the guidelines](guidelines.md#applicative-instances-for-monad-transformers) for a more detailed explanation. | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[33mwarning[39m: imports.md:19:101: Unknown link 'datatypes/state.md', did you mean 'datatypes/statet.md'? | |
The `cats.data._`, import brings in data structures such as [Validated](datatypes/validated.md) and [State](datatypes/state.md). Instead of the entire `cats.data` package, you can import only the types that you need, for example: | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
[34minfo[39m: Compiled in 10.76s (3 errors, 66 warnings) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment