Skip to content

Instantly share code, notes, and snippets.

@jsantos17

jsantos17/patterns.md

Created June 2, 2018 21:42
Show Gist options
  • Save jsantos17/4ff1d7021ba751d390e92b9fd8820b8e to your computer and use it in GitHub Desktop.
Save jsantos17/4ff1d7021ba751d390e92b9fd8820b8e to your computer and use it in GitHub Desktop.
Download ZIP
Recursive structures and their pattern functors
Raw
patterns.md
Recursive structure Pattern functor (unary type constructor)
Fix[ListF] ListF
Free[ListF, Hole] CoEnv[Hole, ListF, ?]
Cofree[ListF, Int] EnvT[Int, ListF, ?]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment