Type Alias CatPlusAltT<M, CTX, K, T>

A CatPlusT's sub-combinator which chains alternate branches with its method or.

type CatPlusAltT<M, CTX, K extends PropertyKey, T> = {
    end: () => CatPlusT<M, Record<K, T> & CTX>;
    or: (
        action: (cat: CatPlusT<M, CTX>) => Get1<M, T>,
    ) => CatPlusAltT<M, CTX, K, T>;
}

Type Parameters

M
HKT key applied to MonadPlus.
CTX
Passing context type.
K extends PropertyKey
Key literal type to store the result of branches.
T
Returning type of branches.

Index

Properties

Properties

`Readonly`end

end: () => CatPlusT<M, Record<K, T> & CTX>

Finishes branches chain and go back to the CatPlusT.

Type Declaration

- (): CatPlusT<M, Record<K, T> & CTX>
- Returns CatPlusT<M, Record<K, T> & CTX>
  A joined combinator CatPlusT.

`Readonly`or

or: (action: (cat: CatPlusT<M, CTX>) => Get1<M, T>) => CatPlusAltT<M, CTX, K, T>

Connects the computation in parallel.

Type Declaration

- (action: (cat: CatPlusT<M, CTX>) => Get1<M, T>): CatPlusAltT<M, CTX, K, T>
- Parameters
  - action: (cat: CatPlusT<M, CTX>) => Get1<M, T>
    Function to make a computation from CatPlusT.
  Returns CatPlusAltT<M, CTX, K, T>
  A new sub-combinator with the computation made from action.