Пищеварительно-функторы и список

Question

Я смог успешно использовать пищеварительные функторы с простыми формами в одном приложении; Тем не менее, я застреваю при попытке обработать список скрытых входов. Есть кое-что, что я не совсем понимаю, как использовать listOf, Может кто-то указать мне верное направление? Благодарю.

Рендеринг HTML с предыдущей страницы включает в себя следующие скрытые поля:

<div id='messageForm.recipients' class='inputList'>
  <input type='hidden' name='messageForm.recipients.indices' value='0' />
  <input type='hidden' id='messageForm.recipients.-1.email' name='messageForm.recipients.-1.email' value />
  <input type='hidden' id='messageForm.recipients.0.email' name='messageForm.recipients.0.email' value='[e-mail]' /> 
  <input type='hidden' id='messageForm.recipients.1.email' name='messageForm.recipients.1.email' value='[e-mail]' /> 
</div>

Типы данных:

data ConfirmMessage = ConfirmMessage {
  isoDate :: T.Text,
  subject :: T.Text,
  body    :: T.Text,
  action  :: T.Text,
  recipients :: [Recipient]
} deriving (Show) 

data Recipient = Recipient {
  email :: T.Text 
} deriving (Show)

Формы:

messageForm :: (Monad m) => Form T.Text m ConfirmMessage
messageForm = ConfirmMessage
  <$> "isoDate"    .: stringRead "Missing ISOdate" Nothing
  <*> "subject"    .: stringRead "Subject required" Nothing
  <*> "body"       .: stringRead "Body required" Nothing
  <*> "action"     .: stringRead "Missing action" Nothing
  <*> "recipients" .: listOf recipientForm' Nothing

recipientForm' :: (Monad m) => Formlet T.Text m Recipient
recipientForm'= Recipient
  <$> "email"      .: text Nothing

Я получаю сообщение об ошибке:

Couldn't match type `Text.Digestive.Form.Internal.FormTree
                       m0 v0 m0 Recipient'
              with `Maybe Recipient -> Form T.Text m Recipient'
Expected type: Formlet T.Text m Recipient
  Actual type: Text.Digestive.Form.Internal.FormTree
                 m0 v0 m0 Recipient
Relevant bindings include
  recipientForm' :: Formlet T.Text m Recipient
    (bound at src/Handler/TradeNotifyConfirm.hs:191:1)
In the expression: Recipient <$> "email" .: text Nothing
In an equation for `recipientForm'':
    recipientForm' = Recipient <$> "email" .: text Nothing

Answer 1

Хорошо, отказ от ответственности: я никогда не использовал digestive-functorsНо вот как я подхожу к такой проблеме:

1) Ваше сообщение об ошибке говорит Expected type: Formlet T.Text m Recipient а также Actual type: Text.Digestive.Form.Internal.FormTree m0 v0 m0 Recipient

2) Посмотрите документацию и убедитесь, что:

type Formlet v m a = Maybe a -> Form v m a 
type Form v m a = FormTree m v m a

поэтому мы расширяем ожидаемое сверху, чтобы получить:

Formlet T.Text m Recipient 
-- v ~ T.Text, a ~ Recipient
Maybe Recipient -> Form T.Text m Recipient
--
Maybe Recipient -> FormTree m T.Text m Recipient

теперь посмотрим еще раз:

• Ожидаемый тип: Maybe Recipient -> FormTree m T.Text m Recipient
• Фактический тип: FormTree m0 v0 m0 Recipient

Нам не хватает Maybe Recipient! Из того, что я вижу выше, я думаю, вы хотите просто проигнорировать этот аргумент, и поэтому мы имеем:

recipientForm' :: (Monad m) => Formlet T.Text m Recipient
recipientForm' _ = Recipient <$> "email" .: text Nothing

который компилируется просто отлично, ууу:)