commit
5e6c7ebc84
|
@ -1,4 +1,4 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(provide (all-from-out "main.rkt"))
|
||||
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require "base.rkt")
|
||||
(require racket/function racket/contract/base "base.rkt")
|
||||
|
||||
(module+ test
|
||||
(require rackunit
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require "base.rkt"
|
||||
"view-set.rkt"
|
||||
|
|
|
@ -1,11 +1,14 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require unstable/sequence
|
||||
racket/match
|
||||
racket/contract/base
|
||||
"base.rkt"
|
||||
"../util/list-pair-contract.rkt")
|
||||
|
||||
(module+ test
|
||||
(require rackunit
|
||||
racket/list
|
||||
fancy-app))
|
||||
|
||||
(provide
|
||||
|
|
|
@ -1,12 +1,14 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require unstable/sequence
|
||||
racket/match
|
||||
racket/contract/base
|
||||
fancy-app
|
||||
"base.rkt"
|
||||
"../util/list-pair-contract.rkt")
|
||||
|
||||
(module+ test
|
||||
(require rackunit))
|
||||
(require rackunit racket/list))
|
||||
|
||||
(provide
|
||||
lens-view
|
||||
|
|
|
@ -1,6 +1,7 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require "../base/main.rkt"
|
||||
(require racket/contract/base
|
||||
"../base/main.rkt"
|
||||
"../compound/main.rkt"
|
||||
"../util/immutable.rkt"
|
||||
"../util/rest-contract.rkt"
|
||||
|
|
|
@ -1,5 +1,6 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require racket/contract/base)
|
||||
(provide (contract-out
|
||||
[assoc-lens
|
||||
(->* (any/c) (#:is-equal? (-> any/c any/c boolean?))
|
||||
|
@ -10,8 +11,7 @@
|
|||
(-> any/c (lens/c (listof pair?) any/c))]
|
||||
))
|
||||
|
||||
(require racket/list
|
||||
fancy-app
|
||||
(require fancy-app
|
||||
"../base/main.rkt")
|
||||
|
||||
(module+ test
|
||||
|
|
|
@ -1,5 +1,6 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require racket/contract/base)
|
||||
(provide
|
||||
(contract-out [car-lens (lens/c pair? any/c)]
|
||||
[cdr-lens (lens/c pair? any/c)]))
|
||||
|
|
|
@ -1,5 +1,6 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require racket/contract/base)
|
||||
(provide
|
||||
(contract-out
|
||||
[list-ref-lens
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require "lens/main.rkt")
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require "syntax/syntax.rkt"
|
||||
"syntax/syntax-keyword.rkt")
|
||||
|
|
|
@ -1,6 +1,7 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require lens
|
||||
racket/contract/base
|
||||
fancy-app
|
||||
syntax/parse)
|
||||
|
||||
|
|
|
@ -1,9 +1,10 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require syntax/parse
|
||||
rackunit
|
||||
lens
|
||||
(for-syntax racket/syntax
|
||||
(for-syntax racket/base
|
||||
racket/syntax
|
||||
syntax/stx
|
||||
syntax/parse))
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(module+ test
|
||||
(require doc-coverage
|
||||
|
|
|
@ -1,6 +1,7 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require lens
|
||||
racket/contract/base
|
||||
fancy-app)
|
||||
|
||||
(module+ test
|
||||
|
|
Loading…
Reference in New Issue
Block a user