Handbook
Glossary
xml>gb-data ( stream -- mapping ranges )
Vocabulary
io
.
encodings
.
gb18030
.
private
Inputs
stream
an
object
Outputs
mapping
an
object
ranges
an
object
Definition
USING:
accessors
kernel
locals.backend
xml
xml.data
;
IN:
io.encodings.gb18030.private
:
xml>gb-data
( stream -- mapping ranges )
H{
}
clone
load-local
V{
}
clone
load-local
0
get-local
-1
get-local
[
2
load-locals
dup
contained?
-1
get-local
0
get-local
[
2
load-locals
dup
name>>
main>>
dup
"range"
=
-1
get-local
[
load-local
drop
0
get-local
add-range
1
drop-locals
]
curry
0
get-local
[
load-local
dup
"a"
=
0
get-local
[
load-local
drop
0
get-local
add-mapping
1
drop-locals
]
curry
[
2drop
]
if
1
drop-locals
]
curry
if
2
drop-locals
]
curry
curry
[
drop
]
if
2
drop-locals
]
curry
curry
each-element
-1
get-local
0
get-local
2
drop-locals
;