fix: gramatic issues

Author: algebraic-dev

src/Std/Internal/Http/Data/Body.lean

@@ -14,7 +14,7 @@ public section
 /-!
 # Body
 
-This module defines the `Body` type, which represents the body of a HTTP request or response.
+This module defines the `Body` type, which represents the body of an HTTP request or response.
 -/
 
 namespace Std.Http
@@ -101,7 +101,7 @@ def collectByteArray (body : Body) : Async ByteArray := do
 
 /--
 Collect all data from the body into a single `String`. This reads the entire body content into memory,
-so use with caution for large bodies as it may consume significant memory. If it's a valid UTF8 string
+so use with caution for large bodies as it may consume significant memory. If it is a valid UTF-8 string
 then it will return `some` otherwise `none`.
 -/
 def collectString (body : Body) : Async (Option String) := do

src/Std/Internal/Http/Data/Body/Length.lean

@@ -13,8 +13,8 @@ public section
 /-!
 # Length
 
-This module defines the `Length` structure, that represents the content-length or transfer-encoding
-of a HTTP Request or response.
+This module defines the `Length` structure, that represents the Content-Length or Transfer-Encoding
+of an HTTP Request or response.
 -/
 
 namespace Std.Http.Body

src/Std/Internal/Http/Data/Chunk.lean

@@ -57,7 +57,7 @@ def withExtension (chunk : Chunk) (key : String) (value : String) : Chunk :=
 
 /--
 Returns the total size of the chunk including data and formatted extensions. Extensions are formatted
-as: ;name=value;name=value Plus 2 bytes for \r\n at the end.
+as: ;name=value;name=value. Plus 2 bytes for \r\n at the end.
 -/
 def size (chunk : Chunk) : Nat :=
   let extensionsSize := chunk.extensions.foldl (fun acc (name, value) => acc + name.length + (value.map (fun v => v.length + 1) |>.getD 0) + 1) 0

src/Std/Internal/Http/Data/Method.lean

@@ -14,7 +14,7 @@ public section
 /-!
 # Method
 
-This module provides the `Method` type, that represents an TTP request methods. It defines the
+This module provides the `Method` type, that represents HTTP request methods. It defines the
 standard set of HTTP methods (e.g. `GET`, `POST`, `PUT`, `DELETE`).
 -/
 

src/Std/Internal/Http/Data/Request.lean

@@ -18,7 +18,7 @@ public section
 /-!
 # Request
 
-This module provides the `Request` type, which represents am HTTP request. It also defines ways
+This module provides the `Request` type, which represents an HTTP request. It also defines ways
 to build a `Request` using functions that make it easier.
 -/
 

src/Std/Internal/Http/Data/Status.lean

@@ -13,8 +13,8 @@ public section
 /-!
 # Status
 
-This module contains `Status` that is a representation of HTTP status codes. Status codes are three-digit
-integer codes that describes the result of a HTTP request. In this implementation we do not treat status
+This module defines the `Status` type, which is a representation of HTTP status codes. Status codes are three-digit
+integer codes that describe the result of an HTTP request. In this implementation we do not treat status
 code as extensible.
 
 * Reference: https://httpwg.org/specs/rfc9110.html#status.codes
@@ -27,7 +27,7 @@ set_option linter.all true
 open Internal
 
 /--
-HTTP Status codes. Status codes are three-digit integer codes that describes the result of a
+HTTP Status codes. Status codes are three-digit integer codes that describe the result of an
 HTTP request. In this implementation we do not treat status code as extensible.
 
 * Reference: https://httpwg.org/specs/rfc9110.html#status.codes

src/Std/Internal/Http/Protocol/H1/Event.lean

@@ -38,8 +38,7 @@ inductive Event (dir : Direction)
   | gotData (final : Bool) (data : ByteSlice)
 
   /--
-  Need more data is an event that arrives when the input ended and it requires more
-  data to continue
+  Event received when the input ends and more data is required to continue
   -/
   | needMoreData (size : Option Nat)
 

src/Std/Internal/Http/Protocol/H1/Reader.lean

@@ -49,7 +49,7 @@ inductive Reader.State (dir : Direction) : Type
   -/
   | requireOutgoing : Body.Length → State dir
 
-  /-
+  /--
   State that it completed a single request and can go to the next one
   -/
   | complete

src/Std/Internal/Http/Protocol/H1/Writer.lean

@@ -52,7 +52,7 @@ inductive Writer.State
   -/
   | shuttingDown
 
-  /-
+  /--
   State that it completed a single request and can go to the next one
   -/
   | complete

src/Std/Internal/Http/Server/Config.lean

@@ -14,8 +14,8 @@ public section
 /-!
 # Config
 
-This module exposes the `Config` that is a structure that describes all the timeout, request, headers
-configuration of a HTTP Server.
+This module exposes the `Config`, a structure that describes all the timeout, request, headers
+configuration of an HTTP Server.
 -/
 
 namespace Std.Http