genvalidity-property-0.2.1.0: Standard properties for functions on `Validity` types
Test.Validity.Types
class CanFail f where Source #
A class of types that are the result of functions that can fail
Minimal complete definition
hasFailed, resultIfSucceeded
Methods
hasFailed :: f a -> Bool Source #
resultIfSucceeded :: f a -> Maybe a Source #
Defined in Test.Validity.Types
hasFailed :: Maybe a -> Bool Source #
resultIfSucceeded :: Maybe a -> Maybe a Source #
hasFailed :: Either e a -> Bool Source #
resultIfSucceeded :: Either e a -> Maybe a Source #