Skip to content

Instantly share code, notes, and snippets.

@OleTraveler

OleTraveler/gist:c169acca767f6be58e01

Created September 14, 2015 17:09
Show Gist options
  • Save OleTraveler/c169acca767f6be58e01 to your computer and use it in GitHub Desktop.
Save OleTraveler/c169acca767f6be58e01 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
type OurApp[A] = Coproduct[Auth, Interact, A]
type OurAppPlus[A] = Coproduct[OurApp, ThirdAlgebra, A]
type ACoyo[A] = Coyoneda[OurAppPlus,A]
type AFree[A] = Free[ACoyo,A]
def point[A](a: ⇒ A): FreeC[OurAppPlus, A] = Monad[AFree].point(a)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment