# Success

Describes the success type.

## Signatures

```ts
export type Success<T> = T extends RefSubject<infer A, infer _E, infer _R> ? A : T extends Computed<infer A, infer _E, infer _R> ? A : T extends Filtered<infer A, infer _E, infer _R> ? A : never;
```

## Why

Extracts the current/read value type from a RefSubject, Computed, or Filtered value.

## Ownership and lifetime

Success is a contract and performs no acquisition. Implementations retain the errors, services,
interruption, and Scope requirements expressed by its members.