src/annotated.rs

@@ -1,6 +1,6 @@
 use std::marker::PhantomData;
 
-use crate::{representation::Representation, ParseResult, Parser};
+use crate::{ParseResult, Parser};
 
 pub struct AnnotatedParser<P, I, O, E>
 where
@@ -8,7 +8,6 @@ where
 {
     inner: P,
     name: Option<String>,
-    repr: Option<Representation>,
     phantom: PhantomData<(I, O, E)>,
 }
 
@@ -33,7 +32,6 @@ where
         Self {
             inner,
             name: None,
-            repr: None,
             phantom: PhantomData,
         }
     }
@@ -44,11 +42,4 @@ where
             ..self
         }
     }
-
-    pub fn with_repr(self, repr: Representation) -> Self {
-        Self {
-            repr: Some(repr),
-            ..self
-        }
-    }
 }

src/lib.rs

@@ -5,7 +5,6 @@ mod combinators;
 mod map;
 mod parser;
 mod primitives;
-mod representation;
 mod sequence;
 
 #[cfg(test)]

src/parser.rs

@@ -28,12 +28,6 @@ pub trait ParserExtension<I, O, E>: Parser<I, O, E> {
     fn then_ignore<O2, P: Parser<I, O2, E>>(self, next: P) -> impl Parser<I, O, E>;
     fn ignore_then<O2, P: Parser<I, O2, E>>(self, next: P) -> impl Parser<I, O2, E>;
     fn surrounded_by<O2>(self, surrounding: impl Parser<I, O2, E>) -> impl Parser<I, O, E>;
-    fn to_anno(self) -> AnnotatedParser<Self, I, O, E>
-    where
-        Self: Sized,
-    {
-        AnnotatedParser::new(self)
-    }
     fn to_named(self, name: &str) -> AnnotatedParser<Self, I, O, E>
     where
         Self: Sized,

src/primitives.rs

@@ -1,11 +1,10 @@
-use crate::{representation::Representation, ParseResult, Parser, ParserExtension};
+use crate::{ParseResult, Parser};
 
-pub fn literal<'a>(expected: &'static str) -> impl Parser<&'a str, &'a str, ()> {
+pub fn literal(expected: &'static str) -> impl Fn(&str) -> ParseResult<&str, &str, ()> {
-    let p = move |input: &'a str| match input.get(0..expected.len()) {
+    move |input| match input.get(0..expected.len()) {
         Some(next) if next == expected => Ok((next, &input[expected.len()..])),
         _ => Err(((), input)),
-    };
+    }
-    p.to_anno().with_repr(Representation::new())
 }
 
 pub fn literal_char<'a>(expected: char) -> impl Parser<&'a str, char, ()> {

src/representation.rs

@@ -1,12 +0,0 @@
-#[derive(Debug)]
-pub struct Representation {}
-
-impl Representation {
-    pub fn show(&self) {
-        println!("Not done");
-    }
-
-    pub fn new() -> Self {
-        Self {}
-    }
-}

src/test/mod.rs

@@ -4,7 +4,7 @@ use super::*;
 
 #[test]
 fn parsing() {
-    let (parsed, rest) = literal("a").parse("a yolo").unwrap();
+    let (parsed, rest) = literal("a")("a yolo").unwrap();
     assert_eq!(parsed, "a");
     assert_eq!(rest, " yolo");
 }