typed-syntax.rkt (872B)
1 #lang typed/racket 2 3 (provide isexp? 4 Sexp/Non 5 try-any->isexp 6 any->isexp/non 7 CoreSexp 8 isyntax? 9 isyntax-e? 10 ISyntax 11 ISyntax-E 12 ISyntaxOf 13 ISyntaxOf-E 14 ISyntax/Non 15 ISyntax/Non-E 16 ISyntax/Non-Stx 17 any->isyntax/non 18 syntax->isyntax/non 19 any->isyntax/non-e 20 try-any->isyntax 21 try-syntax->isyntax 22 try-any->isyntax-e 23 NonSexp NonSexp? NonSexp-v NonSexpOf 24 NonSyntax NonSyntax? NonSyntax-v NonSyntaxOf 25 Some Some? Some-v 26 pairof?) 27 28 (require "typed-syntax/typed-syntax-convert.rkt" 29 "typed-syntax/typed-syntax-convert2.rkt" 30 "typed-syntax/typed-syntax-predicate.rkt" 31 "typed-syntax/typed-prefab-declarations.rkt" 32 "typed-syntax/typed-pairof-predicate.rkt") 33