maybe

    0热度

    2回答

    想象一下,我有一个数据类型Person。 data Person = Person String Person 的2人应该是母亲。 showGrandmother :: Person -> Maybe Person showGrandmother (Person _ mother) = Just mother 只会从人x显示母亲。 我如何显示祖母?

    1热度

    2回答

    我使用此功能在以下格式的字符串读自然数的列表:[1, 2, 3]: readMaybeIntList :: String -> Maybe [Int] readMaybeIntList line = case readMaybe line of Just l -> return l Nothing -> Nothing 现在它仅适用于整数 - 会是

    1热度

    1回答

    我正在练习一些哈斯克尔以更好地理解\,case.. of和Maybe。 我有这个小功能,这里应该返回Nothing如果数组是空的,如果Just y y等于阵列XS的头部和Just (tail xs)如果y不等于阵列XS的头。 我将函数的返回类型设置为Maybe a,因为在一种情况下,它应该返回Int,而另一个则返回[Int]。 funct :: Int -> [Int] -> Maybe a f

    1热度

    1回答

    我遇到了奇怪的HUnit行为。如果Nothing == Nothing条件存在于测试中,则不允许编译测试用例。这里是我的代码再现这种行为: module TestTest where import Control.Exception import Control.Monad import Test.HUnit import Test.AssertError testTests = t

    8热度

    3回答

    我正在尝试创建一个验证输入String -> Maybe Int的函数。我检查输入字符串是否是一个数字,然后检查该数字是否在一个范围内。到目前为止,我有 validateNumber :: String -> Maybe Int validateNumber n = go $ (readMaybe::String -> Maybe Int) n where go (Just

    0热度

    1回答

    我有一个Haskell功能在我的Prolog解释分配读取 renames :: Rule -> State ExecState [(Term, Term)] 产生(几乎)的变量在Prolog的规则替换(这样的变量名不冲突统一期间)。 由该函数产生的对的形式为(Variable "X", Variable "X_11")的,这意味着变量X应当被重命名为X_11等(用于重命名计数器包含在ExecS

    2热度

    1回答

    有麻烦解开也许和空的值如下: container <- unsafePartial (fromJust <<< toMaybe <$> DOM.querySelector (DOM.QuerySelector "body") (DOM.htmlDocumentToParentNode document)) 使我有以下错误: Could not match

    1热度

    1回答

    我有以下斯威夫特4 RxSwift worthReacting.flatMap{ (userSearch) in translator.getTranslation(ofWord: userSearch) }.subscribe( onSuccess: {(dataModel) in state.value = .translation(word

    11热度

    1回答

    “回报”应该在一些单子的背景下紧裹: *Main> :i return class Applicative m => Monad (m :: * -> *) where ... return :: a -> m a ... -- Defined in ‘GHC.Base’ 如果我问GHCI什么“返回Nothing”的类型,它符合是: *Main> :

    0热度

    1回答

    我有一个简单的例子,我正在尝试使用rxJava 2,但我卡住了。 我有一个locationProvider,它返回一个Maybe(与LatLng一些模型)。每次用户点击按钮时,我都想获取他当前的位置并将位置保存到数据库。 只是要清楚, RxView.clicks(save_btn)应该在MainThread上,位置和db保存应该在异步线程上,并且响应应该返回到mainThread。 我该怎么做?