feat: Add basic lens functionality to standard library

Author: bch29

std/functor/const.glu

@@ -0,0 +1,14 @@
+let { Functor } = import! std.functor
+
+type Const s a = { value : s }
+
+#[implicit]
+let functor : forall s . Functor (Const s) = {
+    map = \f -> \c -> { value = c.value },
+}
+
+let app : s -> Const s a = \value -> { value }
+
+let run : Const s a -> s = \c -> c.value
+
+{ Const, functor, app, run }

std/functor/identity.glu

@@ -0,0 +1,14 @@
+let { Functor } = import! std.functor
+
+type Identity a = { value : a }
+
+#[implicit]
+let functor : Functor Identity = {
+  map = \f -> \i -> { value = f i.value }
+}
+
+let app : a -> Identity a = \value -> { value }
+
+let run : Identity a -> a = \i -> i.value
+
+{Identity, functor, app, run}

std/lens.glu

@@ -0,0 +1,45 @@
+let { Functor, map } = import! std.functor
+let const @ { Const, ? } = import! std.functor.const
+let identity @ { Identity, ? } = import! std.functor.identity
+
+
+type Lens s t a b = { app : forall f . [Functor f] -> (a -> f b) -> s -> f t }
+
+
+type Lens' s a = Lens s s a a
+
+
+let view lens x : Lens s t a b -> s -> a =
+    let res = lens.app const.app x
+    res.value
+
+
+let over lens f y : Lens s t a b -> (a -> b) -> s -> t =
+    let res = lens.app (\x -> identity.app (f x)) y
+    res.value
+
+
+let set lens x : Lens s t a b -> b -> s -> t = over lens (\_ -> x)
+
+
+let make view set : (s -> a) -> (b -> s -> t) -> Lens s t a b =
+    {
+        app = \k x -> map (\y -> set y x) (k (view x)),
+    }
+
+
+#[infix(right, 8)]
+let (^) g f : Lens j k s t -> Lens s t a b -> Lens j k a b = {
+    app = \k -> g.app (f.app k),
+}
+
+
+#[infix(left, 1)]
+let (&) x g : a -> (a -> b) -> b = g x
+
+
+#[infix(right, 9)]
+let (^.) x lens : s -> Lens s t a b -> a = view lens x
+
+
+{ Lens, Lens', view, set, over, make, (^), (&), (^.) }