diff --git a/src/random-wta/Output.hs b/src/random-wta/Output.hs index 913a9320384b7b84ba58afc5adbe9aa0d015270e..f6830a13127148fd25780acef393006751ec4ad5 100644 --- a/src/random-wta/Output.hs +++ b/src/random-wta/Output.hs @@ -24,9 +24,9 @@ monoidForStates MaxInt = "Z" monoidForStates OrWord = "N" monoidForStates Powerset = "2" -withMonoidForWeights :: (MonoidType m) -> Builder -> Builder +withMonoidForWeights :: MonoidType m -> Builder -> Builder withMonoidForWeights MaxInt inner = "(Z, max)^(" <> inner <> ")" -withMonoidForWeights OrWord inner = "(N, or)^(" <> inner <> ")" +withMonoidForWeights OrWord inner = "(Word, or)^(" <> inner <> ")" withMonoidForWeights Powerset inner = "P(" <> inner <> ")" polynomial :: SymbolSpec -> Builder