package yuujinchou
Rosetta of Imports
Haskell
Haskell syntax:
import Mod -- x is available an both x and Mod.x
Corresponding yuujinchou modifier:
Language.(union [any; renaming [] ["Mod"]])
Haskell syntax:
import Mod (x,y)
Corresponding yuujinchou modifier:
Language.(union [only ["x"]; only ["y"]])
Haskell syntax:
import qualified Mod
Corresponding yuujinchou modifier:
Language.(renaming [] ["Mod"])
Haskell syntax:
import qualified Mod hiding (x,y)
Corresponding yuujinchou modifier:
Language.(seq [except ["x"]; except ["y"]; renaming [] ["Mod"]])
Racket
Racket syntax:
(require (only-in ... id0 [old-id1 new-id1]))
Corresponding yuujinchou modifier:
Language.(seq [...; union [only ["id0"]; seq [only ["old-id1"]; renaming ["old-id1"] ["new-id1"]]]])
Racket syntax:
(require (except-in ... id0 id1]))
Corresponding yuujinchou modifier:
Language.(seq [...; except ["id0"]; except ["id1"]])
Racket syntax:
(require (prefix-in p: ...))
Corresponding yuujinchou modifier:
Language.(seq [...; renaming [] ["p"]])
Note: Racket does not support hierarchical names, so the prefixing operator in Racket is directly prepending the prefix to the affected names.
Racket syntax:
(require (rename-in ... [old-id0 new-id0] [old-id1 new-id1]))
Corresponding yuujinchou modifier:
Language.(seq [...; renaming ["old-id0"] ["new-id0"]; renaming ["old-id1"] ["new-id1"]])
Racket syntax:
(require (combine-in require-spec0 require-spec1 ...))
Corresponding yuujinchou modifier:
Language.(union [require-spec0; require-spec1; ...])