package asai

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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.