package asai

You can search for identifiers within the package.

in-package search v0.2.0

asai
- Asai
  - Diagnostic
    
    Code
  - Explication
  - Explicator
    
    Make
    
    Style
    
    _
    
    Reader
    
    S
    
    Style
    
    Style
  - FileReader
  - GitHub
    
    Make
    
    Code
  - Logger
    
    Make
    
    Code
    
    S
    
    Code
  - Lsp
    
    Make
    
    Code
  - Span
  - Tty
    
    Make
    
    Code

Legend:
Library
Module
Module type
Parameter
Class
Class type

An implementation of Explicator.Reader using memory-mapped file I/O. You probably do not need this module unless you want to create your own backend.

include Explicator.Reader

type file

An abstract type of files.

val load : string -> file

load file_path loads the resource at file_path.

val length : file -> int

length file_path gets the size of the file.

val unsafe_get : file -> int -> char

unsafe_get file_path i reads the ith byte of the file without checking the file size.

val run : (unit -> 'a) -> 'a

run f runs the thunk f and handles the internal algebraic effects.