Question

我试图在相当长的一段时间里环绕着我的大脑如何在消化式杀菌剂形式字段中使用验证, 这需要访问另一个monad 。简略地说, 我有一个< hackage. hasskell. org/ packages/archives/ archive/ digestive- functors/ 0. 4. 0.0/ doc/ html/ Text- Digestive. html" rel= “ nofolpol” >digestive form like this

studentRegistrationForm :: Monad m => Form Text m StudentRegistrationData
studentRegistrationForm = StudentRegistrationData
    <$> "school"    .: choice schools Nothing
    <*> "studentId" .: check studentIdErrMsg (not . T.null) (text Nothing)
    <*> "firstName" .: check firstNameErrMsg (not . T.null) (text Nothing)
    <*> "lastName"  .: check lastNameErrMsg  (not . T.null) (text Nothing)
    <*> "email"     .: check emailErrMsg (E.isValid . T.unpack) (text Nothing)

(学生Id基本上是用户名)

并使用的 usernameexists < a href="http://hackage.haskell.org/packages/archives/archive/snap/ 0.7/doc/html/Snap-Snaplet-Auth.html" rel=“nofollow”>Snap.Snaplet.Auth 的函数,检查输入用户名是否独一无二。

为了完整起见,这里是相应的数据类型:

data StudentRegistrationData = StudentRegistrationData
  { school    :: School  -- ^ school the student is enroled
  , studentId :: Text    -- ^ matriculation number of the student
  , firstName :: Text    -- ^ first name of the student
  , lastName  :: Text    -- ^ last name of the student
  , email     :: Text    -- ^ email for sending password
  } deriving (Show)

我创造我的形式在一个处理器像:

studentRegistrationHandler :: AppHandler ()
studentRegistrationHandler = do
    (view, registrationData) <- runForm "form" SRF.studentRegistrationForm
    maybe (showForm "registration" view) createUser registrationData

showForm :: String -> View Text -> AppHandler ()
showForm name view =
    heistLocal (bindDigestiveSplices view) $ render template
  where
    template = BS.pack $ "student-" ++ name ++ "-form"

所以,我现在的问题是如何理解如何在窗体中访问 auuth spnillet 状态。它已经通过还是我必须亲自通过? checkM 分别在 validateM < a href=" http://hackage. haskell.org/packages/archages/archive/dicistive-functors/0.4.0.0/doc/ html/ Text- Digestive- Form.html" rel="no follow" > Text. Digestive. Form < / a > 能帮助我吗?



我发现了一些如何使用消化杀菌剂和折断授体和会话的例子,例如:


snap example
digestive functors tutorial
postgres example
Getting started with Snap-Auth


但没有人能显示Snap.Snaplet.Adex和消化带菌者直接一起工作,

我可以在刺青上上传一个独立的例子, 说明我的问题, 如果有助于说明这一点的话。 任何提示、 指示和建议都是非常欢迎的!!!!

汉内斯

add on: I created an example application demonstrating basic authentication functionality, you may have a look here: digestive-functors-snap-auth-example enjoy!

Answer 1


我还没有尝试过这个来查看是否所有类型检查, 但这里是一般的想法。 您想使用检查M 或验证M 来验证您的monadic 。 检查M 的类型签名是信息化的 :

checkM :: Monad m => v -> (a -> m Bool) -> Form v m a -> Form v m a


这告诉我们,验证功能需要具备类型 (a - & gt; m Bool), < strong > 和 ,  m  必须和窗体中的  m  相同。 这意味着您需要将您的窗体类型更改为类似类型 :

studentRegistrationForm :: Form Text AppHandler StudentRegistrationData


现在让我们写下验证符。 既然我们计划在我们的验证符中使用用户名Exists 函数, 我们需要查看该类型签名 :

usernameExists :: Text -> Handler b (AuthManager b) Bool

这实际上看起来与我们需要的 (a- & gt; m Bool) 类型签名非常相似。事实上, 它是一个精确匹配, 因为 handler b (AuthManager b) 是一monad。但即使它符合 (a- > m Bool) 模式, 也并不表示我们已经完成了。当您运行您的窗体时, 您会重新进入 AppHandler monad, 它可能只是 handler App 的别名, 其中 App 是您的应用程序的顶级松动状态类型。所以我们需要将 Handler b (Authmanger b) 转换为 (a- handler b b b 将和 < code > 统一到 < had> 。。 < a hest_ smaskages_ sqn > a 函数: smapple. smappage/ a.



validUser :: Text -> Handler App App Bool
validUser = liftM not . with auth . usernameExists


您可以使用  checkM usernameErrMsg 有效用户  就像您在上述代码中使用的检查一样 。

友情链接