60 lines
2.1 KiB
Racket
60 lines
2.1 KiB
Racket
#lang typed/racket/base
|
|
|
|
(define-type RelativeString String)
|
|
(define-type UserString String)
|
|
(define-type PackageString String)
|
|
|
|
|
|
|
|
(define-type ResolvedModulePath (U Path Symbol))
|
|
|
|
(define-type ModulePath (U (List 'quote Symbol)
|
|
RelativeString
|
|
(Pairof 'lib (Pairof RelativeString (Listof RelativeString)))
|
|
Symbol
|
|
(List 'file String)
|
|
(List 'planet Symbol)
|
|
(List 'planet String)
|
|
(Pairof 'planet
|
|
(Pairof RelativeString
|
|
(Pairof (U (List UserString PackageString)
|
|
(List UserString PackageString Natural)
|
|
(List UserString PackageString Natural MinorVersion))
|
|
(Listof RelativeString))))))
|
|
|
|
|
|
(define-type MinorVersion (U Natural
|
|
(List Natural Natural)
|
|
(List '= Natural)
|
|
(List '+ Natural)
|
|
(List '- Natural)))
|
|
|
|
|
|
(require/typed racket/base
|
|
|
|
[opaque ModulePathIndex module-path-index?]
|
|
|
|
[module-path-index-resolve
|
|
(ModulePathIndex -> Path-String)]
|
|
|
|
[module-path-index-join
|
|
((U ModulePath #f)
|
|
(U ModulePathIndex ResolvedModulePath #f) ->
|
|
ModulePathIndex)]
|
|
|
|
[module-path-index-split
|
|
(ModulePathIndex -> (values (U ModulePath #f)
|
|
(U ModulePathIndex ResolvedModulePath #f)))])
|
|
|
|
|
|
|
|
(provide
|
|
|
|
ModulePath
|
|
ResolvedModulePath
|
|
|
|
ModulePathIndex
|
|
module-path-index-resolve
|
|
module-path-index-join
|
|
module-path-index-split)
|