Yesod for non-Haskellers
May 31, 2011
So being the brave sport she is, she agreed to let me blog about this little adventure. I'm hoping that this helps out some newcomers to Yesod and/or Haskell get their feet wet.
Given that our schedule is quite erratic and dependent on both kids agreeing to be asleep, I don't know how often we will be doing these sessions, or how long they'll last each time.
The first step is using the yesod executable to generate a scaffolded site. The scaffolded site
is a "template" site and sets up the file/folder structure in the preferred way. A few other
optimizations like static file serving. It gives you a site that supports databases and logins.
Some of these questions (like name) are for the cabal file. Other questions (database) actually change the scaffolded site.
The "Foundation" is the central datatype of a Yesod application. It's used for a few different things:
- It can contain information that needs to be loaded at the start of your application and used throughout. For example, database connection.
- A central concept in Yesod is a URL datatype. This datatype is related to your foundation via a type family, aka associated types.
The foundation is often times the same as the project name, starting with a capital letter.
Once you have your folder, you want to build it. Run
cabal configure and
yesod build. We use "yesod build" instead of "cabal build" because it does
dependency checking for us on template files. You should now have an executable named
"dist/build/<your app>/<your app>". Go ahead and run it.
If you used PostgreSQL, you'll get an error about not having an account. We need to create it. To see how it's trying to log in, look in config/Settings.hs. A few notes:
- Top of file defines language extensions.
- Haskell project is broken up into modules. The "module Settings (...) where" line defines the "export list", what the module provides to the outside world.
- Then the import statements pull code in to be used here. "qualified" means don't import all the content of the module into the current namespace. "as H" gives a shortcut as you can type "Text.Hamlet.renderHtml" as "H.renderHtml".
- Note that there's a difference between things starting with uppercase and lowercase. The former is data types and constructors. The latter is functions and variables.
- #ifdef PRODUCTION allows us to use the same codebase for testing and production and just change a few settings.
connStr contains our database information. We need to create a user and database in PostgreSQL.
sudo -u postgres psql > CREATE USER recipes password 'recipes'; > CREATE DATABASE recipes_debug OWNER recipes; > \q
We store everything in the database via models. There is one datatype per table. There is one block in the models file per entity. The models definition file is "config/models". By default, we have "User" and "Email", which are used for authentication. This file is whitespace sensitive. A new block is not indented at all.
An entity is a datatype, so it needs a capital letter. It makes more sense to use singular nouns. Fields are all lowercase. First give a field name, and then a datatype. Some basic datatypes are "Text" and "Int". If you want something to be optional, you put a "Maybe" after the datatype.
We work off of SQL's relational approach to datatypes. Instead of having a "recipe" with a list of "ingredients", we will have a recipe, and each ingredient will know which recipe it belongs to. (The reason for this is outside our scope right now.) This kind of a relationship is called a one-to-many: each recipe can have many ingredients, and each ingredient belongs to a single recipe. In code:
Recipe title Text desc Text Maybe Ingredient recipe RecipeId name Text quantity Double unit Text
You can think of RecipeId as a pointer to an actual recipe, instead of actually holding the recipe itself.
We can always come back and make modifications later. Persistent migrations will automatically update the table definitions when possible. If it's not possible to automatically update, it will give you an explanation why.