Skip to content

Instantly share code, notes, and snippets.

@lenguyenthanh
Created June 14, 2023 07:43
Show Gist options
  • Save lenguyenthanh/df88115b7af5b974d0324c3c2a712df6 to your computer and use it in GitHub Desktop.
Save lenguyenthanh/df88115b7af5b974d0324c3c2a712df6 to your computer and use it in GitHub Desktop.
[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
info: Compiling 97 files to /Users/tle/git/cats/cats/site/target/mdoc
warning: const.md:218:10: local method constApplicative in value <local App0> is never used
implicit def constApplicative[Z]: Applicative[Const[Z, *]] =
^
warning: const.md:58:1: local trait Lens is never used
trait Lens[S, A] {
^
warning: const.md:81:1: local trait Lens is never used
trait Lens[S, A] {
^
warning: const.md:101:1: local trait Lens is never used
trait Lens[S, A] {
^
warning: const.md:199:1: local trait Traverse is never used
trait Traverse[F[_]] extends Foldable[F] {
^
warning: const.md:266:1: local trait Traverse is never used
trait Traverse[F[_]] extends Foldable[F] {
^
warning: const.md:13:23: parameter b in method const is never used
def const[A, B](a: A)(b: => B): A = a
^^^^^^^
warning: either.md:270:1: local object DatabaseError1 in value <local App6> is never used
case object DatabaseError1 extends AppError
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: either.md:271:1: local object DatabaseError2 in value <local App6> is never used
case object DatabaseError2 extends AppError
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: either.md:272:1: local object ServiceError1 in value <local App6> is never used
case object ServiceError1 extends AppError
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: either.md:273:1: local object ServiceError2 in value <local App6> is never used
case object ServiceError2 extends AppError
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: either.md:285:1: local method doApp in value <local App6> is never used
def doApp = Database.databaseThings().flatMap(Service.serviceThings)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: either.md:334:1: local method awesome in value <local App6> is never used
def awesome =
^
warning: 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)
^^^^^^^^
warning: 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)
^^^^^^^^
warning: 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
^^^^^^^^^^
warning: eithert.md:12:1: Unused import
import cats.syntax.all._
^^^^^^^^^^^^^^^^^^^^^^^^
warning: eval.md:26:1: Unused import
import cats.syntax.all._
^^^^^^^^^^^^^^^^^^^^^^^^
warning: freeapplicative.md:51:1: Unused import
import cats.Id
^^^^^^^^^^^^^^
warning: freemonad.md:170:1: Unused import
import cats.arrow.FunctionK
^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: freemonad.md:549:1: Unused import
import TeletypeOps._
^^^^^^^^^^^^^^^^^^^^
warning: freemonad.md:563:1: Unused import
import cats.syntax.all._
^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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)
^
warning: 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]
^^^^^^^^^
warning: 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]
^^^^^^^^
warning: ior.md:116:37: Unused import
import cats.syntax.all._, cats.data.NonEmptyChain
^^^^^^^^^^^^^
warning: kleisli.md:225:53: dead code following this construct
val fromDbConfig: Kleisli[Option, DbConfig, Db] = ???
^^^
warning: kleisli.md:231:68: dead code following this construct
val fromServiceConfig: Kleisli[Option, ServiceConfig, Service] = ???
^^^
warning: kleisli.md:276:53: dead code following this construct
val fromDbConfig: Kleisli[Option, DbConfig, Db] = ???
^^^
warning: kleisli.md:282:68: dead code following this construct
val fromServiceConfig: Kleisli[Option, ServiceConfig, Service] = ???
^^^
warning: kleisli.md:74:1: Unused import
import cats.syntax.all._
^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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, *]] =
^
warning: kleisli.md:197:1: local object Reader in value <local App> is never used
object Reader {
^
warning: kleisli.md:224:1: local object Db in value <local App> is never used
object Db {
^
warning: kleisli.md:230:1: local object Service in value <local App> is never used
object Service {
^
warning: kleisli.md:289:1: local method appFromAppConfig in value <local App> is never used
def appFromAppConfig: Kleisli[Option, AppConfig, App] =
^
warning: kleisli.md:203:1: local type ReaderT is never used
type ReaderT[F[_], A, B] = Kleisli[F, A, B]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: kleisli.md:243:1: local class App is never used
class App(db: Db, service: Service)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: kleisli.md:243:11: parameter db in class App is never used
class App(db: Db, service: Service)
^^^^^^
warning: kleisli.md:243:19: parameter service in class App is never used
class App(db: Db, service: Service)
^^^^^^^^^^^^^^^^
warning: kleisli.md:287:11: parameter db in class App is never used
class App(db: Db, service: Service)
^^^^^^
warning: kleisli.md:287:19: parameter service in class App is never used
class App(db: Db, service: Service)
^^^^^^^^^^^^^^^^
warning: 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]) {
^^^^^^^
warning: nel.md:47:1: local method average in value <local App> is never used
def average(xs: List[Int]): Option[Double] = if (xs.isEmpty) {
^
warning: nel.md:70:1: local method average in value <local App> is never used
def average(xs: NonEmptyList[Int]): Double = {
^
warning: nested.md:84:1: Unused import
import cats.Applicative
^^^^^^^^^^^^^^^^^^^^^^^
warning: 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)
^
warning: 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]
^^^^^^^^^^^^^^^^^
warning: optiont.md:36:1: Unused import
import cats.syntax.all._
^^^^^^^^^^^^^^^^^^^^^^^^
warning: state.md:273:1: local method open in value <local App0> is never used
def open: State[DoorState, Unit] = ???
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: state.md:274:1: local method close in value <local App0> is never used
def close: State[DoorState, Unit] = ???
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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)
^^^^^
warning: state.md:12:18: The outer reference in this type test cannot be checked at run time.
final case class Robot(
^^^^^
warning: state.md:132:18: The outer reference in this type test cannot be checked at run time.
final case class Robot(
^^^^^
warning: state.md:138:18: The outer reference in this type test cannot be checked at run time.
final case class Seed(long: Long) {
^^^^
error: state.md:231:1: Expected compile errors but program compiled successfully without errors
val nextLong: State[Future[AsyncSeed], Future[Long]] = State { seedF =>
^
error: state.md:305:1: Expected compile errors but program compiled successfully without errors
val invalid = for {
^
error: state.md:324:1: Expected compile errors but program compiled successfully without errors
valid.run(Open)
^^^^^^^^^^^^^^^
warning: 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.*
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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!*
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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
^^^^^^^^^^^^^^^^^
warning: 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.
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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).
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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).
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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).
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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).
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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).
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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.
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: 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:
^^^^^^^^^^^^^^^^^^^^^^^^^^^
info: 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