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