[no-colon] per-package

format/no-colon.rkt

@@ -0,0 +1,7 @@
+#lang typed/racket/base
+
+(provide (all-from-out trivial/format))
+
+(require (rename-in trivial/format
+  [format: format]
+  [printf: printf]))

math/no-colon.rkt

@@ -0,0 +1,9 @@
+#lang typed/racket/base
+
+(provide (all-from-out trivial/math))
+
+(require (rename-in trivial/math
+  [+: +]
+  [-: -]
+  [*: *]
+  [/: /]))

no-colon.rkt

@@ -3,28 +3,12 @@
 ;; Provides the same bindings as `trivial/main`,
 ;;  but without the trailing colon.
 
-(provide (all-from-out trivial))
+(provide
+  (all-from-out trivial/format/no-colon)
+  (all-from-out trivial/math/no-colon)
+  (all-from-out trivial/regexp/no-colon))
 
 (require
-  (rename-in trivial
+  trivial/format/no-colon
-   ;; -- from `format.rkt`
+  trivial/math/no-colon
-   [format: format]
+  trivial/regexp/no-colon)
-   [printf: printf]
-
-   ;; -- from `regexp.rkt`
-   [regexp-match: regexp-match]
-   [regexp: regexp]
-   [pregexp: pregexp]
-   [byte-regexp: byte-regexp]
-   [byte-pregexp: byte-pregexp]
-   [define-regexp: define-regexp]
-   [define-pregexp: define-pregexp]
-   [define-byte-regexp: define-byte-regexp]
-   [define-byte-pregexp: define-byte-pregexp]
-
-   ;; -- from `math.rkt`
-   [+: +]
-   [-: -]
-   [*: *]
-   [/: /]
-))

regexp/no-colon.rkt

@@ -0,0 +1,14 @@
+#lang typed/racket/base
+
+(provide (all-from-out trivial/regexp))
+
+(require (rename-in trivial/regexp
+  [regexp-match: regexp-match]
+  [regexp: regexp]
+  [pregexp: pregexp]
+  [byte-regexp: byte-regexp]
+  [byte-pregexp: byte-pregexp]
+  [define-regexp: define-regexp]
+  [define-pregexp: define-pregexp]
+  [define-byte-regexp: define-byte-regexp]
+  [define-byte-pregexp: define-byte-pregexp]))