io7m
io7m-jfprop
0.3.0
3.3. user_name
3. API Reference: Types
3.5. path
Previous
Up
Next
3.4
key
3.4.1
Description
1
Values of the
key
type represent valid keys.
3.4.2
Definition
1
A string
s
can be interpreted as a value of type
key
iff:
3.4.2.1. Type predicate
(empty(s) = false) ∧ ∀i. in(s, i), ∀c. c = get(s,i), is_digit(c) ∨ (c >= U+0061 ∧ c <= U+0066)
3.4.3
Java
1
In the
io7m-jfprop
server implementation, the
key
type is represented by the
JFPKey
type.
Previous
Up
Next
3.3. user_name
3. API Reference: Types
3.5. path