Skulk.Outcome

Universal result type for calculations that may either: produce a value, signal the failure to obtain value, or signal that value is "not interesting".

Documentation

data Outcome a

Universal result type for calculations that may either: produce a value, signal the failure to obtain value, or signal that value is "not interesting".

E.g. a text parser distinguishes situations when text file is "structured enough" to have a syntax error (that's Fail) and when text file is not in a supported format at all (that's Skip).

Constructors

OK a

Result value.

Fail String

Failed to obtain value because of particular reason.

Skip String

Depending on context, it's might be "no action required" or "no action taken" because of particular reason.

Instances

Monad Outcome

Functor Outcome

Applicative Outcome

Foldable Outcome

Traversable Outcome

Eq a => Eq (Outcome a)

Show a => Show (Outcome a)

describe :: (a -> String) -> Outcome a -> String

Renders Outcome to String using provided function to render the OKs.

toEither :: Outcome a -> Either String a

Converts Outcome into either wrapped value or error message.

allOK :: [Outcome a] -> Outcome [a]

Collapses a list of Outcomes into a single Outcome. Result may either be Fail (if original list contains any) or list of all OKs; all Skips are discarded.

exposeOrDie :: Outcome a -> a

Either returns a wrapped value or prints out an error message and terminates the execution with error.