From b885bf36aa615ff010290438b18bd6c7db817090 Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Wed, 19 Aug 2015 22:28:18 -0400 Subject: [PATCH] make identity-lens an isomorphism-lens --- lens/base/identity.rkt | 11 ++++++----- unstable/lens/isomorphism/base.rkt | 2 +- 2 files changed, 7 insertions(+), 6 deletions(-) diff --git a/lens/base/identity.rkt b/lens/base/identity.rkt index 18e2db1..801997a 100644 --- a/lens/base/identity.rkt +++ b/lens/base/identity.rkt @@ -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 diff --git a/unstable/lens/isomorphism/base.rkt b/unstable/lens/isomorphism/base.rkt index be8c779..165b66c 100644 --- a/unstable/lens/isomorphism/base.rkt +++ b/unstable/lens/isomorphism/base.rkt @@ -13,7 +13,7 @@ )) (require racket/match - lens/base/main + lens/base/gen-lens ) (module+ test (require rackunit (submod ".." data)))