edwinb / TypeDD-Samples

Sample code from "Type Driven Development with Idris"

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

listing 11.31

bburdette opened this issue · comments

In listing 11.31, this:

runCommand (Bind c f) = do res <- runCommand c
                           runCommand (f res)

should be

runCommand (Bind c f) = do res <- runCommand (Pure c)
                           runCommand (f res)

Doh! Nope the problem was my definition of Bind. Resolved!