Header menu logo AsyncWriterResult

WriterResult Module

Functions and values

Function or value Description

WriterResult.apply f m

Full Usage: WriterResult.apply f m

Parameters:
Returns: Writer<'a, Result<'c, 'd>>
f : Writer<'a, Result<('b -> 'c), 'd>>
m : Writer<'a, Result<'b, 'd>>
Returns: Writer<'a, Result<'c, 'd>>

WriterResult.bind f m

Full Usage: WriterResult.bind f m

Parameters:
Returns: Writer<'b, Result<'c, 'd>>
f : 'a -> Writer<'b, Result<'c, 'd>>
m : Writer<'b, Result<'a, 'd>>
Returns: Writer<'b, Result<'c, 'd>>

WriterResult.bindError f

Full Usage: WriterResult.bindError f

Parameters:
Returns: Writer<'d, Result<'b, 'a>> -> Writer<'d, Result<'b, 'c>>
f : 'a -> Result<'b, 'c>
Returns: Writer<'d, Result<'b, 'a>> -> Writer<'d, Result<'b, 'c>>

WriterResult.collect list

Full Usage: WriterResult.collect list

Parameters:
Returns: Writer<'a, Result<'b list, 'c>>
list : Writer<'a, Result<'b, 'c>> list
Returns: Writer<'a, Result<'b list, 'c>>

WriterResult.eitherMap fok ferr

Full Usage: WriterResult.eitherMap fok ferr

Parameters:
    fok : 'a -> 'b
    ferr : 'c -> 'd

Returns: Writer<'e, Result<'a, 'c>> -> Writer<'e, Result<'b, 'd>>
fok : 'a -> 'b
ferr : 'c -> 'd
Returns: Writer<'e, Result<'a, 'c>> -> Writer<'e, Result<'b, 'd>>

WriterResult.ignore x

Full Usage: WriterResult.ignore x

Parameters:
Returns: Writer<'a, Result<unit, 'c>>
x : Writer<'a, Result<'b, 'c>>
Returns: Writer<'a, Result<unit, 'c>>

WriterResult.map x

Full Usage: WriterResult.map x

Parameters:
    x : 'a -> 'b

Returns: Writer<'c, Result<'a, 'd>> -> Writer<'c, Result<'b, 'd>>
x : 'a -> 'b
Returns: Writer<'c, Result<'a, 'd>> -> Writer<'c, Result<'b, 'd>>

WriterResult.mapError f m

Full Usage: WriterResult.mapError f m

Parameters:
Returns: Writer<'c, Result<'d, 'b>>
f : 'a -> 'b
m : Writer<'c, Result<'d, 'a>>
Returns: Writer<'c, Result<'d, 'b>>

WriterResult.retn x

Full Usage: WriterResult.retn x

Parameters:
    x : 'a

Returns: Writer<'b, Result<'a, 'c>>
x : 'a
Returns: Writer<'b, Result<'a, 'c>>

WriterResult.returnError e

Full Usage: WriterResult.returnError e

Parameters:
    e : 'a

Returns: Writer<'b, Result<'c, 'a>>
e : 'a
Returns: Writer<'b, Result<'c, 'a>>

WriterResult.write log

Full Usage: WriterResult.write log

Parameters:
    log : 'a

Returns: Writer<'a, Result<unit, 'b>>
log : 'a
Returns: Writer<'a, Result<unit, 'b>>

WriterResult.zip left right

Full Usage: WriterResult.zip left right

Parameters:
Returns: Writer<'a, Result<('b * 'd), 'c>>
left : Writer<'a, Result<'b, 'c>>
right : Writer<'a, Result<'d, 'c>>
Returns: Writer<'a, Result<('b * 'd), 'c>>

Type something to start searching.