(These posts are prettified versions of my notes that I made whilst stumbling around HAppS for the first time. I hope they’ll be of use to future HAppS explorers!)<\/p>\n
Note 1 .. In which we figure out what ServerPartT and WebT really are.<\/em><\/p>\n When we start HAppS running with ..<\/p>\n … what type do the handlers have? Let’s explore some possible universes!<\/p>\n In a simple world, a handler could have type<\/p>\n This allows handlers to be selective about which Requests they handle, which is useful. But it also means that handlers must be pure functions so there’d be no way of maintaining any ‘application state’ between requests. Not very useful!<\/p>\n Let’s try to remedy that. If the handlers had type:<\/p>\n .. then we’d be able to retain and modify some application state (of type S) between handler invocations. But that’s all we’d be able to do. We still couldn’t write logs to disk, read file contents or talk to databases.<\/p>\n To allow handlers to do that, handlers would need to have type ..<\/p>\n (As an aside, note that whilst simpleHTTP has type “IO ()” it’s up to simpleHTTP whether or not it exposes the full power of the IO monad to the handlers. However, as we’ve just seen, not doing so would pretty much cripple the handlers)<\/p>\n So is this really what HAppS gives you? Let’s see. In the real world HAppS handlers have type “ServerPartT IO a” which is defined to be …<\/p>\n In other words, if you have a value of type “Request -> WebT m a”, you can tag it with the ServerPartT constructor to say “this ain’t just any function of that type, it’s part of a web server, dogammit!”.<\/p>\n But, apart from the tag, our handlers really just have type “Request -> WebT m a”. So what’s a WebT?<\/p>\n So, ignoring the tag, it looks kinda like our handlers can produce any<\/em> monadic computation that, when run, yields a “Result a” (the “Result a” type lets us say “I handled this request, here’s my answer” or “I didn’t handle this request”)<\/p>\n Hmm, there’s something not right there. If that was the case, it would be possible to use, for example, both “Result -> IO (Result a)” and “Result -> State S (Result a)” as handlers. But how would simpleHTTP ‘run’ such monadic computations? To run a State computation you use “evalState”. To run an IO computation, you have to return it from main. There’s no single way to run all possible monads.<\/p>\n Did I miss something? Yes, sort of – I just blindly assumed ‘m’ was a monad because of the way it was used. But there’s no “Monad m =>” constraints anywhere. And, in fact, if we go back to the start ..<\/p>\n .. we can see that, right from the top, simpleHTTP only deals with ServerPartT’s and WebT’s where the ‘m’ type parameter is IO.<\/p>\n So, after all that, the handlers in HAppS handlers can be anything of type: Request -> IO (Response a). The ‘a’ type needs to be something that HApps can figure out a content-type and be able to make an HTTP message from (the ToMessage type class). The “IO (Response a)” part gets dressed up as a “WebT” (think: computation that produces the response). And the whole thing things gets dressed up as a “ServerPartT” (think: request handler). <\/p>\n What does each bit do? The IO part gives you free reign to do side-effecting computations, which get sequentially executed by the runtime. The Response part allows you to say ‘I handled this’ or ‘didn’t handle it’ and the ‘a’ part can be your XML or HTML data type (so long as its an instance of ToMessage).<\/p>\n So that’s it. <\/p>\n Man, that was a lot of complexity for such a simple end result. I don’t understand why there’s so much generality in the types of ServerT and WebT – I’d love to know!<\/p>\n","protected":false},"excerpt":{"rendered":" (These posts are prettified versions of my notes that I made whilst stumbling around HAppS for the first time. I hope they’ll be of use to future HAppS explorers!) Note 1 .. In which we figure out what ServerPartT and WebT really are. When we start HAppS running with .. simpleHTTP config list_of_handlers :: IO […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[30,9],"class_list":["post-238","post","type-post","status-publish","format-standard","hentry","category-general","tag-happs","tag-haskell"],"_links":{"self":[{"href":"https:\/\/www.nobugs.org\/blog\/wp-json\/wp\/v2\/posts\/238","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.nobugs.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.nobugs.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.nobugs.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.nobugs.org\/blog\/wp-json\/wp\/v2\/comments?post=238"}],"version-history":[{"count":12,"href":"https:\/\/www.nobugs.org\/blog\/wp-json\/wp\/v2\/posts\/238\/revisions"}],"predecessor-version":[{"id":250,"href":"https:\/\/www.nobugs.org\/blog\/wp-json\/wp\/v2\/posts\/238\/revisions\/250"}],"wp:attachment":[{"href":"https:\/\/www.nobugs.org\/blog\/wp-json\/wp\/v2\/media?parent=238"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nobugs.org\/blog\/wp-json\/wp\/v2\/categories?post=238"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nobugs.org\/blog\/wp-json\/wp\/v2\/tags?post=238"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\r\n simpleHTTP config list_of_handlers :: IO ()\r\n<\/pre>\n
\r\n Request -> Maybe Response\r\n<\/pre>\n
\r\n Request -> State S Response\r\n<\/pre>\n
\r\n Request -> IO Response\r\n<\/pre>\n
\r\nnewtype ServerPartT m a = ServerPartT { unServerPartT :: Request -> WebT m a }\r\n<\/pre>\n\r\nnewtype WebT m a = WebT { unWebT :: m (Result a) }\r\n<\/pre>\n\r\nsimpleHTTP :: ToMessage a => Conf -> [ServerPartT IO a] -> IO ()\r\n<\/pre>\n