9.6. 文字（Characters）🔗

structure

Char : Type

The Char Type represents an unicode scalar value. See http://www.unicode.org/glossary/#unicode_scalar_value).

Constructor

Char.mk (val : UInt32) (valid : val.isValidChar)
    : Char

`val`	:	`UInt32`
		The underlying unicode scalar value as a `UInt32`.
`valid`	:	`self.val.isValidChar`
		The value must be a legal codepoint.

モノ射なコンテキストでは、文字は32ビットの即値として表現されます。言い換えると、Char 型のコンストラクタや構造体のフィールドにアクセスする際にインダイレクトは必要ありません。多相なコンテキストでは文字はボックス化されます。

def

Char.isAlpha (c : Char) : Bool

Is the character in ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz?

def

Char.isAlphanum (c : Char) : Bool

Is the character in ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789?

def

Char.isDigit (c : Char) : Bool

Is the character in 0123456789?

def

Char.isLower (c : Char) : Bool

Is the character in abcdefghijklmnopqrstuvwxyz?

def

Char.isUpper (c : Char) : Bool

Is the character in ABCDEFGHIJKLMNOPQRSTUVWXYZ?

def

Char.isWhitespace (c : Char) : Bool

Is the character a space (U+0020) a tab (U+0009), a carriage return (U+000D) or a newline (U+000A)?