Documentation

Std.Internal.Parsec.String

source
instance Std.Internal.Parsec.String.instInputIteratorCharPos :
Input String.Iterator Char String.Pos
Equations
    source
    @[reducible, inline]
    abbrev Std.Internal.Parsec.String.Parser (α : Type) :
    Type
    Equations
      Instances For
        source
        def Std.Internal.Parsec.String.Parser.run {α : Type} (p : Parser α) (s : String) :
        Except String α
        Equations
          Instances For
            source
            def Std.Internal.Parsec.String.pstring (s : String) :
            Parser String

            Parses the given string.

            Equations
              Instances For
                source
                @[inline]
                def Std.Internal.Parsec.String.skipString (s : String) :
                Parser Unit
                Equations
                  Instances For
                    source
                    @[inline]
                    def Std.Internal.Parsec.String.pchar (c : Char) :
                    Parser Char
                    Equations
                      Instances For
                        source
                        @[inline]
                        def Std.Internal.Parsec.String.skipChar (c : Char) :
                        Parser Unit
                        Equations
                          Instances For
                            source
                            @[inline]
                            def Std.Internal.Parsec.String.digit :
                            Parser Char
                            Equations
                              Instances For
                                source
                                @[inline]
                                def Std.Internal.Parsec.String.digits :
                                Parser Nat
                                Equations
                                  Instances For
                                    source
                                    @[inline]
                                    def Std.Internal.Parsec.String.hexDigit :
                                    Parser Char
                                    Equations
                                      Instances For
                                        source
                                        @[inline]
                                        def Std.Internal.Parsec.String.asciiLetter :
                                        Parser Char
                                        Equations
                                          Instances For
                                            source
                                            @[inline]
                                            def Std.Internal.Parsec.String.ws :
                                            Parser Unit
                                            Equations
                                              Instances For
                                                source
                                                def Std.Internal.Parsec.String.take (n : Nat) :
                                                Parser String
                                                Equations
                                                  Instances For