Interface TaskOutcome<T>

Base interface for all functype data structures. This provides a standard contract with core functional programming traits.

Example

// Implementing FunctypeBase for a custom data structure
class MyContainer<T> implements FunctypeBase<T, "Empty" | "Full"> {
  // Implementation of all required methods...
}

interface TaskOutcome<T> {
 _meta: TaskMetadata;
 _tag: "Ok" | "Err";
 ap: (ff: TaskOutcome<(value: T) => U>) => TaskOutcome;
 error?: Throwable;
 flatMap: (
 f: (value: T) => TaskOutcome | Either<Throwable, U>,
 ) => TaskOutcome;
 flatMapAsync: (
 f: (value: T) => Promise<TaskOutcome>,
 ) => Promise<TaskOutcome>;
 fold: (onErr: (error: Throwable) => U, onOk: (value: T) => U) => U;
 isErr: () => this is Err<T>;
 isFailure: () => this is Err<T>;
 isOk: () => this is Ok<T>;
 isSuccess: () => this is Ok<T>;
 map: (f: (value: T) => U) => TaskOutcome;
 mapAsync: (f: (value: T) => Promise) => Promise<TaskOutcome>;
 mapError: (f: (error: Throwable) => Throwable) => TaskOutcome<T>;
 match: (
 patterns: { Err: (error: Throwable) => U; Ok: (value: T) => U },
 ) => U;
 recover: (value: T) => Ok<T>;
 recoverWith: (f: (error: Throwable) => T) => Ok<T>;
 toEither: () => Either<Throwable, T>;
 toList: () => List<T>;
 toOption: () => Option<T>;
 toTry: () => Try<T>;
 value?: T;
 get isEmpty(): boolean;
 get size(): number;
 contains(value: T): boolean;
 count(p: (x: T) => boolean): number;
 doUnwrap(): DoResult<T>;
 exists(p: (a: T) => boolean): boolean;
 find(p: (a: T) => boolean): Option<T>;
 foldLeft(z: B): (op: (b: B, a: T) => B) => B;
 foldRight(z: B): (op: (a: T, b: B) => B) => B;
 forEach(f: (a: T) => void): void;
 getOrElse(defaultValue: T): T;
 getOrThrow(error?: Error): T;
 orElse(alternative: Extractable<T>): Extractable<T>;
 orNull(): T | null;
 orUndefined(): T | undefined;
 reduce(f: (b: T, a: T) => T): T;
 reduceRight(f: (b: T, a: T) => T): T;
 serialize(): SerializationMethods<T>;
 toPromise(): Promise<T>;
}

Type Parameters

T
The type of value contained in the functor

Hierarchy (View Summary)

FunctypeBase<T, "Ok" | "Err">
Extractable<T>
AsyncMonad<T>
Promisable<T>
Doable<T>
- TaskOutcome
 - Ok
 - Err

Index

Properties

`Readonly`_meta

_meta: TaskMetadata

`Readonly`_tag

_tag: "Ok" | "Err"

`Readonly`ap

ap: (ff: TaskOutcome<(value: T) => U>) => TaskOutcome

`Optional` `Readonly`error

error?: Throwable

`Readonly`flatMap

flatMap: (
f: (value: T) => TaskOutcome | Either<Throwable, U>,
) => TaskOutcome

`Readonly`flatMapAsync

flatMapAsync: (
f: (value: T) => Promise<TaskOutcome>,
) => Promise<TaskOutcome>

`Readonly`fold

fold: (onErr: (error: Throwable) => U, onOk: (value: T) => U) => U

Pattern matches over the structure, applying specific handlers for each variant

Type Declaration

- (onErr: (error: Throwable) => U, onOk: (value: T) => U): U
- Type Parameters
 - U
 Parameters
 - onErr: (error: Throwable) => U
 - onOk: (value: T) => U
 Returns U
 The result of applying the appropriate function

`Readonly`isErr

isErr: () => this is Err<T>

`Readonly`isFailure

isFailure: () => this is Err<T>

`Readonly`isOk

isOk: () => this is Ok<T>

`Readonly`isSuccess

isSuccess: () => this is Ok<T>

`Readonly`map

map: (f: (value: T) => U) => TaskOutcome

`Readonly`mapAsync

mapAsync: (f: (value: T) => Promise) => Promise<TaskOutcome>

`Readonly`mapError

mapError: (f: (error: Throwable) => Throwable) => TaskOutcome<T>

`Readonly`match

match: (patterns: { Err: (error: Throwable) => U; Ok: (value: T) => U }) => U

`Readonly`recover

recover: (value: T) => Ok<T>

`Readonly`recoverWith

recoverWith: (f: (error: Throwable) => T) => Ok<T>

`Readonly`toEither

toEither: () => Either<Throwable, T>

`Readonly`toList

toList: () => List<T>

`Readonly`toOption

toOption: () => Option<T>

`Readonly`toTry

toTry: () => Try<T>

`Optional` `Readonly`value

value?: T

Accessors

isEmpty

get isEmpty(): boolean
Returns boolean
Inherited from Traversable.isEmpty

size

get size(): number
Returns number
Inherited from Traversable.size

Methods

contains

contains(value: T): boolean
Parameters
- value: T
Returns boolean
Inherited from FunctypeBase.contains

count

count(p: (x: T) => boolean): number
Counts elements that satisfy the predicate. For single-value containers: returns 0 or 1 For collections: returns the count of matching elements
Parameters
- p: (x: T) => boolean
Returns number
Inherited from FunctypeBase.count

doUnwrap

doUnwrap(): DoResult<T>
Returns DoResult<T>
Inherited from Doable.doUnwrap

exists

exists(p: (a: T) => boolean): boolean
Tests whether any element satisfies the predicate. For single-value containers: tests the single value For collections: returns true if any element matches
Parameters
- p: (a: T) => boolean
Returns boolean
Inherited from FunctypeBase.exists

find

find(p: (a: T) => boolean): Option<T>
Finds the first element that satisfies the predicate. For single-value containers: returns Some(value) if predicate matches, None otherwise For collections: returns the first matching element wrapped in Option
Parameters
- p: (a: T) => boolean
Returns Option<T>
Inherited from FunctypeBase.find

foldLeft

foldLeft(z: B): (op: (b: B, a: T) => B) => B
Left-associative fold using the provided zero value and operation
Type Parameters
- B
Parameters
- z: B
 Zero/identity value
Returns (op: (b: B, a: T) => B) => B
A function that takes an operation to apply

Inherited from FunctypeBase.foldLeft

foldRight

foldRight(z: B): (op: (a: T, b: B) => B) => B
Right-associative fold using the provided zero value and operation
Type Parameters
- B
Parameters
- z: B
 Zero/identity value
Returns (op: (a: T, b: B) => B) => B
A function that takes an operation to apply

Inherited from FunctypeBase.foldRight

forEach

forEach(f: (a: T) => void): void
Applies an effect function to each element. For single-value containers: applies to the value if present For collections: applies to each element
Parameters
- f: (a: T) => void
Returns void
Inherited from FunctypeBase.forEach

getOrElse

getOrElse(defaultValue: T): T
Returns the contained value or a default value
Parameters
- defaultValue: T
  The value to return if extraction fails
Returns T
The contained value or defaultValue

Inherited from Extractable.getOrElse

getOrThrow

getOrThrow(error?: Error): T
Extract the value or throw an error
Parameters
- Optionalerror: Error
  Optional custom error to throw. If not provided, uses type-appropriate default error
Returns T
The contained value

Throws
The specified error, container's error, or a sensible default

Inherited from Extractable.getOrThrow

orElse

orElse(alternative: Extractable<T>): Extractable<T>
Returns this container if it has a value, otherwise returns the alternative
Parameters
- alternative: Extractable<T>
 The alternative container
Returns Extractable<T>
This container or the alternative

Inherited from Extractable.orElse

orNull

orNull(): T | null
Returns the contained value or null

Returns T | null
The contained value or null

Inherited from Extractable.orNull

orUndefined

orUndefined(): T | undefined
Returns the contained value or undefined

Returns T | undefined
The contained value or undefined

Inherited from Extractable.orUndefined

reduce

reduce(f: (b: T, a: T) => T): T
Parameters
- f: (b: T, a: T) => T
Returns T
Inherited from FunctypeBase.reduce

reduceRight

reduceRight(f: (b: T, a: T) => T): T
Parameters
- f: (b: T, a: T) => T
Returns T
Inherited from FunctypeBase.reduceRight

serialize

serialize(): SerializationMethods<T>
Returns SerializationMethods<T>
Inherited from FunctypeBase.serialize

toPromise

toPromise(): Promise<T>
Converts this container to a Promise

The behavior depends on the implementing container:
- Success/Right/Some containers resolve with their value
- Failure/Left/None containers reject with their error/default error
Returns Promise<T>
A Promise that resolves or rejects based on the container's state

Inherited from Promisable.toPromise

Interface TaskOutcome<T>

Example

Type Parameters

Hierarchy (View Summary)

Index

Properties

Accessors

Methods

Properties

Readonly_meta

Readonly_tag

Readonlyap

Optional Readonlyerror

ReadonlyflatMap

ReadonlyflatMapAsync

Readonlyfold

Type Declaration

Type Parameters

Parameters

Returns U

ReadonlyisErr

ReadonlyisFailure

ReadonlyisOk

ReadonlyisSuccess

Readonlymap

ReadonlymapAsync

ReadonlymapError

Readonlymatch

Readonlyrecover

ReadonlyrecoverWith

ReadonlytoEither

ReadonlytoList

ReadonlytoOption

ReadonlytoTry

Optional Readonlyvalue

Accessors

isEmpty

Returns boolean

size

Returns number

Methods

contains

Parameters

Returns boolean

count

Parameters

Returns number

doUnwrap

Returns DoResult<T>

exists

Parameters

Returns boolean

find

Parameters

Returns Option<T>

foldLeft

Type Parameters

Parameters

Returns (op: (b: B, a: T) => B) => B

foldRight

Type Parameters

Parameters

Returns (op: (a: T, b: B) => B) => B

forEach

Parameters

Returns void

getOrElse

Parameters

Returns T

getOrThrow

Parameters

Returns T

Throws

orElse

Parameters

Returns Extractable<T>

orNull

Returns T | null

orUndefined

Returns T | undefined

`Readonly`_meta

`Readonly`_tag

`Readonly`ap

`Optional` `Readonly`error

`Readonly`flatMap

`Readonly`flatMapAsync

`Readonly`fold

`Readonly`isErr

`Readonly`isFailure

`Readonly`isOk

`Readonly`isSuccess

`Readonly`map

`Readonly`mapAsync

`Readonly`mapError

`Readonly`match

`Readonly`recover

`Readonly`recoverWith

`Readonly`toEither

`Readonly`toList

`Readonly`toOption

`Readonly`toTry

`Optional` `Readonly`value