Mode::ExtensionResult

This commit is contained in:
AF 2023-07-29 18:43:15 +00:00
parent 4a762dd00f
commit 3bbcfadec7
2 changed files with 6 additions and 0 deletions

View File

@ -5,6 +5,8 @@ use super::*;
pub trait Mode {
type ParseResult<A, E, I>;
type ExtensionResult<A, E>;
fn map_err<A, E0, E1, I>(
result: Self::ParseResult<A, E0, I>,
f: impl FnOnce(E0) -> E1,
@ -68,6 +70,8 @@ pub struct RegularMode;
impl Mode for RegularMode {
type ParseResult<A, E, I> = Result<A, E>;
type ExtensionResult<A, E> = Result<A, E>;
fn map_err<A, E0, E1, I>(
result: Self::ParseResult<A, E0, I>,
f: impl FnOnce(E0) -> E1,

View File

@ -5,6 +5,8 @@ pub struct InliningMode;
impl Mode for InliningMode {
type ParseResult<A, E, I> = Result<(A, I), E>;
type ExtensionResult<A, E> = E;
fn map_err<A, E0, E1, I>(
result: Self::ParseResult<A, E0, I>,
f: impl FnOnce(E0) -> E1,