effect-io-ai

Package: effect
Module: Cause

Cause.isDieReason

Narrows a Reason to Die.

When to use

Use as a predicate for Array.filter to pick out Die (defect) reasons when iterating over cause.reasons.

Example (Filtering die reasons)

import { Cause } from "effect"

const cause = Cause.die("defect")
const dies = cause.reasons.filter(Cause.isDieReason)
console.log(dies[0].defect) // "defect"

See

Signature

declare const isDieReason: <E>(self: Reason<E>) => self is Die

Source

Since v4.0.0