Struct Loader

pub struct Loader<S, P, R> { /* private fields */ }

Combined file loader, lexer, and parser for multiple modules.

Implementations

impl<'s, P: Default> Loader<&'s str, P, fn(Import<'_, &str, P>) -> Result<File<String, P>, String>>

pub fn new(prelude: impl IntoIterator<Item = Def<&'s str>>) -> Self

Initialise the loader with prelude definitions.

The prelude is a special module that is implicitly included by all other modules (including the main module). That means that all filters defined in the prelude can be called from any module.

The prelude is normally initialised with filters like map or true.

impl<S, P, R> Loader<S, P, R>

pub fn with_read<R2>(self, read: R2) -> Loader<S, P, R2>

Provide a function to return the contents of included/imported module files.

For every included/imported module, the loader will call this function to obtain the contents of the module. For example, if we have include "foo", the loader calls read("foo").

impl<S, R> Loader<S, PathBuf, R>

pub fn with_std_read( self, paths: &[PathBuf], ) -> Loader<S, PathBuf, impl FnMut(Import<'_, &str, PathBuf>) -> Result<File<String, PathBuf>, String> + '_>

Read the contents of included/imported module files by performing file I/O.

impl<'s, P: Clone + Eq, R: FnMut(Import<'_, &'s str, P>) -> Result<File<String, P>, String>> Loader<&'s str, P, R>

pub fn load( self, arena: &'s Arena, file: File<&'s str, P>, ) -> Result<Modules<&'s str, P>, Errors<&'s str, P>>

Load a set of modules, starting from a given file.