Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package asai
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Asai.SourceReaderSource
Reading the source content. It uses memory-mapped I/O for files. You probably do not need this module unless you want to create your own diagnostic handler.
An abstract type of sources.
load source loads the source.
unsafe_get source i reads the ith byte of the file without checking the file size.
run f runs the thunk f and handles the internal algebraic effects.