diff options
| author | Profpatsch <mail@profpatsch.de> | 2021-11-13T01·18+0100 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2021-11-13T01·22+0000 |
| commit | e2fbc10ebdb5d85813fd15c5dd371ee8e1e87a22 (patch) | |
| tree | c222265a972c6e5a5dd29cc20cc828af4449a455 /users/Profpatsch/lens.nix | |
| parent | d08fbd79c70a0a95e290205e811b2588cb52b29f (diff) | |
feat(users/Profpatsch/lens): add _ as reverse function application r/3053
Change-Id: I0bcd997ea469ff55d2170027184fc5bd10b44e00 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3847 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
Diffstat (limited to 'users/Profpatsch/lens.nix')
| -rw-r--r-- | users/Profpatsch/lens.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/users/Profpatsch/lens.nix b/users/Profpatsch/lens.nix index db102d8b1a6b..58d9c27f5242 100644 --- a/users/Profpatsch/lens.nix +++ b/users/Profpatsch/lens.nix @@ -6,6 +6,8 @@ let comp = f: g: x: f (g x); + _ = v: f: f v; + # Profunctor (p :: Type -> Type -> Type) Profunctor = rec { # dimap :: (a -> b) -> (c -> d) -> p b c -> p a d @@ -113,6 +115,7 @@ let in { inherit id + _ const comp Profunctor |