Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/ReservationExpr.hs

Created June 24, 2017 18:49
Show Gist options
  • Save deque-blog/057cf2987f3b264358fd37538ff3d256 to your computer and use it in GitHub Desktop.
Save deque-blog/057cf2987f3b264358fd37538ff3d256 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ReservationExpr.hs
data ReservationExpr a where
SearchTrain :: DateTime -> ReservationExpr [TrainId]
GetTypology :: TrainId -> ReservationExpr (Maybe TrainTypology)
Reserve :: Reservation -> ReservationExpr (Maybe Reservation)
Log :: String -> ReservationExpr ()
Pure :: ta -> ReservationExpr ta
Bind :: ReservationExpr ta -> (ta -> ReservationExpr tb) -> ReservationExpr tb
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment