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