Pro-functor view/iso (part 5 of optics).

LuxLang · May 21, 2024 · aef03b8 · aef03b8
1 parent 7497da7
commit aef03b8
Show file tree

Hide file tree

Showing 3 changed files with 272 additions and 228 deletions.
diff --git a/stdlib/source/library/lux/function.lux b/stdlib/source/library/lux/function.lux
@@ -46,7 +46,7 @@
  (-> cause
  effect))
 
-(the .public pro_functor
+(the .public functor
  (pro.Functor Function)
  (implementation
  (the (each before after it)