Блог

Допустим, у меня есть список строк, и я хочу отсортировать их сначала по длине строки, а затем по алфавиту (поэтому строки в списке с одинаковой длиной сортируются в алфавитном порядке).

У меня уже есть ordString , который можно использовать для сортировки по алфавиту. Я могу создать свой собственный Ord экземпляр для длины строки:

 import * as S from 'fp-ts/string'
import * as N from 'fp-ts/number'
import * as Ord from 'fp-ts/Ord'

const ordString = S.Ord

const ordStringLength = pipe(N.Ord, Ord.contramap((s: string) => s.length))

 

Если я хочу использовать эти Ord s для сортировки моего списка, я могу вызвать A.sort дважды, но это кажется расточительным:

 import * as A from 'fp-ts/Array'

const sorted = pipe(listOfStrings, A.sort(ordString), A.sort(ordStringLength))
 

Есть ли способ, которым я могу объединить ordString ordStringLength экземпляры and в один экземпляр, который можно использовать в одном вызове to A.sort ?

(это надуманный пример, демонстрирующий мой вопрос; на самом деле порядок более сложный и может включать объединение нескольких Ord экземпляров)

Ord имеет Monoid экземпляр, который можно использовать для выполнения того, что вы хотите; то есть сначала упорядочить с одним Ord , затем с другим.

В fp-ts документах есть довольно хороший пример

короче говоря, вы должны быть в состоянии сделать

 import { sort } from 'fp-ts/Array'
import { getMonoid } from 'fp-ts/Ord'
import { concatAll } from 'fp-ts/Monoid'

const M = getMonoid<string>
const byBothOrds = concatAll(M)([ordString, ordStringLength])
const sorted = sort(byBothOrds)(listOfStrings)
 

Должно быть довольно очевидно, как добавить дополнительные Ord s к этому, как вы просили.