0 | module Node.HTTP.Module 1 | 2 | import Node.HTTP.ClientRequest 3 | import Node.HTTP.IncomingMessage 4 | 5 | export 6 | data HTTPModule : Type where [external] 7 | 8 |