maybe

    1

    1答えて

    私は奇妙なHUnitの動作を経験しました。テストで条件が存在する場合、テストケースをコンパイルすることはできません。同じテストケースにおける条件Just 2 == Just 2が正常に動作することを [2 of 2] Compiling TestTest (Test/TestTest.hs, interpreted) Test/TestTest.hs:9:49: No insta

    1

    1答えて

    そのよう: let maybeReader :: Maybe (ReaderT UDCEnv IO()) = uploadVersionFilesToCaches s3BucketName <$> maybeFilePath <*> Just gitRepoNamesAndVersions 私はそうであっても同じようReaderTを実行することができます。 let maybeIO :

    1

    1答えて

    Haskellで排他的に使用するファイルをロックし、すでにロックされている場合はIOErrorを投げたいと思います。 import Data.Maybe (fromMaybe) import System.FileLock (FileLock, SharedExclusive (Exclusive), tryLockFile) -- ... do -- ... mayb

    11

    3答えて

    私はMaybeとモナドのどちらの型でも演奏していました(連鎖、戻り値による条件付き関数の適用、連鎖関数が失敗したエラーメッセージの返送など)。だから私はモナドを使って同じことを達成することができるように思えます。だから私の質問は、それらの間の実用的または概念的な違いはどこですか?

    11

    1答えて

    いくつかのモナドのコンテキストでラップすることになっている「戻る」: *Main> :i return class Applicative m => Monad (m :: * -> *) where ... return :: a -> m a ... -- Defined in ‘GHC.Base’ 私は「何も返さない」の種類が何であるかをGHC

    1

    1答えて

    Yesodの本を読んだ後は、生の文字列のようなものではなく、タイプセーフなURLを使用するという考えで販売されています。私はちょうど完全なyesodライブラリを使用するのではなく、単純なget要求を試行していますが、カスタムURLデータ型の導出を定義するか、他の既存の最小限のURLライブラリを使用するのは簡単です。 私はHoogle上でこれを見つけた:ながら myothervar = "kitte

    3

    3答えて

    私は演算子を定義する方法について知りたいと思います。演算子がすでにMaybeでないものがであるHaskellに既に存在し、何も返されない場合は、デフォルト。基本的にはこのような何か: let x = a ?? b ?? c ?? 1 (??)は演算子であり、a, b, cはすべてMaybeタイプです。 a, b, cがすべてNothingの場合、このコードでは最初の値がJustまたは1であると

    3

    1答えて

    オブジェクトのプロパティにアクセスする前に、オブジェクトが含まれ、ヌル/未定義チェックを実行する< T>クラスを作成します。 もちろん、resuls(おそらく< nullまたはおそらく< TRes>)を入力する必要があります。ここで は一例です: class Maybe <T> { constructor(public value: T) {} static of <P> (o

    0

    2答えて

    私はデータ型がPersonであるとします。 data Person = Person String Person 2.人は母親でなければなりません。 showGrandmother :: Person -> Maybe Person showGrandmother (Person _ mother) = Just mother 人物xの母親のみを表示します。 祖母を見せてもらえますか?

    1

    1答えて

    私はRxSwift worthReacting.flatMap{ (userSearch) in translator.getTranslation(ofWord: userSearch) }.subscribe( onSuccess: {(dataModel) in state.value = .translation(word: dataMo