genvalidity-property-0.2.1.0: Standard properties for functions on `Validity` types

Safe HaskellSafe
LanguageHaskell2010

Test.Validity.Types

Synopsis

Documentation

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
CanFail Maybe # 
Instance details

Defined in Test.Validity.Types

Methods

hasFailed :: Maybe a -> Bool #

resultIfSucceeded :: Maybe a -> Maybe a #

CanFail (Either e) # 
Instance details

Defined in Test.Validity.Types

Methods

hasFailed :: Either e a -> Bool #

resultIfSucceeded :: Either e a -> Maybe a #