Travesty_base_exts.Result
Result monad extensions.
This module contains bi-traversability for Base
's Result
monad.
Defined to let this module be used directly in chaining operations etc.
Result
is a bi-traversable type, with the left type being the result type, and the right type the error type. This is backwards from Haskell conventions, but matches the positions of the type parameters.
include Travesty.Bi_traversable_types.S2
with type ('ok, 'err) t := ('ok, 'err) t
include Base.T2 with type ('ok, 'err) t := ('ok, 'err) t
include Travesty.Bi_traversable_types.Generic
with type ('l, 'r) t := ('l, 'r) t
and type 'l left := 'l
and type 'r right := 'r
include Travesty.Generic_types.Bi_generic
with type ('l, 'r) t := ('l, 'r) t
with type 'l left := 'l
with type 'r right := 'r
We can do non-monadic bi-mapping operations.
include Travesty.Bi_mappable_types.Generic
with type ('l, 'r) t := ('l, 'r) t
and type 'l left := 'l
and type 'r right := 'r
include Travesty.Bi_mappable_types.Basic_generic
with type ('l, 'r) t := ('l, 'r) t
with type 'l left := 'l
with type 'r right := 'r
include Travesty.Generic_types.Bi_generic
with type ('l, 'r) t := ('l, 'r) t
with type 'l left := 'l
with type 'r right := 'r
map_left c ~f
maps f
over the left type of c
only.
module On
(M : Base.Applicative.S) :
Travesty.Bi_traversable_types.Generic_on_applicative
with type ('l, 'r) t := ('l, 'r) t
and type 'l left := 'l
and type 'r right := 'r
and module M := M
On
implements bi-traversal operators for a given applicative functor M
.
module On_monad
(M : Base.Monad.S) :
Travesty.Bi_traversable_types.Generic_on_applicative
with type ('l, 'r) t := ('l, 'r) t
and type 'l left := 'l
and type 'r right := 'r
and module M := Travesty.Monad_exts.App(M)
On_monad
implements bi-traversal operators for a given monad M
.
module With_errors :
Travesty.Bi_traversable_types.Generic_on_applicative
with type ('l, 'r) t := ('l, 'r) t
and type 'l left := 'l
and type 'r right := 'r
and module M := Base.Or_error
With_errors
specialises On_monad
to the error_monad.