Thank you for putting this together! I've been studying functional programming on and off for years, and this has reinforced some of the concepts I've learned, clarified others, and taught me new ones. Very nice work.

As I was reading, I came across two notation idioms that confused me, that I'm pretty sure have nothing to do with FP:

• The symbol ≍ (which is a black box on my Android, fwiw).

Most awesome FP libraries (Cats, Scalaz, Monocle, Algebird etc ) have microsite done by sbt-microsites

Adding one for Shapeless would make it easier for newcomers. Quick, online reference on what is available

Some of the benchmarks don't have the correct scala doc, fixing those.

• https://github.com/monix/monix/blob/master/benchmarks/vnext/src/main/scala/monix/benchmarks/AsyncQueueBenchmark.scala#L41
• https://github.com/monix/monix/blob/master/benchmarks/shared/src/main/scala/monix/benchmarks/CoevalAttemptBenchmark.scala#L38
• https://github.com/monix/monix/blob/master/benchmarks/shared/src/main/

The first query check (the one where there are issues) in

https://tpolecat.github.io/doobie/docs/06-Checking.html
(/modules/docs/src/main/tut/docs/06-Checking.md)

returns the same output as the second one (the one where issues are fixed).

The doc introduces interrupt (halts if the left branch produces false) as an example of concurrency functions in Stream here.
But as far as I can tell, it seems there exists no function of that name.
Or does interrupt mean functions that has interrupt as prefix..?

https://github.com/gcanti/fp-ts/blob/master/docs/modules/ReaderEither.ts.md#local-function

I am not sure why it is used.
Needs some research.

For example, we have no implicit on Bracket's companion for materializing a Bracket[OptionT[F, *], E] given a Bracket[F, E], which we 100% should have. Similarly for EitherT and a bunch of others. The only one present right now derives Kleisli, which is useful but we should have the others, too.

This has been a problem on a few other typeclasses as well. At the very least, Bracket n

Hello,
I am starting with Frameless and I am having a hard time converting my code based on spark-Dataframes to the Frameless framework.
The blocking point I reach now is how to override a column.

Let's say I have a dataframe with col1,col2,..., myColumn .
myColumn is a String and it was an export from a database where this column is actually a Seq[String] so I now need to convert i

Logging an issue from discussion on #89.

The documentation of Suffix is entirely inadequate:

An index denoting that Suffix is just that.

At bare minimum it needs to link to LiftFrom/LiftInto, since otherwise the average person just happening upon it from e.g. the module page (a.k.a. me from two days ago) has absolutely no idea what they're even looking at.

LiftInto shows ex

Trying to print https://fkit.joshbassett.info as pdf in Chrome prints out only 1 page when printing "All pages".

I do notice it uses https://documentation.js.org, but Issues there (https://github.com/documentationjs/documentation/issues) does not show such issue.

Given an array / iterator, returns a new Array of only Some or Left or Right values.

References:

• catMaybes from Haskell
• rights
• lefts
• [catOptions](https://github

Description

The current docs generated with Jazzy show only the methods that a class declares itself, but not the ones inherited from superclass or superclass conformance extensions. For instance, Id shows only 5 methods, but ForId conforms to a number of typeclasses that add methods to `

at https://github.com/rpominov/fun-task/blame/master/docs/exceptions.md#L32-L34

In the first section of the image the x <= 0 true case in the code shows that you alert(z + 5), but the image shows that you alert(y + 5)

In the second section of the image, the x > 0 should sti

• Examples folder.
  • Reverse Map: https://repl.it/@yrnd1/Morphism-ReverseMap
  • Map towards a complex structure: https://stackblitz.com/edit/morphism-issues-50?file=index.ts
  • Redux
  • RxJs
  • Axios interceptor
  • Decorators

The docs make it pretty clear how to make a request and decode the entity of the HttpResponse:

  val response = Hammock
    .request(Method.GET, uri"https://api.fidesmo.com/apps", Map())
    .as[List[String]]
    .exec[IO]

And you can get the headers like:

  val response = Hammock
    .request(Method.GET, uri"https://api.fidesmo.com/apps", Map())
    .map(_.headers)
    .

I would like to understand better how this compares to ScalaCheck. I suspect other prospective users would like that as well.

Two possible models for such a doc section: https://github.com/travisbrown/circe#why, http://rapture.io/blog/rapture-manifesto

See if it would be possible (and maybe useful) to define instances of higher-kinded typeclasses like ApplyK for the types in sup.