package fmlib

You can search for identifiers within the package.

in-package search v0.2.0

package fmlib

fmlib
- Fmlib
fmlib.fmlib_parse
- Fmlib_parse
  - Buffer
    
    Make
    
    Error
    
    Expect
    
    Semantic
    
    State
    
    Token
  - Character
    
    Make
    
    Final
    
    Parser
    
    Semantic
    
    State
  - Character_state
    
    Make
    
    User
  - Error
    
    Make
    
    Expect
    
    Semantic
  - Generic
    
    Make
    
    Expect
    
    Final
    
    Parser
    
    Semantic
    
    State
    
    Token
  - Indent
  - Interfaces
    
    COMBINATOR
    
    PARSER
  - Located
  - Parse
  - Position
  - Test_calculator
    
    CP
    
    Parser
  - Test_character
    
    CP
    
    Parser
    
    Indent_sensitive
    
    Basic
    
    Parser
    
    Final
    
    SP
    
    Parser
fmlib.fmlib_pretty
- Fmlib_pretty
  - Pretty
  - Print
  - State
    
    Buffer
    
    Chunk
    
    Group
    
    Line
    
    Text
fmlib.fmlib_std
- Fmlib_std
  - Array
  - Deque
  - Int
  - Interfaces
    
    ANY
    
    MONAD
    
    SINK
    
    SORTABLE
    
    SOURCE
  - List
    
    Monadic
    
    M
  - Result
    
    Monad
    
    E
  - Std
  - String
    
    From_source
    
    S
    
    To_source

Legend:
Library
Module
Module type
Parameter
Class
Class type

Represent a position in a text file.

type t

Position in a text file.

type range = t * t

val start : t

Position with points to the start of a textfile.

val line : t -> int

line pos The line number corresponding to the position p. Note: The first line is line 0.

val column : t -> int

column pos The column number corresponding to the position p. Note: The first column is column 0.

val next : char -> t -> t

next next_char pos: Advance the position by using the next character. If the next character is a newline, then the line number is increment and the column number is reset to 0.

val next_line : t -> t

next_line pos Advance the position to the start of the next line.

val next_column : t -> t

next_column pos Advance the column position by 1.