Commit bb0d6c9b authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢
Browse files

wta: Change N,or monoid to Word,or 

This was also renamed accordingly in CoPaR itself
parent 16d9f095

src/random-wta/Main.hs

+3 −3
Original line number Diff line number Diff line
@@ -36,14 +36,14 @@ data Opts = Opts 
readMonoid :: Options.ReadM SomeMonoid

readMonoid = Options.eitherReader $ \case

  "Z,max"    -> Right (SomeMonoid MaxInt)

  "N,or"     -> Right (SomeMonoid OrWord)

  "Word,or"  -> Right (SomeMonoid OrWord)

  "powerset" -> Right (SomeMonoid Powerset)

  _ ->

    Left

      $  "Unknown monoid type. Valid values are '"

      <> "Z,max"

      <> "', '"

      <> "N,or"

      <> "Word,or"

      <> "' and '"

      <> "powerset"

      <> "'"
@@ -63,7 +63,7 @@ parseOpts = 
            (  "Monoid to use. Valid valies are '"

            <> "Z,max"

            <> "', '"

            <> "N,or"

            <> "Word,or"

            <> "' and '"

            <> "powerset"

            <> "'"