Domain and tempate for recipes

examples/prototype/ChristmasTurkey.tq

@@ -136,10 +136,10 @@ roast_turkey(i) : Ingredients -> Turkey
 # Roast Turkey
 
     @chef
-        1.  Set oven temperature { <oven>(180 °C) ~ temp }
+        1.  Set oven temperature { oven(180 °C) ~ temp }
         2.  Place bacon strips onto bird
         3.  Put bird into oven
-        4.  Set timer for roasting { timer(3 h) ~ t }
+        4.  Set timer for roasting { timer(3 hr) ~ t }
         5.  Record temperature
             {
                 [
@@ -179,17 +179,10 @@ Certainly I always hated my Aunt at holidays for making me dry dishes with a
 dish towel when they would perfectly well air dry by themselves.
 
     @*
-        1.  Turn off oven { <oven>(0 °C) }
+        1.  Turn off oven { oven(0 °C) }
         2.  Put knives away { <knives_away> }
         3.  Turn lights out { <lights_out> }
 
-oven(temp) : Temperature -> ()
-
-# Set oven temperature
-
-    @chef
-        -   Set temperature to { "oven at { temp }" }
-
 knives_away :
 
 # Put knives away

src/domain/engine.rs

@@ -13,8 +13,8 @@
 //! projecting these into domain-specific models.
 
 use crate::language::{
-    Attribute, Descriptive, Document, Element, Expression, Paragraph, Procedure, Response, Scope,
-    Target, Technique,
+    Attribute, Descriptive, Document, Element, Expression, Pair, Paragraph, Procedure, Response,
+    Scope, Target, Technique,
 };
 
 impl<'i> Document<'i> {
@@ -136,6 +136,32 @@ impl<'i> Scope<'i> {
         }
     }
 
+    /// Returns an iterator over place names if this is an AttributeBlock.
+    pub fn places(&self) -> impl Iterator<Item = &'i str> {
+        match self {
+            Scope::AttributeBlock { attributes, .. } => attributes
+                .iter()
+                .filter_map(|attr| match attr {
+                    Attribute::Place(id) => Some(id.0),
+                    _ => None,
+                })
+                .collect::<Vec<_>>()
+                .into_iter(),
+            _ => Vec::new().into_iter(),
+        }
+    }
+
+    /// Returns the tablet pairs if this is a CodeBlock containing a Tablet.
+    pub fn tablet(&self) -> Option<&[Pair<'i>]> {
+        match self {
+            Scope::CodeBlock { expression, .. } => match expression {
+                Expression::Tablet(pairs) => Some(pairs),
+                _ => None,
+            },
+            _ => None,
+        }
+    }
+
     /// Returns true if this scope represents a step (dependent or parallel).
     pub fn is_step(&self) -> bool {
         matches!(

src/domain/mod.rs

@@ -13,6 +13,7 @@ mod adapter;
 pub mod checklist;
 pub mod engine;
 pub mod procedure;
+pub mod recipe;
 pub(crate) mod serialize;
 pub mod source;