Skip to content
Cinch
Packages/cinch-base/Data.Result
SAMPLE API
MODULE REFERENCE

Data.Result

Recoverable errors carried in the result type.

Declaration source ↗Synopsis ↓
SYNOPSIS
data Result e amap :: forall e a b. (a -> b) -> Result e a -> Result e bmap-error :: forall e f a. (e -> f) -> Result e a -> Result f a

Types and classes

Result

data Result e a

A successful value or a recoverable error.

CONSTRUCTORS

Err :: e -> Result e a

A recoverable failure.

Ok :: a -> Result e a

A successful result.

Functions and values

map

function§Source ↗
map :: forall e a b. (a -> b) -> Result e a -> Result e b

Transform a successful result, preserving an error.

map-error

function§Source ↗
map-error :: forall e f a. (e -> f) -> Result e a -> Result f a

Transform the error while leaving successful values alone.