Skip to content

wild magic #381

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
lemastero wants to merge 14 commits into
base: main
Choose a base branch
from
Open

wild magic #381

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
c757b37
wild magic
lemastero Jul 17, 2021
1771426
wild magic laws
lemastero Jul 18, 2021
022cda8
strange results - contravariant monads and comonads ? yet cannot defi…
lemastero Jul 18, 2021
10177c9
expand all laws, get rid of stuff that do not works
lemastero Aug 4, 2021
a4dd7af
fix merge from master
lemastero Aug 4, 2021
fd98a37
add "de.b-studios" %% "effekt"
lemastero Aug 4, 2021
15804e5
comment out "de.b-studios" %% "effekt"
lemastero Aug 4, 2021
39f5191
remove "de.b-studios" %% "effekt"
lemastero Aug 4, 2021
51d0a6a
Merge branch 'master' into wild_magic
lemastero Oct 17, 2021
3fac90e
merge from master
lemastero Feb 21, 2022
b02faf4
merge from master
lemastero Feb 12, 2023
a94bf4e
remove Monix
lemastero Mar 2, 2023
a0b15a9
update WildMagic
lemastero Mar 2, 2023
4d1f424
cleanup diagrams, expand signatures
lemastero Mar 2, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions build.sbt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ libraryDependencies ++= Seq(
"org.typelevel" %% "cats-mtl-laws" % catsMtlVersion,
"org.typelevel" %% "cats-effect" % "3.4.6",

"io.monix" %% "monix" % "3.4.1",
//"io.monix" %% "monix" % "3.4.1",

// Scalaz
"org.scalaz" %% "scalaz-core" % "7.3.7",
Expand All @@ -43,13 +43,13 @@ libraryDependencies ++= Seq(
"com.chuusai" %% "shapeless" % "2.3.10",

// tofu
"tf.tofu" %% "tofu" % "0.11.1",
//"tf.tofu" %% "tofu" % "0.11.1",

// izumi
"io.7mind.izumi" %% "fundamentals-bio" % "1.0.10",
//"io.7mind.izumi" %% "fundamentals-bio" % "1.0.10",

// HoTT in Scala
"io.github.siddhartha-gadgil" %% "provingground-core-jvm" % "0.1.1",
//"io.github.siddhartha-gadgil" %% "provingground-core-jvm" % "0.1.1",

// test
"org.scalacheck" %% "scalacheck" % scalacheckVersion % Test,
Expand Down
2 changes: 1 addition & 1 deletion project/plugins.sbt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
addDependencyTreePlugin
// sbt dependencyUpdates
addSbtPlugin("com.timushev.sbt" % "sbt-updates" % "0.6.4")
//addSbtPlugin("io.github.davidgregory084" % "sbt-tpolecat" % "0.1.8")
//addSbtPlugin("io.github.davidgregory084" % "sbt-tpolecat" % "0.1.20")
// sbt scalafmtAll
addSbtPlugin("org.scalameta" % "sbt-scalafmt" % "2.5.0")
// sbt clean coverage test coverageReport
Expand Down
17 changes: 17 additions & 0 deletions src/main/scala/ct_other_impls/DeclarativeVarianceFun.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
package ct_other_impls

object DeclarativeVarianceFun {
case class Reader[-A, +B](run: A => B) // Profunctor-ish?
case class Op[+A, -B](run: B => A) // Profunctor-ish?
case class Ap[+F[+_], -A, +B](run: F[A => B]) // Profunctor-ish?
case class ContraAp[+F[-_], +A, -B](run: F[A => B]) // Profunctor-ish?
case class ApOp[+F[+_], +A, -B](run: F[B => A]) // Profunctor-ish?
case class Kleisli[+F[+_], -A, +B](run: A => F[B]) // Profunctor-ish?
case class ContraKleisli[-F[+_], -A, +B](run: F[A] => B) // Profunctor-ish?

case class Kleisli2[+F[-_], -A, -B](run: A => F[B]) // Nifunctor-ish?

case class CoKleisli[-F[-_], +A, +B](run: F[A] => B) // Bifunctor-ish?
case class Zip[+F[+_], +A, +B](run: F[(A, B)]) // Bifunctor-ish?
case class Alt[+F[+_], +A, +B](run: F[Either[A, B]]) // Bifunctor-ish?
}
Loading