lio-0.9.0.1: examples/LambdaChair/AliceCode.hs

{-# LANGUAGE Safe #-}
module AliceCode ( mainReview ) where

import LambdaChair

findPaper' s = do
  ep <- findPaper s
  case ep of
    Left e -> error $ "Failed with" ++ e
    Right p -> return p

mainReview = do
  p1 <- findPaper' "Flexible Dynamic"
  p2 <- findPaper' "A Static"

  readPaper p1

  appendToReview p1 "Interesting work!"

  readPaper p2
  readReview p2
  appendToReview p2 "What about adding new users?"