Choice Module

Nested modules

Modules Description

Operators

Result

Functions and values

Function or value Description

apply f v

Full Usage: apply f v

Parameters:
Returns: Choice<'b, 'c>
f : Choice<('a -> 'b), 'c>
v : Choice<'a, 'c>
Returns: Choice<'b, 'c>

applySnd f v

Full Usage: applySnd f v

Parameters:
Returns: Choice<'c, 'b>
f : Choice<('a -> 'b), 'b>
v : Choice<'c, 'a>
Returns: Choice<'c, 'b>

bind f v

Full Usage: bind f v

Parameters:
Returns: Choice<'b, 'c>
f : 'a -> Choice<'b, 'c>
v : Choice<'a, 'c>
Returns: Choice<'b, 'c>

bindSnd f v

Full Usage: bindSnd f v

Parameters:
Returns: Choice<'c, 'b>
f : 'a -> Choice<'c, 'b>
v : Choice<'c, 'a>
Returns: Choice<'c, 'b>

bindUnit f _arg1

Full Usage: bindUnit f _arg1

Parameters:
Returns: Choice<'b, unit>
f : 'a -> Choice<'b, unit>
_arg1 : Choice<'a, 'c>
Returns: Choice<'b, unit>

create x

Full Usage: create x

Parameters:
    x : 'a

Returns: Choice<'a, 'b>
x : 'a
Returns: Choice<'a, 'b>

createSnd v

Full Usage: createSnd v

Parameters:
    v : 'a

Returns: Choice<'b, 'a>
v : 'a
Returns: Choice<'b, 'a>

fold f g _arg1

Full Usage: fold f g _arg1

Parameters:
    f : 'a -> 'b
    g : 'c -> 'b
    _arg1 : Choice<'a, 'c>

Returns: 'b
f : 'a -> 'b
g : 'c -> 'b
_arg1 : Choice<'a, 'c>
Returns: 'b

inject f _arg1

Full Usage: inject f _arg1

Parameters:
    f : 'a -> unit
    _arg1 : Choice<'a, 'b>

Returns: Choice<'a, 'b>
f : 'a -> unit
_arg1 : Choice<'a, 'b>
Returns: Choice<'a, 'b>

injectSnd f _arg1

Full Usage: injectSnd f _arg1

Parameters:
    f : 'a -> unit
    _arg1 : Choice<'b, 'a>

Returns: Choice<'b, 'a>
f : 'a -> unit
_arg1 : Choice<'b, 'a>
Returns: Choice<'b, 'a>

iter f _arg1

Full Usage: iter f _arg1

Parameters:
    f : 'a -> unit
    _arg1 : Choice<'a, 'b>

f : 'a -> unit
_arg1 : Choice<'a, 'b>

lift2 f v1 v2

Full Usage: lift2 f v1 v2

Parameters:
    f : 'a -> 'b -> 'c
    v1 : Choice<'a, 'd>
    v2 : Choice<'b, 'd>

Returns: Choice<'c, 'd>
f : 'a -> 'b -> 'c
v1 : Choice<'a, 'd>
v2 : Choice<'b, 'd>
Returns: Choice<'c, 'd>

lift3 f v1 v2 v3

Full Usage: lift3 f v1 v2 v3

Parameters:
Returns: Choice<'d, 'e>
f : 'a -> 'b -> 'c -> 'd
v1 : Choice<'a, 'e>
v2 : Choice<'b, 'e>
v3 : Choice<'c, 'e>
Returns: Choice<'d, 'e>

lift4 f v1 v2 v3 v4

Full Usage: lift4 f v1 v2 v3 v4

Parameters:
Returns: Choice<'e, 'f>
f : 'a -> 'b -> 'c -> 'd -> 'e
v1 : Choice<'a, 'f>
v2 : Choice<'b, 'f>
v3 : Choice<'c, 'f>
v4 : Choice<'d, 'f>
Returns: Choice<'e, 'f>

lift5 f v1 v2 v3 v4 v5

Full Usage: lift5 f v1 v2 v3 v4 v5

Parameters:
Returns: Choice<'f, 'g>
f : 'a -> 'b -> 'c -> 'd -> 'e -> 'f
v1 : Choice<'a, 'g>
v2 : Choice<'b, 'g>
v3 : Choice<'c, 'g>
v4 : Choice<'d, 'g>
v5 : Choice<'e, 'g>
Returns: Choice<'f, 'g>

map f _arg1

Full Usage: map f _arg1

Parameters:
    f : 'a -> 'b
    _arg1 : Choice<'a, 'c>

Returns: Choice<'b, 'c>
f : 'a -> 'b
_arg1 : Choice<'a, 'c>
Returns: Choice<'b, 'c>

map2 f1 f2 _arg1

Full Usage: map2 f1 f2 _arg1

Parameters:
    f1 : 'a -> 'c
    f2 : 'b -> 'd
    _arg1 : Choice<'a, 'b>

Returns: Choice<'c, 'd>
f1 : 'a -> 'c
f2 : 'b -> 'd
_arg1 : Choice<'a, 'b>
Returns: Choice<'c, 'd>

mapSnd f _arg1

Full Usage: mapSnd f _arg1

Parameters:
    f : 'a -> 'b
    _arg1 : Choice<'c, 'a>

Returns: Choice<'c, 'b>
f : 'a -> 'b
_arg1 : Choice<'c, 'a>
Returns: Choice<'c, 'b>

ofOption onMissing _arg1

Full Usage: ofOption onMissing _arg1

Parameters:
    onMissing : 'a
    _arg1 : 'b option

Returns: Choice<'b, 'a>
onMissing : 'a
_arg1 : 'b option
Returns: Choice<'b, 'a>

ofResult _arg1

Full Usage: ofResult _arg1

Parameters:
Returns: Choice<'a, 'b>
_arg1 : Result<'a, 'b>
Returns: Choice<'a, 'b>

orDefault onMissing _arg1

Full Usage: orDefault onMissing _arg1

Parameters:
    onMissing : 'a
    _arg1 : Choice<'a, 'b>

Returns: 'a
onMissing : 'a
_arg1 : Choice<'a, 'b>
Returns: 'a

parser parse err original

Full Usage: parser parse err original

Parameters:
    parse : string -> bool * 'a
    err : string
    original : string

Returns: Choice<'a, string>
parse : string -> bool * 'a
err : string
original : string
Returns: Choice<'a, string>

toOption _arg1

Full Usage: toOption _arg1

Parameters:
Returns: 'a option
_arg1 : Choice<'a, 'b>
Returns: 'a option

toResult _arg1

Full Usage: toResult _arg1

Parameters:
Returns: Result<'a, 'b>
_arg1 : Choice<'a, 'b>
Returns: Result<'a, 'b>