lazy_list_character

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(pio): Pure I/O
      - library(pure_input): Pure Input from files and streams
        
        phrase_from_file/2
        
        phrase_from_file/3
        
        phrase_from_stream/2
        
        syntax_error//1
        
        lazy_list_location//1
        
        lazy_list_character_count//1
        
        stream_to_lazy_list/2
- Packages

Availability::- use_module(library(pure_input)).(can be autoloaded)

lazy_list_character_count(-CharCount)//

True when CharCount is the current character count in the Lazy list. The character count is computed by finding the distance to the next frozen tail of the lazy list. CharCount is one of:

An integer
A term end_of_file-Count

See also: lazy_list_location//1 provides full details of the location for error reporting.