charsio documentation

[mvolkmann]

Where could I go to verify which characters the charsio library considers to be whitespace?
I don't see that detail here: https://www.scryer.pl/charsio.html
I believe the answer is space and tab characters, but I want to verify that.

[triska]

Let's ask Prolog:

?- length(_, N),
   char_code(C, N),
   char_type(C, whitespace).
   N = 9, C = '\t'
;  N = 10, C = '\n'
;  N = 11, C = '\v'
;  N = 12, C = '\f'
;  N = 13, C = '\r'
;  N = 32, C = ' '
;  N = 133, C = '\x85\'
;  N = 160, C = '\xa0\'
;  N = 5760, C = '\x1680\'
;  N = 8192, C = '\x2000\'
;  N = 8193, C = '\x2001\'
;  N = 8194, C = '\x2002\'
;  N = 8195, C = '\x2003\'
;  N = 8196, C = '\x2004\'
;  N = 8197, C = '\x2005\'
;  N = 8198, C = '\x2006\'
;  N = 8199, C = '\x2007\'
;  N = 8200, C = '\x2008\'
;  N = 8201, C = '\x2009\'
;  N = 8202, C = '\x200a\'
;  N = 8232, C = '\x2028\'
;  N = 8233, C = '\x2029\'
;  N = 8239, C = '\x202f\'
;  N = 8287, C = '\x205f\'
;  N = 12288, C = '\x3000\'
;     error(representation_error(character_code),char_code/2).

[mvolkmann]

Nice! I need to get better at learning to “ask Prolog”.

[mvolkmann]

I tried this approach to list the characters included in some other types supported by char_type.
It seems to work for all of them except ascii_punctuation. This ...

length(_, N), char_code(C, N), char_type(C, ascii_punctuation).

gives me the error "error(representation_error(character_code),char_code/2)."

When I enter char_type('.', T). to see which type groups contain period, it lists several but ascii_punctuation is not one of them.
Could there be a bug related to the ascii_punctuation group?

[triska]

Yes that definitively looks like a mistake for ascii_punctuation, please consider filing an issue!