This Maybe wrapper treats Just as success and Nothing as failure. There is no unexpected success <-> failure change.
Differences:
instance Semigroup/Monoid Maybe where
Nothing <> (Just x) = Just x
mempty = Nothing
stimes 0 (Just x) = Nothing
instance Semigroup/Monoid Result where
Nothing <> (Just x) = Nothing
mempty = Just mempty
stimes 0 (Just x) = Just (stimes 0 x)
Instances25Monad, Functor, MonadFix, MonadFail, Applicative, Foldable, …
Monad ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultFunctor ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultMonadFix ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultMonadFail ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultApplicative ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultFoldable ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultTraversable ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultAlternative ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultMonadPlus ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultMonadZip ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultEq1 ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultOrd1 ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultRead1 ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultShow1 ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultGeneric1 ResultDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultEq a => Eq (Result a)Defined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultData a => Data (Result a)Defined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultOrd a => Ord (Result a)Defined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultRead a => Read (Result a)Defined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultShow a => Show (Result a)Defined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultGeneric (Result a)Defined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultSemigroup a => Semigroup (Result a)Defined in qrcode-core-0.9.9 · Codec.QRCode.Data.ResultMonoid a => Monoid (Result a)Defined in qrcode-core-0.9.9 · Codec.QRCode.Data.Resulttype Rep (Result a) = D1 ('MetaDataDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.Result"Result"
"Codec.QRCode.Data.Result"
"qrcode-core-0.9.9-zj9czjOJhg4cjgYg5bJGH"
'True) (C1 ('MetaCons"Result"
'PrefixI 'True) (S1 ('MetaSel ('Just"getResult"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))type Rep1 Result = D1 ('MetaDataDefined in qrcode-core-0.9.9 · Codec.QRCode.Data.Result"Result"
"Codec.QRCode.Data.Result"
"qrcode-core-0.9.9-zj9czjOJhg4cjgYg5bJGH"
'True) (C1 ('MetaCons"Result"
'PrefixI 'True) (S1 ('MetaSel ('Just"getResult"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 Maybe)))