Description
Generic programming for the web.
Description
This package implements generic functions for web programming. Based on the regular library [1], we provide generic functions for generating HTML, Formlets, and JSON. For a larger example, see the Example.lhs [2] file on github.
Example
Consider the following datatypes:
data Person = Person {
_name :: String
, _age :: Int
, _isMale :: Bool
, _place :: Place
}
data Place = Place {
_city :: String
, _country :: String
, _continent :: String
}We can now derive a Regular instance for the Person datatype using Template Haskell:
$(deriveAll ''Place "PFPlace")
$(deriveAll ''Person "PFPerson")
type instance PF Place = PFPlace
type instance PF Person = PFPersonWe can construct an example person:
location :: Place
location = Place "Utrecht" "The Netherlands" "Europe"
chris :: Person
chris = Person "chris" 25 True locationAnd, as an example, we can generate |HTML| and |JSON| values:locationHtml :: X.Html
locationHtml = ghtml locationpersonHtml :: X.Html
personHtml = ghtml chrislocationJSON :: JSValue
locationJSON = gto location