Documentation

A monad with a series of dependent choices. It is usually desirable to have f be a Foldable so that a selection can be made from it.

As an example here is a simple berry name generator:

berry :: MonadChoice NonEmpty m => m String
berry = do
  berryColor  <- choose $ "red"   :| ["blue", "orange", "yellow", "black"]
  berryFlavor <- choose $ "sweet" :| ["sour", "bitter"]
  (++ "berry") <$> choose ( berryColor :| [berryFlavor, berryColor ++ "-" ++ berryFlavor] )

Since this has a polymorphic type this could be used for a variety of purposes.

Makes a selection where options are themselves selections.