From e554ad6f19aabcf3fbf507ec0e86ec3eb00ba6c4 Mon Sep 17 00:00:00 2001 From: thimoteus Date: Wed, 4 Oct 2017 14:32:56 -0700 Subject: [PATCH] add apply = ap law --- src/Control/Monad.purs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Control/Monad.purs b/src/Control/Monad.purs index 497c7c71..36c7311a 100644 --- a/src/Control/Monad.purs +++ b/src/Control/Monad.purs @@ -27,6 +27,7 @@ import Data.Unit (Unit) -- | -- | - Left Identity: `pure x >>= f = f x` -- | - Right Identity: `x >>= pure = x` +-- | - Applicative Superclass: `apply = ap` class (Applicative m, Bind m) <= Monad m instance monadFn :: Monad ((->) r)