Skip to content

Instantly share code, notes, and snippets.

@mandubian

mandubian/cartesian_cat.scala

Created November 12, 2017 13:37
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/55962300b0467acfaab9e7ff54da8682 to your computer and use it in GitHub Desktop.
Save mandubian/55962300b0467acfaab9e7ff54da8682 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
cartesian_cat.scala
trait CartesianCat[->[_, _]] extends Cat[->] {
def ⨂[A, C, D]: (A -> C) => (A -> D) => (A -> (C, D))
def exl[A, B]: (A, B) -> A
def exr[A, B]: (A, B) -> B
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment