From d08fbd79c70a0a95e290205e811b2588cb52b29f Mon Sep 17 00:00:00 2001 From: Profpatsch Date: Sat, 13 Nov 2021 01:19:39 +0100 Subject: docs(users/Profpatsch/lens): setter inline arrows Change-Id: I22bed7bc16b69f94556142cad1079e23f3550bb1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3846 Tested-by: BuildkiteCI Reviewed-by: Profpatsch --- users/Profpatsch/lens.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/users/Profpatsch/lens.nix b/users/Profpatsch/lens.nix index 3c429bbdb14e..db102d8b1a6b 100644 --- a/users/Profpatsch/lens.nix +++ b/users/Profpatsch/lens.nix @@ -89,6 +89,8 @@ let (attrs: a: attrs // { ${name} = a; }); # Setter :: (->) a b -> (->) s t + # Setter :: (a -> b) -> (s -> t) + # Subclasses of profunctor for (->). # We only have Strong for now, but when we implement Choice we need to add it here. -- cgit 1.4.1