虽然例子是人为的,为什么我不能使用通配符模式,如果该数据构造被忽略? module Main where
import Prelude
import Control.Monad.Eff.Console (log)
data Person = Amy { name :: String } | George { name :: String }
--Implementations Opt
我试图基于数据的阵列上创建一个记录来创建记录,该功能是这样的: type Address = {
street :: String,
city :: String,
state :: String
}
convertToAddress :: Array String -> Maybe Address
convertToAddress [street, city
我有一个类型的effectful异步操作,让我们说, effectful :: Aff e r
我想建立需要一些异步操作的操作并将结果从purescript-signal发送到Channel。该send函数签名: send :: forall a e. Channel a -> a -> Eff (channel :: CHANNEL | e) Unit
这里是我想出了实现: runAff
我在阅读Purescript通过示例并介绍了读者单元的部分。示例如下: createUser :: Reader Permissions (Maybe User)
createUser = do
permissions <- ask
if hasPermission "admin" permissions
then map Just newUser
els