feat: semigroup tests complete

semigroup.ts

@@ -44,6 +44,34 @@ export const Free = {
     },
 };
 
+/*******************************************************************************
+ * Module Instances
+ ******************************************************************************/
+
+export const semigroupAll: Semigroup<boolean> = {
+  concat: (x) => (y) => x && y,
+};
+
+export const semigroupAny: Semigroup<boolean> = {
+  concat: (x) => (y) => x || y,
+};
+
+export const semigroupSum: Semigroup<number> = {
+  concat: (x) => (y) => x + y,
+};
+
+export const semigroupProduct: Semigroup<number> = {
+  concat: (x) => (y) => x * y,
+};
+
+export const semigroupString: Semigroup<string> = {
+  concat: (x) => (y) => x + y,
+};
+
+export const semigroupVoid: Semigroup<void> = {
+  concat: () => () => undefined,
+};
+
 /*******************************************************************************
  * Module Getters
  ******************************************************************************/
@@ -93,34 +121,6 @@ export const getJoinSemigroup = <A>(O: Ord<A>): Semigroup<A> => ({
   concat: (a) => (b) => (O.lte(a)(b) ? b : a),
 });
 
-/*******************************************************************************
- * Module Instances
- ******************************************************************************/
-
-export const semigroupAll: Semigroup<boolean> = {
-  concat: (x) => (y) => x && y,
-};
-
-export const semigroupAny: Semigroup<boolean> = {
-  concat: (x) => (y) => x || y,
-};
-
-export const semigroupSum: Semigroup<number> = {
-  concat: (x) => (y) => x + y,
-};
-
-export const semigroupProduct: Semigroup<number> = {
-  concat: (x) => (y) => x * y,
-};
-
-export const semigroupString: Semigroup<string> = {
-  concat: (x) => (y) => x + y,
-};
-
-export const semigroupVoid: Semigroup<void> = {
-  concat: () => () => undefined,
-};
-
 /*******************************************************************************
  * Pipeables
  ******************************************************************************/

testing/record.test.ts

@@ -116,6 +116,9 @@ Deno.test("Record insertAt", () => {
 
 Deno.test("Record deleteAt", () => {
   assertEquals(pipe({ a: 1, b: 2 }, R.deleteAt("a")), { b: 2 });
+  assertEquals(pipe({ a: 1 } as Record<string, number>, R.deleteAt("b")), {
+    a: 1,
+  });
 });
 
 Deno.test("Record omit", () => {

testing/semigroup.test.ts

@@ -0,0 +1,121 @@
+import { assertEquals } from "https://deno.land/std/testing/asserts.ts";
+
+import * as AS from "./assert.ts";
+
+import * as S from "../semigroup.ts";
+import { ordNumber } from "../ord.ts";
+
+const toArray: (a: S.Free<number>) => number[] = S.Free.fold(
+  (value: number) => [value],
+  (left, right) => toArray(left).concat(toArray(right)),
+);
+
+Deno.test("Semigroup Free", () => {
+  const ta = S.Free.of(1);
+  const tb = S.Free.concat(ta)(ta);
+  assertEquals(ta, { tag: "Of", value: 1 });
+  assertEquals(tb, { tag: "Concat", left: ta, right: ta });
+  assertEquals(toArray(ta), [1]);
+  assertEquals(toArray(tb), [1, 1]);
+});
+
+Deno.test("Semigroup semigroupAll", () => {
+  const concat = S.semigroupAll.concat;
+  assertEquals(concat(true)(true), true);
+  assertEquals(concat(true)(false), false);
+  assertEquals(concat(false)(true), false);
+  assertEquals(concat(false)(false), false);
+});
+
+Deno.test("Semigroup semigroupAny", () => {
+  const concat = S.semigroupAny.concat;
+  assertEquals(concat(true)(true), true);
+  assertEquals(concat(true)(false), true);
+  assertEquals(concat(false)(true), true);
+  assertEquals(concat(false)(false), false);
+});
+
+Deno.test("Semigroup semigroupSum", () => {
+  const concat = S.semigroupSum.concat;
+  assertEquals(concat(1)(1), 2);
+  assertEquals(concat(0)(1), 1);
+  assertEquals(concat(1)(0), 1);
+  assertEquals(concat(0)(0), 0);
+});
+
+Deno.test("Semigroup semigroupProduct", () => {
+  const concat = S.semigroupProduct.concat;
+  assertEquals(concat(2)(2), 4);
+});
+
+Deno.test("Semigroup semigroupString", () => {
+  const concat = S.semigroupString.concat;
+  assertEquals(concat("Hello")("World"), "HelloWorld");
+});
+
+Deno.test("Semigroup semigroupVoid", () => {
+  const concat = S.semigroupVoid.concat;
+  assertEquals(concat(undefined)(undefined), undefined);
+});
+
+Deno.test("Semigroup getFreeSemigroup", () => {
+  const { concat } = S.getFreeSemigroup<number>();
+  const ta = S.Free.of(1);
+  const tb = S.Free.of(2);
+  const tc = concat(ta)(tb);
+  const td = concat(tc)(tb);
+  assertEquals(toArray(td), [1, 2, 2]);
+});
+
+Deno.test("Semigroup getFirstSemigroup", () => {
+  const { concat } = S.getFirstSemigroup<number>();
+  assertEquals(concat(1)(2), 1);
+});
+
+Deno.test("Semigroup getLastSemigroup", () => {
+  const { concat } = S.getLastSemigroup<number>();
+  assertEquals(concat(1)(2), 2);
+});
+
+Deno.test("Semigroup getTupleSemigroup", () => {
+  const { concat } = S.getTupleSemigroup(S.semigroupSum, S.semigroupString);
+  assertEquals(concat([1, "Hello "])([2, "World"]), [3, "Hello World"]);
+});
+
+Deno.test("Semigroup getDualSemigroup", () => {
+  const { concat } = S.getDualSemigroup(S.getFirstSemigroup<number>());
+  assertEquals(concat(1)(2), 2);
+});
+
+Deno.test("Semigroup getStrucSemigroup", () => {
+  const { concat } = S.getStructSemigroup({
+    a: S.semigroupSum,
+    b: S.semigroupAll,
+  });
+  assertEquals(concat({ a: 1, b: true })({ a: 2, b: false }), {
+    a: 3,
+    b: false,
+  });
+});
+
+Deno.test("Semigroup getMeetSemigroup", () => {
+  const { concat } = S.getMeetSemigroup(ordNumber);
+  assertEquals(concat(0)(0), 0);
+  assertEquals(concat(0)(1), 0);
+  assertEquals(concat(1)(0), 0);
+  assertEquals(concat(1)(1), 1);
+});
+
+Deno.test("Semigroup getJoinSemigroup", () => {
+  const { concat } = S.getJoinSemigroup(ordNumber);
+  assertEquals(concat(0)(0), 0);
+  assertEquals(concat(0)(1), 1);
+  assertEquals(concat(1)(0), 1);
+  assertEquals(concat(1)(1), 1);
+});
+
+Deno.test("Semigroup fold", () => {
+  const fold = S.fold(S.semigroupSum)(0);
+  assertEquals(fold([]), 0);
+  assertEquals(fold([1, 2, 3]), 6);
+});