úÎ'T&U     None ¾In order to make splice definitions more functional, we declare them and the attributes they need, along with deserialization (if needed). The deserialization is facilitated be this class.+In order to have render be able to get the 0 out of our context, we need this helper class.ˆThe type of our splice. We need a ReaderT to be able to pass the runtime context (which includes the current request) into the splice.ˆThe type of our state. We need a ReaderT to be able to pass the runtime context (which includes the current request) into the splices.àInitialize heist. This takes a list of paths to template directories and a set of interpreted splices. Currently, we don't have support for compiled splices yet (so you can drop down to just plain Heist if you want them).ÅRender templates according to the request path. Note that if you have matched some parts of the path, those will not be included in the path used to find the templates. For example, if you have  foo/bar.tpl2 in the directory where you loaded templates from, path "foo" ==> heistServe Will match  foo/foo/bar , but not foo/bar. To match that, you could: anything ==> heistServe4If no template is found, this will continue routing.!Render a single template by name. KRender a template, and add additional interpreted splices before doing so. ÿThis declares a new splice. Given a name, an attribute matcher, and a handler function (which takes the context, the node, and the specified attributes), it will pass the handler function the provided attributes or return nothing, if the attributes are missing / not deserializable.ÑNote that due to the dynamism (the handler function can have any number of arguments, and the number / type of them is based on the matcher), the types of this may be a little confusing (in particular, the k‹ contains a lot). This continuation-based style lets us achieve this style, but the types suffer. It may be easier to see via an example: E tag "posts" (attr "num" & attr "sort") $ \ctxt node num sort -> ... A tag with no attributes. $This combines two matchers together. gThis specifies that an attribute should be present and convertable to the type indicated by it's type.NThis specifies that an attribute is optional - if absent or not convertable,  will be passed.           fnext_5i7ue21T6Y3BIkxPuDUV4CWeb.Fn.Extra.Heist FromAttribute fromAttribute HeistContextgetHeistFnSplice FnHeistState heistInit heistServerenderrenderWithSplicestagtag'&=attrattrOptbaseGHC.BaseNothing$fFromAttributeDouble$fFromAttributeInt$fFromAttributeText