Decidable

public protocol Decidable : Divisible

Decidable is a typeclass modeling contravariant decision. Decidable is the contravariant version of Alternative.


                    
                    
                    
                      choose(_:_:_:)

Takes 2 computations and produces a new one that decides which one will be run, based on a provided function.

Declaration

Swift

static func choose<A, B, Z>(
    _ fa: Kind<Self, A>,
    _ fb: Kind<Self, B>,
    _ f: (Z) -> Either<A, B>) -> Kind<Self, Z>

Parameters

`fa`	1st computation
`fb`	2nd computation
`f`	Deciding function

Return Value

A computation that decides which of the provided arguments should run.


                    
                    
                    
                      choose(_:_:_:_:)

Extension method

Takes 3 computations and produces a new one that decides which one will be run, based on a provided function.

Declaration

Swift

static func choose<A, B, C, Z>(
    _ fa: Kind<Self, A>,
    _ fb: Kind<Self, B>,
    _ fc: Kind<Self, C>,
    _ f: (Z) -> Either<A, Either<B, C>>) -> Kind<Self, Z>

Parameters

`fa`	1st computation
`fb`	2nd computation
`fc`	3rd computation
`f`	Deciding function

Return Value

A computation that decides which of the provided arguments should run.


                    
                    
                    
                      choose(_:_:_:_:_:)

Extension method

Takes 4 computations and produces a new one that decides which one will be run, based on a provided function.

Declaration

Swift

static func choose<A, B, C, D, Z>(
    _ fa: Kind<Self, A>,
    _ fb: Kind<Self, B>,
    _ fc: Kind<Self, C>,
    _ fd: Kind<Self, D>,
    _ f: (Z) -> Either<A, Either<B, Either<C, D>>>) -> Kind<Self, Z>

Parameters

`fa`	1st computation
`fb`	2nd computation
`fc`	3rd computation
`fd`	4th computation
`f`	Deciding function

Return Value

A computation that decides which of the provided arguments should run.


                    
                    
                    
                      choose(_:_:_:_:_:_:)

Extension method

Takes 5 computations and produces a new one that decides which one will be run, based on a provided function.

Declaration

Swift

static func choose<A, B, C, D, E, Z>(
    _ fa: Kind<Self, A>,
    _ fb: Kind<Self, B>,
    _ fc: Kind<Self, C>,
    _ fd: Kind<Self, D>,
    _ fe: Kind<Self, E>,
    _ f: (Z) -> Either<A, Either<B, Either<C, Either<D, E>>>>
) -> Kind<Self, Z>

Parameters

`fa`	1st computation
`fb`	2nd computation
`fc`	3rd computation
`fd`	4th computation
`fe`	5th computation
`f`	Deciding function

Return Value

A computation that decides which of the provided arguments should run.


                    
                    
                    
                      choose(_:_:_:_:_:_:_:)

Extension method

Takes 6 computations and produces a new one that decides which one will be run, based on a provided function.

Declaration

Swift

static func choose<A, B, C, D, E, FF, Z>(
    _ fa: Kind<Self, A>,
    _ fb: Kind<Self, B>,
    _ fc: Kind<Self, C>,
    _ fd: Kind<Self, D>,
    _ fe: Kind<Self, E>,
    _ ff: Kind<Self, FF>,
    _ f: (Z) -> Either<A, Either<B, Either<C, Either<D, Either<E, FF>>>>>
) -> Kind<Self, Z>

Parameters

`fa`	1st computation
`fb`	2nd computation
`fc`	3rd computation
`fd`	4th computation
`fe`	5th computation
`ff`	6th computation
`f`	Deciding function

Return Value

A computation that decides which of the provided arguments should run.


                    
                    
                    
                      choose(_:_:_:_:_:_:_:_:)

Extension method

Takes 7 computations and produces a new one that decides which one will be run, based on a provided function.

Declaration

Swift

static func choose<A, B, C, D, E, FF, G, Z>(
    _ fa: Kind<Self, A>,
    _ fb: Kind<Self, B>,
    _ fc: Kind<Self, C>,
    _ fd: Kind<Self, D>,
    _ fe: Kind<Self, E>,
    _ ff: Kind<Self, FF>,
    _ fg: Kind<Self, G>,
    _ f: (Z) -> Either<A, Either<B, Either<C, Either<D, Either<E, Either<FF, G>>>>>>
) -> Kind<Self, Z>

Parameters

`fa`	1st computation
`fb`	2nd computation
`fc`	3rd computation
`fd`	4th computation
`fe`	5th computation
`ff`	6th computation
`fg`	7th computation
`f`	Deciding function

Return Value

A computation that decides which of the provided arguments should run.


                    
                    
                    
                      choose(_:_:_:_:_:_:_:_:_:)

Extension method

Takes 8 computations and produces a new one that decides which one will be run, based on a provided function.

Declaration

Swift

static func choose<A, B, C, D, E, FF, G, H, Z>(
    _ fa: Kind<Self, A>,
    _ fb: Kind<Self, B>,
    _ fc: Kind<Self, C>,
    _ fd: Kind<Self, D>,
    _ fe: Kind<Self, E>,
    _ ff: Kind<Self, FF>,
    _ fg: Kind<Self, G>,
    _ fh: Kind<Self, H>,
    _ f: (Z) -> Either<A, Either<B, Either<C, Either<D, Either<E, Either<FF, Either<G, H>>>>>>>
) -> Kind<Self, Z>

Parameters

`fa`	1st computation
`fb`	2nd computation
`fc`	3rd computation
`fd`	4th computation
`fe`	5th computation
`ff`	6th computation
`fg`	7th computation
`fh`	8th computation
`f`	Deciding function

Return Value

A computation that decides which of the provided arguments should run.


                    
                    
                    
                      choose(_:_:_:_:_:_:_:_:_:_:)

Extension method

Takes 9 computations and produces a new one that decides which one will be run, based on a provided function.

Declaration

Swift

static func choose<A, B, C, D, E, FF, G, H, I, Z>(
    _ fa: Kind<Self, A>,
    _ fb: Kind<Self, B>,
    _ fc: Kind<Self, C>,
    _ fd: Kind<Self, D>,
    _ fe: Kind<Self, E>,
    _ ff: Kind<Self, FF>,
    _ fg: Kind<Self, G>,
    _ fh: Kind<Self, H>,
    _ fi: Kind<Self, I>,
    _ f: (Z) -> Either<A, Either<B, Either<C, Either<D, Either<E, Either<FF, Either<G, Either<H, I>>>>>>>>
) -> Kind<Self, Z>

Parameters

`fa`	1st computation
`fb`	2nd computation
`fc`	3rd computation
`fd`	4th computation
`fe`	5th computation
`ff`	6th computation
`fg`	7th computation
`fh`	8th computation
`fi`	9th computation
`f`	Deciding function

Return Value

A computation that decides which of the provided arguments should run.


                    
                    
                    
                      choose(_:_:_:_:_:_:_:_:_:_:_:)

Extension method

Takes 10 computations and produces a new one that decides which one will be run, based on a provided function.

Declaration

Swift

static func choose<A, B, C, D, E, FF, G, H, I, J, Z>(
    _ fa: Kind<Self, A>,
    _ fb: Kind<Self, B>,
    _ fc: Kind<Self, C>,
    _ fd: Kind<Self, D>,
    _ fe: Kind<Self, E>,
    _ ff: Kind<Self, FF>,
    _ fg: Kind<Self, G>,
    _ fh: Kind<Self, H>,
    _ fi: Kind<Self, I>,
    _ fj: Kind<Self, J>,
    _ f: (Z) -> Either<A, Either<B, Either<C, Either<D, Either<E, Either<FF, Either<G, Either<H, Either<I, J>>>>>>>>>
) -> Kind<Self, Z>

Parameters

`fa`	1st computation
`fb`	2nd computation
`fc`	3rd computation
`fd`	4th computation
`fe`	5th computation
`ff`	6th computation
`fg`	7th computation
`fh`	8th computation
`fi`	9th computation
`fj`	10th computation
`f`	Deciding function

Return Value

A computation that decides which of the provided arguments should run.

Decidable

Declaration

Parameters

Return Value

Related functions

Declaration

Parameters

Return Value

Declaration

Parameters

Return Value

Declaration

Parameters

Return Value

Declaration

Parameters

Return Value

Declaration

Parameters

Return Value

Declaration

Parameters

Return Value

Declaration

Parameters

Return Value

Declaration

Parameters

Return Value