lux/data/error

Types

Error

(type: (Error a)
  (#Error lux;Text)
  (#Success a))

Structs

Applicative<Error>

(lux/control/applicative;Applicative Error)

(ErrorT Monad<M>)

(All [a] (-> (lux/control/monad;Monad a) (lux/control/monad;Monad (All [b] (a (Error b))))))

Functor<Error>

(lux/control/functor;Functor Error)

Monad<Error>

(lux/control/monad;Monad Error)

Values

(fail message)

(All [a] (-> lux;Text (Error a)))

(lift-error Monad<M>)

(All [a b] (-> (lux/control/monad;Monad a) (a b) (a (Error b))))