From c7319536b5a4343284ce17356c7e871d59a374f6 Mon Sep 17 00:00:00 2001
From: Will Heslam <willheslam@gmail.com>
Date: Mon, 6 Jun 2022 14:07:12 +0100
Subject: [PATCH] Alternative: add getAlternativeMonoid

---
 docs/modules/Alternative.ts.md | 31 +++++++++++++++++++++++++++++
 src/Alternative.ts             | 36 ++++++++++++++++++++++++++++++++++
 test/Alternative.ts            | 20 +++++++++++++++++++
 3 files changed, 87 insertions(+)

diff --git a/docs/modules/Alternative.ts.md b/docs/modules/Alternative.ts.md
index 1efd9c7fb3..03cad9feac 100644
--- a/docs/modules/Alternative.ts.md
+++ b/docs/modules/Alternative.ts.md
@@ -35,6 +35,7 @@ Added in v2.0.0
   - [Alternative4 (interface)](#alternative4-interface)
 - [utils](#utils)
   - [altAll](#altall)
+  - [getAlternativeMonoid](#getalternativemonoid)
 
 ---
 
@@ -137,3 +138,33 @@ export declare function altAll<F>(F: Alternative<F>): <A>(as: ReadonlyArray<HKT<
 ```
 
 Added in v2.11.0
+
+## getAlternativeMonoid
+
+Lift a semigroup into a monoid alternative 'F', the inner values are concatenated using the provided `Semigroup`.
+
+**Signature**
+
+```ts
+export declare function getAlternativeMonoid<F extends URIS4>(
+  F: Alternative4<F>
+): <A, S, R, E>(S: Semigroup<A>) => Monoid<Kind4<F, S, R, E, A>>
+export declare function getAlternativeMonoid<F extends URIS3>(
+  F: Alternative3<F>
+): <A, R, E>(S: Semigroup<A>) => Monoid<Kind3<F, R, E, A>>
+export declare function getAlternativeMonoid<F extends URIS3, E>(
+  F: Alternative3C<F, E>
+): <A, R>(S: Semigroup<A>) => Monoid<Kind3<F, R, E, A>>
+export declare function getAlternativeMonoid<F extends URIS2>(
+  F: Alternative2<F>
+): <A, E>(S: Semigroup<A>) => Monoid<Kind2<F, E, A>>
+export declare function getAlternativeMonoid<F extends URIS2, E>(
+  F: Alternative2C<F, E>
+): <A>(S: Semigroup<A>) => Monoid<Kind2<F, E, A>>
+export declare function getAlternativeMonoid<F extends URIS>(
+  F: Alternative1<F>
+): <A>(S: Semigroup<A>) => Monoid<Kind<F, A>>
+export declare function getAlternativeMonoid<F>(F: Alternative<F>): <A>(S: Semigroup<A>) => Monoid<HKT<F, A>>
+```
+
+Added in v2.12.2
diff --git a/src/Alternative.ts b/src/Alternative.ts
index 69d1518701..2284ba434a 100644
--- a/src/Alternative.ts
+++ b/src/Alternative.ts
@@ -24,8 +24,11 @@ import {
   Applicative3C,
   Applicative4
 } from './Applicative'
+import { getApplySemigroup } from './Apply'
 import { HKT, Kind, Kind2, Kind3, Kind4, URIS, URIS2, URIS3, URIS4 } from './HKT'
 import { Zero, Zero1, Zero2, Zero2C, Zero3, Zero3C, Zero4 } from './Zero'
+import { Monoid } from './Monoid'
+import { Semigroup } from './Semigroup'
 
 // -------------------------------------------------------------------------------------
 // model
@@ -98,3 +101,36 @@ export function altAll<F>(F: Alternative<F>): <A>(as: ReadonlyArray<HKT<F, A>>)
 export function altAll<F>(F: Alternative<F>): <A>(as: ReadonlyArray<HKT<F, A>>) => HKT<F, A> {
   return altAll_(F)(F.zero())
 }
+
+/**
+ * Lift a semigroup into a monoid alternative 'F', the inner values are concatenated using the provided `Semigroup`.
+ * @since 2.12.2
+ */
+export function getAlternativeMonoid<F extends URIS4>(
+  F: Alternative4<F>
+): <A, S, R, E>(S: Semigroup<A>) => Monoid<Kind4<F, S, R, E, A>>
+export function getAlternativeMonoid<F extends URIS3>(
+  F: Alternative3<F>
+): <A, R, E>(S: Semigroup<A>) => Monoid<Kind3<F, R, E, A>>
+export function getAlternativeMonoid<F extends URIS3, E>(
+  F: Alternative3C<F, E>
+): <A, R>(S: Semigroup<A>) => Monoid<Kind3<F, R, E, A>>
+export function getAlternativeMonoid<F extends URIS2>(
+  F: Alternative2<F>
+): <A, E>(S: Semigroup<A>) => Monoid<Kind2<F, E, A>>
+export function getAlternativeMonoid<F extends URIS2, E>(
+  F: Alternative2C<F, E>
+): <A>(S: Semigroup<A>) => Monoid<Kind2<F, E, A>>
+export function getAlternativeMonoid<F extends URIS>(F: Alternative1<F>): <A>(S: Semigroup<A>) => Monoid<Kind<F, A>>
+export function getAlternativeMonoid<F>(F: Alternative<F>): <A>(S: Semigroup<A>) => Monoid<HKT<F, A>>
+export function getAlternativeMonoid<F>(F: Alternative<F>): <A>(S: Semigroup<A>) => Monoid<HKT<F, A>> {
+  const f = getApplySemigroup(F)
+  return <A>(S: Semigroup<A>) => {
+    const SF = f(S)
+    return {
+      concat: (first: HKT<F, A>, second: HKT<F, A>) =>
+        F.alt(SF.concat(first, second), () => F.alt(first, () => second)),
+      empty: F.zero()
+    }
+  }
+}
diff --git a/test/Alternative.ts b/test/Alternative.ts
index 6548595f89..030103cabf 100644
--- a/test/Alternative.ts
+++ b/test/Alternative.ts
@@ -1,5 +1,8 @@
 import * as _ from '../src/Alternative'
+import * as M from '../src/Monoid'
+import * as NEA from '../src/NonEmptyArray'
 import * as O from '../src/Option'
+import * as S from '../src/Semigroup'
 import * as U from './util'
 
 describe('Alternative', () => {
@@ -9,4 +12,21 @@ describe('Alternative', () => {
     U.deepStrictEqual(altAll([O.none]), O.none)
     U.deepStrictEqual(altAll([O.none, O.some(1)]), O.some(1))
   })
+
+  it('getAlternativeMonoid', () => {
+    const altConcatAll = M.concatAll(_.getAlternativeMonoid(O.Alternative)(NEA.getSemigroup<number>()))
+    U.deepStrictEqual(altConcatAll([]), O.none)
+    U.deepStrictEqual(altConcatAll([O.none]), O.none)
+    U.deepStrictEqual(altConcatAll([O.none, O.some([1]), O.some([2])]), O.some([1, 2]))
+
+    const pickFirst = _.getAlternativeMonoid(O.Alternative)(S.first<string>())
+    U.deepStrictEqual(pickFirst.concat(O.some('a'), O.some('b')), O.some('a'))
+    U.deepStrictEqual(pickFirst.concat(O.none, O.some('b')), O.some('b'))
+    U.deepStrictEqual(pickFirst.concat(O.some('a'), O.none), O.some('a'))
+
+    const pickLast = _.getAlternativeMonoid(O.Alternative)(S.last<string>())
+    U.deepStrictEqual(pickLast.concat(O.some('a'), O.some('b')), O.some('b'))
+    U.deepStrictEqual(pickLast.concat(O.none, O.some('b')), O.some('b'))
+    U.deepStrictEqual(pickLast.concat(O.some('a'), O.none), O.some('a'))
+  })
 })