move join functions for lists and hash tables
This commit is contained in:
parent
7ab893af5e
commit
2f18850268
|
@ -6,7 +6,7 @@ require racket/contract
|
||||||
"../util/immutable.rkt"
|
"../util/immutable.rkt"
|
||||||
"../util/rest-contract.rkt"
|
"../util/rest-contract.rkt"
|
||||||
"compose.rkt"
|
"compose.rkt"
|
||||||
"join-list.rkt"
|
"../list/join-list.rkt"
|
||||||
|
|
||||||
module+ test
|
module+ test
|
||||||
require rackunit
|
require rackunit
|
||||||
|
|
|
@ -6,7 +6,7 @@ require racket/contract
|
||||||
"../util/immutable.rkt"
|
"../util/immutable.rkt"
|
||||||
"../util/rest-contract.rkt"
|
"../util/rest-contract.rkt"
|
||||||
"compose.rkt"
|
"compose.rkt"
|
||||||
"join-list.rkt"
|
"../list/join-list.rkt"
|
||||||
|
|
||||||
module+ test
|
module+ test
|
||||||
require rackunit
|
require rackunit
|
||||||
|
|
|
@ -1,8 +1,6 @@
|
||||||
#lang reprovide
|
#lang reprovide
|
||||||
"compose.rkt"
|
"compose.rkt"
|
||||||
"identity.rkt"
|
"identity.rkt"
|
||||||
"join-hash.rkt"
|
|
||||||
"join-list.rkt"
|
|
||||||
"join-string.rkt"
|
"join-string.rkt"
|
||||||
"join-vector.rkt"
|
"join-vector.rkt"
|
||||||
"thrush.rkt"
|
"thrush.rkt"
|
||||||
|
|
|
@ -6,7 +6,5 @@
|
||||||
|
|
||||||
@scribble-include/no-subsection["compose.scrbl"]
|
@scribble-include/no-subsection["compose.scrbl"]
|
||||||
@scribble-include/no-subsection["thrush.scrbl"]
|
@scribble-include/no-subsection["thrush.scrbl"]
|
||||||
@scribble-include/no-subsection["join-list.scrbl"]
|
|
||||||
@scribble-include/no-subsection["join-hash.scrbl"]
|
|
||||||
@scribble-include/no-subsection["join-vector.scrbl"]
|
@scribble-include/no-subsection["join-vector.scrbl"]
|
||||||
@scribble-include/no-subsection["join-string.scrbl"]
|
@scribble-include/no-subsection["join-string.scrbl"]
|
||||||
|
|
|
@ -8,7 +8,7 @@
|
||||||
"../util/alternating-list.rkt"
|
"../util/alternating-list.rkt"
|
||||||
"../util/immutable.rkt"
|
"../util/immutable.rkt"
|
||||||
"../util/list-pair-contract.rkt"
|
"../util/list-pair-contract.rkt"
|
||||||
"join-list.rkt")
|
"../list/join-list.rkt")
|
||||||
|
|
||||||
(module+ test
|
(module+ test
|
||||||
(require rackunit
|
(require rackunit
|
|
@ -2,3 +2,4 @@
|
||||||
"nested.rkt"
|
"nested.rkt"
|
||||||
"pick.rkt"
|
"pick.rkt"
|
||||||
"ref.rkt"
|
"ref.rkt"
|
||||||
|
"join-hash.rkt"
|
||||||
|
|
|
@ -10,3 +10,4 @@
|
||||||
@scribble-include/no-subsection["ref.scrbl"]
|
@scribble-include/no-subsection["ref.scrbl"]
|
||||||
@scribble-include/no-subsection["nested.scrbl"]
|
@scribble-include/no-subsection["nested.scrbl"]
|
||||||
@scribble-include/no-subsection["pick.scrbl"]
|
@scribble-include/no-subsection["pick.scrbl"]
|
||||||
|
@scribble-include/no-subsection["join-hash.scrbl"]
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
(require racket/contract
|
(require racket/contract
|
||||||
racket/list
|
racket/list
|
||||||
"../base/main.rkt"
|
"../base/main.rkt"
|
||||||
"../compound/join-hash.rkt"
|
"../hash/join-hash.rkt"
|
||||||
"../util/immutable.rkt"
|
"../util/immutable.rkt"
|
||||||
"../util/rest-contract.rkt"
|
"../util/rest-contract.rkt"
|
||||||
"ref.rkt")
|
"ref.rkt")
|
||||||
|
|
|
@ -6,14 +6,14 @@ provide
|
||||||
lens-join/assoc (->* [] #:rest (listof2 any/c lens?) (lens/c any/c (listof pair?)))
|
lens-join/assoc (->* [] #:rest (listof2 any/c lens?) (lens/c any/c (listof pair?)))
|
||||||
|
|
||||||
require lens/private/base/main
|
require lens/private/base/main
|
||||||
lens/private/compound/join-list
|
lens/private/list/join-list
|
||||||
lens/private/list/assoc
|
lens/private/list/assoc
|
||||||
lens/private/util/alternating-list
|
lens/private/util/alternating-list
|
||||||
lens/private/util/list-pair-contract
|
lens/private/util/list-pair-contract
|
||||||
racket/match
|
racket/match
|
||||||
unstable/sequence
|
unstable/sequence
|
||||||
module+ test
|
module+ test
|
||||||
require rackunit lens/private/list/main
|
require rackunit lens/private/list/list-ref-take-drop
|
||||||
|
|
||||||
(define (lens-join/assoc . ks/lenses)
|
(define (lens-join/assoc . ks/lenses)
|
||||||
(define-values [keys lenses]
|
(define-values [keys lenses]
|
|
@ -2,6 +2,8 @@
|
||||||
|
|
||||||
@(require "../doc-util/main.rkt")
|
@(require "../doc-util/main.rkt")
|
||||||
|
|
||||||
|
@title{Joining lenses to view lists}
|
||||||
|
|
||||||
@defproc[(lens-join/list [lens lens?] ...) lens?]{
|
@defproc[(lens-join/list [lens lens?] ...) lens?]{
|
||||||
Constructs a lens that combines the view of each
|
Constructs a lens that combines the view of each
|
||||||
@racket[lens] into a list of views. This lens can
|
@racket[lens] into a list of views. This lens can
|
|
@ -3,4 +3,5 @@
|
||||||
"list-ref-take-drop.rkt"
|
"list-ref-take-drop.rkt"
|
||||||
"cadr-etc.rkt"
|
"cadr-etc.rkt"
|
||||||
"multi.rkt"
|
"multi.rkt"
|
||||||
|
"join-list.rkt"
|
||||||
"assoc.rkt"
|
"assoc.rkt"
|
||||||
|
|
|
@ -8,4 +8,5 @@
|
||||||
|
|
||||||
@include-section["car-cdr.scrbl"]
|
@include-section["car-cdr.scrbl"]
|
||||||
@include-section["list-ref-take-drop.scrbl"]
|
@include-section["list-ref-take-drop.scrbl"]
|
||||||
|
@include-section["join-list.scrbl"]
|
||||||
@include-section["assoc.scrbl"]
|
@include-section["assoc.scrbl"]
|
||||||
|
|
|
@ -4,6 +4,7 @@
|
||||||
"../base/main.rkt"
|
"../base/main.rkt"
|
||||||
"../compound/main.rkt"
|
"../compound/main.rkt"
|
||||||
"../util/rest-contract.rkt"
|
"../util/rest-contract.rkt"
|
||||||
|
"join-list.rkt"
|
||||||
"list-ref-take-drop.rkt")
|
"list-ref-take-drop.rkt")
|
||||||
|
|
||||||
(module+ test
|
(module+ test
|
||||||
|
|
|
@ -1,2 +1,2 @@
|
||||||
#lang reprovide
|
#lang reprovide
|
||||||
lens/private/compound/join-assoc
|
lens/private/list/join-assoc
|
||||||
|
|
Loading…
Reference in New Issue
Block a user