Skip to content

Instantly share code, notes, and snippets.

View noelwelsh's full-sized avatar
💭
Hacking on Doodle when I get time

Noel Welsh noelwelsh

💭
Hacking on Doodle when I get time
215 followers · 13 following
View GitHub Profile
@noelwelsh
noelwelsh / FreeInvariantMonoidal.scala
Last active January 12, 2016 17:04 — forked from Fristi/FreeInvariantMonoidal.scala
Free version of Invariant functor type class + Monoidal type class
package nl.mdj
import cats.arrow.NaturalTransformation
import cats.functor.Invariant
import cats._
import cats.syntax.all._
import scala.language.higherKinds
sealed abstract class FreeInvariant[F[_], A] extends Product with Serializable {