Get Acquainted with Functor Data Types in JavaScript by creating an Identity Functor

Use a Maybe functor to halt transformer functions from acting on null or undefined values

Creating Semigroup Data Types from Scratch

Testing Semigroups to Ensure They Abide by the Law of Associativity

Leveraging Semigroups to Create Reusable Max & Min Interfaces

Leveraging Semigroups to Create Reusable Any & All Interfaces

Upgrading Semigroup Data Types to Monoids

Transforming All, Any, Max, & Min from Semigroups to Monoids

Learn How to Define a Generalized Monoidal Fold Function

Exploring Common Algebraic Data Types Used in Functional Programming

This lesson extends upon our knowledge of semigroups and shows viewers how to create `Any` and  `All` semigroups which provide us with an interface for comparing `boolean` values.


[Fantasyland Docs - Semigroup](https://github.com/fantasyland/fantasy-land#semigroup)

Thomas Greco: [0:01] On this page, I'm just going to create an Any and an All semigroup. I'm just going to scaffold out the shell for both.

[0:14] Inside of our Any, the first thing we're going to do is set the value, as always. Then below this, we're just going to add a concat function which is going to use the || operator to check for truthiness in either the current value as well as the value that it's being concatted with.

[0:38] Below, we're going to do the same for our All semigroup. However, this time we're going to use the logical && operator as we're going to need truthiness in both of these values in order for this to return true.

[0:58] Now that we have those set up, I'm just going to copy our minTest and maxTest variables, paste them down here. Instead, I'm going to change their names to allTest and anyTest.

[1:14] Inside of our allTest, we're going to change all of our Maxes to All. We're going to pass in false into our first All, and then false to our second All as well. Last thing we're going to do, let's just pass in a true. For anyTest, copy this line down here, and then our Alls to Any.

[1:47] Now if we run this...Oh, we need to log them out. If we run this, we see that we get a false for our allTest and a true for our anyTest.

[2:10] As we know, our allTest is going to need truthiness in all of our values. Therefore, we'll only get a true if we set all of these to true. Now if we run this again, boom, we see that we're getting true for both.

[2:27] If we change our last Any to take the value of false, we'll see that this now prints out false as we have no truthiness in any of these. If we set all these values to true, obviously we're going to get a true back.

Course

Exploring Common Algebraic Data Types Used in Functional Programming

Leveraging Semigroups to Create Reusable Any & All Interfaces

Share this video with your friends