Test.Syd.Validity.Types

Documentation

class CanFail f where

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

Methods

hasFailed :: f a -> Bool

resultIfSucceeded :: f a -> Maybe a

Instances

CanFail Maybe

Defined in Test.Syd.Validity.Types

Methods

hasFailed :: Maybe a -> Bool

resultIfSucceeded :: Maybe a -> Maybe a

CanFail (Either e)

Defined in Test.Syd.Validity.Types

Methods

hasFailed :: Either e a -> Bool

resultIfSucceeded :: Either e a -> Maybe a