suzanne.soy/lens
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

split functional-set? predicate into separate module

Browse Source
This commit is contained in:
AlexKnauth 2015-08-27 17:54:45 -04:00
parent b5ab927e6e
commit abd302a839
2 changed files with 18 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
lens/private/util/functional-set.rkt Normal file
View File

@ -0,0 +1,17 @@
#lang sweet-exp racket/base
provide functional-set?
require racket/set
module+ test
require rackunit
(define (functional-set? st)
(and (generic-set? st)
(set-implements? st 'set-add 'set-remove)
(not (set-mutable? st))))
module+ test
(check-true (functional-set? (set 1 2 3)))
(check-true (functional-set? '(1 2 3)))
(check-false (functional-set? (mutable-set 1 2 3)))

12
unstable/lens/set-filterer.rkt
View File

@ -7,6 +7,7 @@ provide
set-filterer-lens (-> predicate/c (lens/c functional-set? functional-set?)) set-filterer-lens (-> predicate/c (lens/c functional-set? functional-set?))
require lens/private/base/main require lens/private/base/main
lens/private/util/functional-set
racket/set racket/set
racket/function racket/function
fancy-app fancy-app
@ -51,14 +52,3 @@ module+ test
(set 4 5 6 7 'a 'b 'c 'd 'e)) (set 4 5 6 7 'a 'b 'c 'd 'e))
(check-exn exn:fail:contract? (check-exn exn:fail:contract?
(thunk (lens-set (set-filterer-lens number?) (set 1) (set 'a)))) (thunk (lens-set (set-filterer-lens number?) (set 1) (set 'a))))
(define (functional-set? st)
(and (generic-set? st)
(set-implements? st 'set-add 'set-remove)
(not (set-mutable? st))))
module+ test
(check-true (functional-set? (set 1 2 3)))
(check-true (functional-set? '(1 2 3)))
(check-false (functional-set? (mutable-set 1 2 3)))