List of Listings

 

Chapter 1. Stop listening!

Listing 1.1. Listeners: the observer pattern

Listing 1.2. Flight-booking example using FRP

Listing 1.3. Flight-booking example in a traditional non-FRP style

Listing 1.4. More detail for the flight-booking example

Listing 1.5. Encapsulating a business rule

Listing 1.6. Manipulating abstract business rules

Chapter 2. Core FRP

Listing 2.1. clearfield: a text field and a Clear button

Listing 2.2. label example: a label showing text field’s text

Listing 2.3. Using map to reverse the text

Listing 2.4. Merging two canned message sources into one

Listing 2.5. Holding a stream to turn it into a cell

Listing 2.6. Capturing a cell’s value when a button event occurs

Listing 2.7. Accumulating + and - button clicks

Listing 2.8. Adding two text fields together

Chapter 3. Some everyday widget stuff

Listing 3.1. SSpinner: your own spinner widget

Listing 3.2. An example of form validation

Chapter 4. Writing a real application

Listing 4.1. Interface for the petrol pump logic

Listing 4.2. Inputs to the petrol pump logic

Listing 4.3. Outputs from the petrol pump logic

Listing 4.4. Life cycle of a petrol pump fill

Listing 4.5. Petrol pump implementation that demonstrates LifeCycle

Listing 4.6. Counting liters delivered

Listing 4.7. State and logic for the fill

Listing 4.8. Petrol pump that shows dollars

Listing 4.9. Pump implementation in which you clear the sale

Listing 4.10. Module to handle notifying the point-of-sale system

Listing 4.11. Keypad module