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

Safe HaskellSafe
LanguageHaskell2010

Test.Validity.Types

Synopsis

Documentation

class CanFail f where Source #

A class of types that are the result of functions that can fail

Methods

hasFailed :: f a -> Bool Source #

resultIfSucceeded :: f a -> Maybe a Source #

Instances
CanFail Maybe Source # 
Instance details

Defined in Test.Validity.Types

Methods

hasFailed :: Maybe a -> Bool Source #

resultIfSucceeded :: Maybe a -> Maybe a Source #

CanFail (Either e) Source # 
Instance details

Defined in Test.Validity.Types

Methods

hasFailed :: Either e a -> Bool Source #

resultIfSucceeded :: Either e a -> Maybe a Source #