diff options
| -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 |