From 06c20e0695e7c8909d05814f43c4a85b167c6e75 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Fri, 22 Mar 2019 10:03:14 +0100
Subject: [PATCH] fixup! Implement random WTA generator
---
src/random-wta/Output.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/random-wta/Output.hs b/src/random-wta/Output.hs
index 913a932..f6830a1 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
--
GitLab