package fmlib

You can search for identifiers within the package.

in-package search v0.2.0

package fmlib

Fmlib
- Library fmlib
  - Fmlib
- Library fmlib.fmlib_parse
  - Fmlib_parse
    
    Buffer
    
    Make
    
    Error
    
    Character
    
    Make
    
    Parser
    
    Character_state
    
    Make
    
    Error
    
    Make
    
    Generic
    
    Make
    
    Parser
    
    Indent
    
    Interfaces
    
    PARSER
    
    COMBINATOR
    
    Located
    
    Parse
    
    Character
    
    Generic
    
    Position
    
    Located
    
    Indent
    
    Interfaces
    
    Position
    
    Test_calculator
    
    CP
    
    Parser
    
    Test_character
    
    CP
    
    Parser
    
    SP
    
    Parser
    
    Indent_sensitive
    
    Basic
    
    Parser
    
    Parser
- Library fmlib.fmlib_pretty
  - Fmlib_pretty
    
    Pretty
    
    Print
    
    Print
    
    State
    
    Text
    
    Line
    
    Chunk
    
    Group
    
    Buffer
- Library fmlib.fmlib_std
  - Fmlib_std
    
    Array
    
    Deque
    
    Int
    
    Interfaces
    
    ANY
    
    MONAD
    
    SORTABLE
    
    SOURCE
    
    SINK
    
    List
    
    Monadic
    
    Result
    
    Monad
    
    Std
    
    Interfaces
    
    Array
    
    Deque
    
    Int
    
    List
    
    Result
    
    String
    
    String
    
    To_source
    
    From_source
- Sources
  - fmlib
    
    fmlib.ml
  - fmlib.fmlib_parse
    
    buffer.ml
    
    character.ml
    
    character_state.ml
    
    error.ml
    
    fmlib_parse.ml
    
    generic.ml
    
    indent.ml
    
    interfaces.ml
    
    located.ml
    
    position.ml
    
    test_calculator.ml
    
    test_character.ml
  - fmlib.fmlib_pretty
    
    fmlib_pretty.ml
    
    print.ml
    
    state.ml
  - fmlib.fmlib_std
    
    array.ml
    
    deque.ml
    
    fmlib_std.ml
    
    int.ml
    
    interfaces.ml
    
    list.ml
    
    result.ml
    
    string.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Fmlib_std.Deque`Source

A double ended queue. Insert from both ends, pop only from the front.

Sourcetype _ t

'a t A double ended queue with element type 'a.

Sourceval is_empty : _ t -> bool

is_empty q Is the queue q empty?

Sourceval has_some : _ t -> bool

has_some q Does the queue have elements?

Sourceval empty : _ t

empty The empty queue.

Sourceval push_front : 'a -> 'a t -> 'a t

push_front e q Push the element e to the front of the queue q.

Sourceval push_rear : 'a -> 'a t -> 'a t

push_rear e q Push the element e to the rear of the queue q.

Sourceval pop_front : 'a t -> ('a * 'a t) option

pop_front q Pop the front element.

Sourceval update_first : ('a -> 'a) -> 'a t -> 'a t

update_first f q Update the first element of the queue q with the update function f.

Sourceval update_last : ('a -> 'a) -> 'a t -> 'a t

update_last f q Update the last element of the queue q with the update function f.

Sourceval to_list : 'a t -> 'a list

to_list q Convert the queue q to a list.

package fmlib

Module Fmlib_std.DequeSource

Module `Fmlib_std.Deque`Source