Data.Result.Types
type Result (errs :: [Type]) = Either (OpenUnion errs) Source #
Result is a synonym for 'Either (OpenUnion errs) a'
Result
pattern Ok :: val -> Either (OpenUnion err) val Source #
pattern Err :: OpenUnion errs -> Either (OpenUnion errs) b Source #