使用 alt() 提早處理 Nothing

當使用 Maybe 後， Nothing 都交由使用端的 option() 處理，但有時候我們想在 Function 內提早處理 Nothing ，此時可使用 alt() 。

Version

VS Code 1.33.1

Quokka 1.0.209

Ramda 0.26.1

Maybe

import { isString, and, not, isEmpty, prop } from 'crocks';
import { compose, join, split, toLower, concat } from 'ramda';

// createUrlSlug :: String -> String
let createSlug = compose(join('-'), split(' '), toLower);

// appendSlug :: String -> String
let appendSlug = concat('https://oomusou.io/crocks/');

// createUrl :: String -> String
let createUrl = compose(appendSlug, createSlug);

let data = {
  title: 'FP in JavaScript',
  price: 100,
};

// fn :: Object -> Maybe String
let fn = obj => prop('title', obj)
  .map(createUrl);

fn(data).option('https://oomusou.io'); // ?

13 行

let data = {
  title: 'FP in JavaScript',
  price: 100,
};

我們希望將 data.title 轉成 https://oomusou.io/crocks/fp-in-javascript 的 url 格式。

18 行

// fn :: Object -> Maybe String
let fn = obj => prop('title', obj)
  .map(createUrl);

Crocks 的 prop() 回傳為 Maybe ，使用 map() 傳入實際處理 url 為 createUrl() 。

11 行

// createUrl :: String -> String
let createUrl = compose(appendSlug, createSlug);

createUrl() 組合了 createSlug() 與 appendSlug() 。

第 4 行

// createUrlSlug :: String -> String
let createSlug = compose(join('-'), split(' '), toLower);

createSlug() 組合了 toLower() 、 split() 與 join() ，負責將 FP in JavaScript 轉成 fp-in-javascript 。

第 ７行

// appendSlug :: String -> String
let appendSlug = concat('https://oomusou.io/crocks/');

appendSlug() 將 fp-in-javascript 組合成 https://oomusou.io/crocks/fp-in-javascript 。

22 行

fn(data).option('https://oomusou.io'); // ?

由於 fn() 回傳為 Maybe ，最後使用 option() 轉回 string，若為 Nothing ，則顯示 https://oomusou.io/ 。

chain()

import { isString, and, not, isEmpty, prop, safe } from 'crocks';
import { compose, join, split, toLower, concat } from 'ramda';

// isNonEmptyString :: a -> Boolean
let isNonEmptyString = and(not(isEmpty), isString);

// createUrlSlug :: String -> String
let createSlug = compose(join('-'), split(' '), toLower);

// appendSlug :: String -> String
let appendSlug = concat('https://oomusou.io/crocks/');

// createUrl :: String -> String
let createUrl = compose(appendSlug, createSlug);

let data = {
  title: '',
  price: 100,
};

// fn :: Object -> Maybe String
let fn = obj => prop('title', obj)
  .chain(safe(isNonEmptyString))
  .map(createUrl);

fn(data).option('https://oomusou.io'); // ?

需求改變，希望若 title 不存在，或者 title 為 empty string，都顯示成 https://oomusou.io/crocks/page-not-found 。

也就是 Nothing 不能再由使用端處理，必須在 fn() 就處理成 page-not-found 。

16 行

let data = {
  title: '',
  price: 100,
};

data.title 特別改成 empty string。

21 行

// fn :: Object -> Maybe String
let fn = obj => prop('title', obj)
  .chain(safe(isNonEmptyString))
  .map(createUrl);

加上了 safe(isNonEmptyString)() 判斷是否為 empty string，但由於 safe() 也是回傳 Maybe ，為了避免兩層 Maybe ，特別使用了 chain() 攤平，然後繼續原來的 map(createUrl) 。

由於 empty string 為 Nothing ，最後顯示為 https://oomusou.io ，但我們需求是顯示 https://oomusou.io/crocks/page-not-found ，很明顯與需求不合。

alt()

import { isString, and, not, isEmpty, prop, safe, Maybe } from 'crocks';
import { compose, join, split, toLower, concat } from 'ramda';

let { of } = Maybe;

// isNonEmptyString :: a -> Boolean
let isNonEmptyString = and(not(isEmpty), isString);

// createUrlSlug :: String -> String
let createSlug = compose(join('-'), split(' '), toLower);

// appendSlug :: String -> String
let appendSlug = concat('https://oomusou.io/crocks/');

// createUrl :: String -> String
let createUrl = compose(appendSlug, createSlug);

let data = {
  title: '',
  price: 100,
};

// fn :: Object -> Maybe String
let fn = obj => prop('title', obj)
  .chain(safe(isNonEmptyString))
  .alt(of('page-not-found'))
  .map(createUrl);

fn(data).option('https://oomusou.io'); // ?

23 行

// fn :: Object -> Maybe String
let fn = obj => prop('title', obj)
  .chain(safe(isNonEmptyString))
  .alt(of('page-not-found'))
  .map(createUrl);

因為 chain(safe(isNonEmptyString)) 可能回傳 Nothing ，很明顯不能再交給使用端處理，而要在 fn() 提早處理 Nothing 。

使用了 alt() ，當 Maybe 為 Nothing 時，使用傳入 alt() 的新 Maybe 取代， of() 會將任意值轉成 Maybe ，也就是我們即將把 page-not-found 塞進 Maybe 。

最後繼續使用原來的 map(createUrl) 。

Maybe a ：data 為 Maybe

Maybe a ：當 Maybe 為 Nothing 時，以新的 Maybe 取代

Maybe b ：回傳新的 Maybe

使用端寫法完全不變，但已經顯示 https://oomusou.io/crocks/page-not-found ，因為 alt() 在 fn() 內提前處理了 Nothing 。