From 0a5a285d0db8c825768c1e16c77bf03d2469ba23 Mon Sep 17 00:00:00 2001 From: jon hanson Date: Wed, 10 Aug 2022 13:15:56 +0100 Subject: [PATCH] Update Optics.md Fixed minor typo. --- Optics.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Optics.md b/Optics.md index 5a00f0f..c9813d8 100644 --- a/Optics.md +++ b/Optics.md @@ -208,7 +208,7 @@ maybeFirst = Affine p st where st (b, (ma, c)) = (ma $> b, c) ``` -There's no always an `a` hidden behind this data structure. On the other hand, we can't build a whole `(Maybe b, c)` simply from a `b`. In fact, we need a `c` to do so. In addition, the affine laws make it impossible to update the focus if it didn't exist in the whole. Therefore, we need the complete `(Maybe a, c)` as contextual information. Next, we show a scenario where we run this optic: +There's not always an `a` hidden behind this data structure. On the other hand, we can't build a whole `(Maybe b, c)` simply from a `b`. In fact, we need a `c` to do so. In addition, the affine laws make it impossible to update the focus if it didn't exist in the whole. Therefore, we need the complete `(Maybe a, c)` as contextual information. Next, we show a scenario where we run this optic: ```haskell λ> preview maybeFirst (Just 1, "hi")