make identity-lens an isomorphism-lens
This commit is contained in:
parent
8c40c843af
commit
b885bf36aa
|
@ -1,6 +1,10 @@
|
|||
#lang racket/base
|
||||
|
||||
(require racket/function racket/contract/base "base.rkt")
|
||||
(require racket/function
|
||||
racket/contract/base
|
||||
"base.rkt"
|
||||
unstable/lens/isomorphism/base
|
||||
)
|
||||
|
||||
(module+ test
|
||||
(require rackunit
|
||||
|
@ -9,11 +13,8 @@
|
|||
(provide
|
||||
(contract-out [identity-lens lens?]))
|
||||
|
||||
|
||||
(define (second-value _ v) v)
|
||||
|
||||
(define identity-lens
|
||||
(make-lens identity second-value))
|
||||
(isomorphism-lens identity identity))
|
||||
|
||||
|
||||
(module+ test
|
||||
|
|
|
@ -13,7 +13,7 @@
|
|||
))
|
||||
|
||||
(require racket/match
|
||||
lens/base/main
|
||||
lens/base/gen-lens
|
||||
)
|
||||
(module+ test
|
||||
(require rackunit (submod ".." data)))
|
||||
|
|
Loading…
Reference in New Issue
Block a user