From c89a474ffb36908cc975704ae01e72ccc9eb28d7 Mon Sep 17 00:00:00 2001 From: David Chambers Date: Sat, 17 Dec 2016 07:29:58 +0100 Subject: [PATCH] maybe, either: fix "extend" type signatures --- index.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index.js b/index.js index 33edf92c..7e1d9e63 100644 --- a/index.js +++ b/index.js @@ -1237,7 +1237,7 @@ [$Maybe(a), $.Function, b], Maybe$prototype$sequence); - //# Maybe#extend :: Maybe a ~> (Maybe a -> a) -> Maybe a + //# Maybe#extend :: Maybe a ~> (Maybe a -> b) -> Maybe b //. //. Takes a function and returns `this` if `this` is Nothing; otherwise //. it returns a Just whose value is the result of applying the function @@ -1858,7 +1858,7 @@ [$Either(a, b), $.Function, c], Either$prototype$sequence); - //# Either#extend :: Either a b ~> (Either a b -> b) -> Either a b + //# Either#extend :: Either a b ~> (Either a b -> c) -> Either a c //. //. Takes a function and returns `this` if `this` is a Left; otherwise it //. returns a Right whose value is the result of applying the function to