boringcactus/kdl-schema-check - Change 3MT46E3X5M3PTXCUZ6IJJAIM6WH4DWAOMPCGEUUSKMY7TEV6NLCQC

refine lib structure

Created by BMqc8k9mRqRyLVXTsh7RYF3Q2MJgjgk1WBfNRowfLqop on March 27, 2022

3MT46E3X5M3PTXCUZ6IJJAIM6WH4DWAOMPCGEUUSKMY7TEV6NLCQC

Dependencies

In channels

main

Change contents

Insertion in src/lib.rs at line 7 [2.31]
[2.170]
[2.170]
```
mod check;
```

Insertion in src/lib.rs at line 12 [2.31]

[2.215]

#[derive(Debug, Error, Diagnostic)]
pub enum IoOrParseError {
    #[error("could not read file: {0}")]
    IoError(#[from] std::io::Error),
    #[error("could not parse file: {0}")]
    ParseError(#[from] knuffel::Error<LineSpan>),
}

Replacement in src/lib.rs at line 21 [2.31]

B:BD[2.246] → [2.246:318]

    type Error;
    fn parse(self) -> Result<DocumentAst, Self::Error>;

[2.246]

[2.318]

    fn parse(self) -> Result<DocumentAst, IoOrParseError>;

Replacement in src/lib.rs at line 25 [2.31]

B:BD[2.363] → [2.363:464]

    type Error = std::convert::Infallible;
    fn parse(self) -> Result<DocumentAst, Self::Error> {

[2.363]

[2.464]

    fn parse(self) -> Result<DocumentAst, IoOrParseError> {

Replacement in src/lib.rs at line 31 [2.31]

B:BD[2.525] → [2.525:675]

    type Error = knuffel::Error<LineSpan>;
    fn parse(self) -> Result<DocumentAst, Self::Error> {
        knuffel::parse_ast("<text input>", self)

[2.525]

[2.675]

    fn parse(self) -> Result<DocumentAst, IoOrParseError> {
        let result = knuffel::parse_ast("<text input>", self)?;
        Ok(result)

Deletion in src/lib.rs at line 35 [2.31]

B:BD[2.681] → [2.681:916]

}
#[derive(Debug, Error, Diagnostic)]
pub enum IoOrParseError {
    #[error("could not read file: {0}")]
    IoError(#[from] std::io::Error),
    #[error("could not parse file: {0}")]
    ParseError(#[from] knuffel::Error<LineSpan>),

Replacement in src/lib.rs at line 38 [2.31]

B:BD[2.955] → [2.955:1046]

    type Error = IoOrParseError;
    fn parse(self) -> Result<DocumentAst, Self::Error> {

[2.955]

[2.1046]

    fn parse(self) -> Result<DocumentAst, IoOrParseError> {

Replacement in src/lib.rs at line 46 [2.31]

B:BD[2.1256] → [2.1256:1318]

pub enum MatchError<ParseError> {
    ParseError(ParseError),

[2.1256]

[2.1318]

#[derive(Debug, Error, Diagnostic)]
pub enum CheckFailure {
    #[error("failed to read document: {0}")]
    ParseError(#[from] IoOrParseError),
    #[error(transparent)]
    ValidationFailure(#[from] check::CheckFailure),

Replacement in src/lib.rs at line 55 [2.31]

B:BD[2.1342] → [2.1342:1436]

    fn check_matches<D: ParseToDocumentAst>(document: D) -> Result<(), MatchError<D::Error>>;

[2.1342]

[2.1436]

    fn check_matches<D: ParseToDocumentAst>(&self, document: D) -> Result<(), CheckFailure>;

Replacement in src/lib.rs at line 59 [2.31]

B:BD[2.1466] → [2.1466:1577]

    fn check_matches<D: ParseToDocumentAst>(document: D) -> Result<(), MatchError<D::Error>> {
        todo!()

[2.1466]

[2.1577]

    fn check_matches<D: ParseToDocumentAst>(&self, document: D) -> Result<(), CheckFailure> {
        let document = document.parse()?;
        let _ = check::check(document, self)?;
        Ok(())

File addition: check.rs (---x------)

[3.15]

use kdl_schema::Schema;
use miette::Diagnostic;
use thiserror::Error;
use super::DocumentAst;
#[derive(Debug, Error, Diagnostic)]
pub enum CheckFailure {}
pub(crate) fn check(document: DocumentAst, schema: &Schema) -> Result<(), CheckFailure> {
    todo!()
}