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

Question

Я успешно использовал digestive-functors с простыми формами в быстром приложении; однако я застреваю при попытке обработать список скрытых входов. Есть кое-что, что я не совсем понимаю, как использовать 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='emai1l@email.com' /> 
    <input type='hidden' id='messageForm.recipients.1.email' name='messageForm.recipients.1.email' value='email2@email.com' /> 
</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 

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