Shark リファレンス
Shark 標準ライブラリの関数および型のリファレンス。stdlib/*.shk(宣言ファイル)から自動生成されています。言語仕様の概要については 言語リファレンス を参照してください。
ライブラリ
| 組み込み関数 | import なしで、どこからでも使える関数。入出力・待ち・数え上げ・型変換がある。 | 12 |
|---|---|---|
| 組み込み型 | import なしで使える型と、その型に付く関数。値のうしろに . を付けて呼ぶ。代入すると中身はコピーされる。 | 51 |
| std.crypto | ハッシュと、安全な乱数。 | 11 |
| std.file | ファイルの読み書き。 | 19 |
| std.fmt | 書式指定 f"{v:...}" で書けないものを補う。 | 5 |
| std.json | JSON の読み書き。 | 14 |
| std.math | 数の計算と乱数。 | 28 |
| std.os | プログラムの外側とのやり取り。 | 12 |
| std.path | パスの文字列を組み立て、分解する。 | 10 |
| std.task | タスクとチャネル。 | 13 |
| std.test | テストの書き方。 | 10 |
| std.text | Unicode の細かい扱いと正規表現。 | 25 |
| std.time | 時刻と期間。 | 25 |
| std.ui | 画面描画および入力管理。プリミティブ描画(点・線・矩形・円・テキスト)およびキーボード・マウス入力。 | 140 |
索引
- assert
- bool
- bool.compare
- bytes.compare
- bytes.len
- bytes.list
- bytes.push
- bytes.sub
- bytes.to_hex
- bytes.to_string
- Canvas.blit
- Canvas.circle
- Canvas.clear
- Canvas.clear_depth
- Canvas.clip
- Canvas.clip_off
- Canvas.draw
- Canvas.fill_circle
- Canvas.fill_rect
- Canvas.get
- Canvas.height
- Canvas.hline
- Canvas.line
- Canvas.rect
- Canvas.set
- Canvas.text
- Canvas.to_png
- Canvas.tri
- Canvas.vline
- Canvas.width
- channel.close
- channel.len
- channel.recv
- channel.send
- channel.try_recv
- Comparable.compare
- crypto.equal
- crypto.hmac_sha256
- crypto.hmac_sha512
- crypto.md5
- crypto.random_bytes
- crypto.random_int
- crypto.sha1
- crypto.sha256
- crypto.sha512
- crypto.source
- crypto.uuid4
- Duration.compare
- Duration.days
- Duration.hours
- Duration.minutes
- Duration.seconds
- Error.code
- Error.init
- Error.message
- file.append
- File.close
- file.copy
- file.exists
- file.is_dir
- file.list
- file.make_dir
- file.modified
- file.open
- file.read
- File.read
- file.read_bytes
- File.read_line
- file.remove
- file.rename
- file.size
- file.write
- File.write
- file.write_bytes
- float
- float.compare
- float.infinity
- fmt.apply
- fmt.bytes
- fmt.duration
- fmt.table
- fmt.truncate
- input
- int
- int.compare
- int.to_bytes
- int.wrapping_add
- int.wrapping_mul
- int.wrapping_sub
- Json.bool
- Json.exists
- Json.float
- Json.int
- Json.keys
- Json.kind
- Json.list
- json.none
- json.of
- json.parse
- json.parse_file
- Json.string
- json.stringify
- json.stringify_pretty
- len
- list.contains
- list.insert
- list.join
- list.len
- list.pop
- list.push
- list.remove
- list.sort
- map.get
- map.has
- map.keys
- map.len
- map.remove
- map.values
- Match.end
- Match.group
- Match.start
- Match.text
- math.abs
- math.acos
- math.asin
- math.atan
- math.atan2
- math.ceil
- math.clamp
- math.cos
- math.E
- math.exp
- math.floor
- math.INF
- math.is_inf
- math.is_nan
- math.log
- math.log10
- math.max
- math.min
- math.PI
- math.pow
- math.random
- math.random_int
- math.round
- math.seed
- math.sin
- math.sqrt
- math.tan
- math.trunc
- os.args
- os.chdir
- os.cwd
- os.env
- os.exit
- os.platform
- os.run
- os.set_env
- os.temp_dir
- Output.code
- Output.err
- Output.out
- path.absolute
- path.dir
- path.ext
- path.is_absolute
- path.join
- path.join_all
- path.name
- path.normalize
- path.separator
- path.stem
- range
- range_step
- Regex.find
- Regex.find_all
- Regex.matches
- Regex.replace
- Regex.split
- Result.error
- Result.ok
- Result.value
- sleep
- string
- string.bytes
- string.chars
- string.compare
- string.contains
- string.ends_with
- string.find
- string.from_hex
- string.len
- string.lower
- string.replace
- string.split
- string.starts_with
- string.sub
- string.trim
- string.upper
- Task.cancel
- task.channel
- task.count
- Task.done
- Task.id
- Task.wait
- Task.wait_timeout
- task.yield
- test.after_each
- test.before_each
- test.describe
- test.eq
- test.fail
- test.is_error
- test.is_none
- test.ne
- test.near
- test.ok
- text.code
- text.compare
- text.compare_ja
- text.decode
- text.encode
- text.fold_case
- text.from_code
- text.is_alpha
- text.is_digit
- text.is_lower
- text.is_space
- text.is_upper
- text.normalize
- text.regex
- text.sort_ja
- text.width
- Time.compare
- time.date
- time.datetime
- Time.day
- time.days
- Time.format
- Time.hour
- time.hours
- Time.minute
- time.minutes
- time.monotonic
- Time.month
- time.now
- time.parse
- Time.second
- time.seconds
- Time.to_local
- Time.to_utc
- Time.weekday
- Time.year
- ui.action
- ui.alpha
- ui.blit
- ui.blue
- ui.button
- ui.canvas
- ui.center
- ui.checkbox
- ui.chosen
- ui.circle
- ui.clear
- ui.clear_depth
- ui.clicked
- ui.clip
- ui.clip_off
- ui.clipboard
- ui.close
- ui.col
- ui.color
- ui.combo
- ui.cursor
- ui.depth
- ui.divider
- ui.drag
- ui.draw
- ui.edited
- ui.field
- ui.fill_circle
- ui.fill_rect
- ui.float_value
- ui.font
- ui.font_builtin
- ui.font_name
- ui.frame
- ui.get
- ui.green
- ui.grid
- ui.has_action
- ui.has_ime
- ui.height
- ui.hline
- ui.image
- ui.input
- ui.input_off
- ui.key
- ui.label
- ui.line
- ui.listbox
- ui.load_png
- ui.marked
- ui.menu
- ui.menu_close
- ui.menu_open
- ui.menu_pick
- ui.mix
- ui.mouse
- ui.mouse_x
- ui.mouse_y
- ui.number
- ui.open
- ui.password
- ui.pick_file
- ui.pick_save
- ui.pixel_ratio
- ui.point_x
- ui.point_y
- ui.poll
- ui.present
- ui.pressed
- ui.quit
- ui.radio
- ui.rect
- ui.red
- ui.released
- ui.rgb
- ui.rgba
- ui.row
- ui.run
- ui.scale
- ui.scroll
- ui.selected
- ui.set
- ui.set_clipboard
- ui.show
- ui.slider
- ui.space
- ui.spacer
- ui.stack
- ui.tabs
- ui.text
- ui.text_height
- ui.text_value
- ui.text_width
- ui.textarea
- ui.theme
- ui.to_png
- ui.tree
- ui.tri
- ui.typed
- ui.value
- ui.visible
- ui.vline
- ui.wheel
- ui.wheel_x
- ui.width
- Widget.align
- Widget.background
- Widget.border
- Widget.color
- Widget.decimals
- Widget.disabled
- Widget.filter
- Widget.font
- Widget.height
- Widget.padding
- Widget.placeholder
- Widget.radius
- Widget.tooltip
- Widget.valign
- Widget.width
- write