From 42e52f0d776732dab9a706dad81859fc088ee721 Mon Sep 17 00:00:00 2001
From: AlexKnauth <alexander@knauth.org>
Date: Mon, 24 Aug 2015 18:37:47 -0400
Subject: [PATCH] document if.rkt and provide from unstable/lens

---
 unstable/lens/if.rkt     |  2 +-
 unstable/lens/if.scrbl   | 55 ++++++++++++++++++++++++++++++++++++++++
 unstable/lens/main.rkt   |  1 +
 unstable/lens/main.scrbl |  1 +
 4 files changed, 58 insertions(+), 1 deletion(-)
 create mode 100644 unstable/lens/if.scrbl

diff --git a/unstable/lens/if.rkt b/unstable/lens/if.rkt
index 6b4f287..ce1fab7 100644
--- a/unstable/lens/if.rkt
+++ b/unstable/lens/if.rkt
@@ -46,7 +46,7 @@
 
 (define-syntax lens-match
   (syntax-parser
-    [(lens-cond [pat:expr lens-expr:expr] ...)
+    [(lens-match [pat:expr lens-expr:expr] ...)
      #'(make-lens
         (λ (tgt)
           (match tgt
diff --git a/unstable/lens/if.scrbl b/unstable/lens/if.scrbl
new file mode 100644
index 0000000..6b7b3ab
--- /dev/null
+++ b/unstable/lens/if.scrbl
@@ -0,0 +1,55 @@
+#lang scribble/manual
+
+@(require lens/private/doc-util/main)
+
+@title{Conditional Lenses}
+
+@defmodule[unstable/lens/if]
+
+@defproc[(lens-if [pred (-> target/c any/c)]
+                  [lens1 (lens/c target/c view/c)]
+                  [lens2 (lens/c target/c view/c)])
+         (lens/c target/c view/c)]{
+Creates a lens that uses @racket[lens1] when the target satisfies
+@racket[pred], and uses @racket[lens2] when the target doesn't satisfy
+@racket[pred].
+@lenses-unstable-examples[
+  (define if-lens (lens-if list? first-lens (vector-ref-lens 0)))
+  (lens-view if-lens '(1 2 3))
+  (lens-view if-lens '#(1 2 3))
+  (lens-set if-lens '(1 2 3) 'a)
+  (lens-set if-lens '#(1 2 3) 'a)
+]}
+
+@defform*[#:literals (else)
+          [(lens-cond [pred-expr lens-expr] ... [else else-lens-expr])
+           (lens-cond [pred-expr lens-expr] ...)]]{
+Like @racket[lens-if], but based on @racket[cond] instead of
+@racket[if]. It creates a lens that uses the first lens if the target matches the first
+predicate, the second lens if the target matches the second predicate, and so on.
+@lenses-unstable-examples[
+  (define cond-lens (lens-cond [list? first-lens]
+                               [vector? (vector-ref-lens 0)]
+                               [string? (string-ref-lens 0)]))
+  (lens-view cond-lens '(1 2 3))
+  (lens-view cond-lens '#(1 2 3))
+  (lens-view cond-lens "123")
+  (lens-set cond-lens '(1 2 3) 'a)
+  (lens-set cond-lens '#(1 2 3) 'a)
+  (lens-set cond-lens "123" #\a)
+]}
+
+@defform[(lens-match [pat lens-expr] ...)]{
+Like @racket[lens-if] and @racket[lens-cond], but based on pattern
+matching the target against each @racket[pat] with @racket[match].
+It creates a lens that uses the first lens if the target matches the
+first @racket[pat], the second lens if it matches the second
+@racket[pat], and so on.
+@lenses-unstable-examples[
+  (define lens (lens-match [(list a) first-lens]
+                           [(list a b) second-lens]))
+  (lens-view lens '(1))
+  (lens-view lens '(1 2))
+  (lens-set lens '(1) 'a)
+  (lens-set lens '(1 2) 'a)
+]}
diff --git a/unstable/lens/main.rkt b/unstable/lens/main.rkt
index f95a05f..e381525 100644
--- a/unstable/lens/main.rkt
+++ b/unstable/lens/main.rkt
@@ -2,6 +2,7 @@
 require lens/private/util/reprovide
 reprovide
   "arrow.rkt"
+  "if.rkt"
   "isomorphism.rkt"
   "mapper.rkt"
   "match.rkt"
diff --git a/unstable/lens/main.scrbl b/unstable/lens/main.scrbl
index 9f81232..19d7eaf 100644
--- a/unstable/lens/main.scrbl
+++ b/unstable/lens/main.scrbl
@@ -13,6 +13,7 @@ this library being backwards-compatible.
 
 @(include-sections
   "arrow.scrbl"
+  "if.scrbl"
   "isomorphism.scrbl"
   "mapper.scrbl"
   "match.scrbl"