genvalidity-property-0.2.0.2: Standard properties for functions on `Validity` types
Test.Validity.Types
Synopsis
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 #
Instances
hasFailed :: Maybe a -> Bool Source #
resultIfSucceeded :: Maybe a -> Maybe a Source #
hasFailed :: Either e a -> Bool Source #
resultIfSucceeded :: Either e a -> Maybe a Source #