From 681430434bd9e949da6570d8817b0d7661bd8e91 Mon Sep 17 00:00:00 2001 From: Malte Legenhausen Date: Tue, 11 Feb 2020 16:27:16 +0100 Subject: [PATCH] getRaceMonoid added to Wave and WaveR --- src/wave.ts | 7 +++++++ src/waver.ts | 7 +++++++ 2 files changed, 14 insertions(+) diff --git a/src/wave.ts b/src/wave.ts index f7d910b..f427167 100644 --- a/src/wave.ts +++ b/src/wave.ts @@ -1171,3 +1171,10 @@ export function getMonoid(m: Monoid): Monoid> { empty: pure(m.empty) } } + +export function getRaceMonoid(): Monoid> { + return { + concat: race, + empty: never + } +} diff --git a/src/waver.ts b/src/waver.ts index 8f0ff8a..a472c3f 100644 --- a/src/waver.ts +++ b/src/waver.ts @@ -458,3 +458,10 @@ export function getSemigroup(m: Semigroup): Semigroup export function getMonoid(m: Monoid): Monoid> { return reader.getMonoid(wave.getMonoid(m)); } + +export function getRaceMonoid(): Monoid> { + return { + concat: race, + empty: never + } +}