Как отсортировать список по некоторым пользовательским критериям в DAML? - PullRequest
0 голосов
/ 22 января 2019

Скажем, у меня есть список пользовательского типа с именем «Ипотека», как определено ниже:

data Mortgage = Mortgage {
  rate: Decimal; 
  issuedDate: Datetime;
  amount: Decimal
} deriving (Eq, Show)

И в этом конкретном одноразовом случае я хочу отсортировать список в порядке убывания, основываясь на выданной дате.Как мне это сделать?

1 Ответ

0 голосов
/ 23 января 2019

В модуле DA.List в стандартной библиотеке вы найдете функции sortBy и sortOn, которые будут делать то, что вы хотите.

В частности, используя sortOn:

sortMortgages: [Mortgage] -> [Mortgage] = reverse . sortOn (\m -> m.issuedDate)

Полный пример:

daml 1.2
module Main where

import DA.Date
import DA.List

data Mortgage = Mortgage {
  rate: Decimal;
  issuedDate: Time;
  amount: Decimal
} deriving (Eq, Show)

sortMortgages: [Mortgage] -> [Mortgage] = reverse . sortOn (\m -> m.issuedDate)

testSortMortgages = scenario
  let
    mort1 = Mortgage with rate = 0.3; issuedDate = datetime 2007 Apr 5 14 30 05 ; amount = 1.0
    mort2 = Mortgage with rate = 0.2; issuedDate = datetime 2007 Apr 5 14 30 15 ; amount = 2.0
    mort3 = Mortgage with rate = 0.1; issuedDate = datetime 2007 Apr 5 14 30 10 ; amount = 3.0
    mortgages = [ mort1, mort2, mort3 ]
    expected = [ mort2, mort3, mort1 ]
  in
    assert $ sortMortgages mortgages == expected
...