Skip to content

Instantly share code, notes, and snippets.

@mandubian

mandubian/closed.scala

Created November 12, 2017 22:06
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mandubian/4b6a7e0c01afaf54b1e062e3c371bc3d to your computer and use it in GitHub Desktop.
Save mandubian/4b6a7e0c01afaf54b1e062e3c371bc3d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
closed.scala
trait ClosedCartesianCat[->[_, _]] extends CartesianCat[->] {
def it[A]: A -> Unit
def ap[A, B]: ((A -> B), A) -> B
def curry[A, B, C]: ((A, B) -> C) => (A -> (B :=> C))
def uncurry[A, B, C]: (A -> (B -> C)) => ((A, B) -> C)
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment