このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

deep lists, io data

io_libのman:


Type:

chars() = [char() | chars()]

Function:

char_list(Term) -> bool()
Returns true if Term is a flat list of characters, otherwise it returns false.

deep_char_list(Term) -> bool()
Returns true if Term is a, possibly deep, list of characters, otherwise it returns false.

fileのman:


Type:

iodata() = iolist() | binary()
iolist() = [char() | binary() | iolist()]

deeplist()は、EDocの組み込み型

erlang:iolist_size/1 はバイトサイズを返す。実際には引数にiodata()を入れてもいい。これはなかなか便利。