Skip to main content
Module

x/fun/mod.ts>failable.Failable

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
baetheus/fun
Go to Latest
interface failable.Failable
implements Flatmappable<U>, Hold<U>
import { type failable } from "https://deno.land/x/fun@v2.0.0-alpha.12/mod.ts";
const { Failable } = failable;

A Failable structure is a Flatmappable that allows for alternative instances, failures, and recovery.

Type Parameters

U extends Kind

Properties

readonly
alt: <A, B = never, C = never, D = unknown, E = unknown>(second: $<U, [A, B, C], [D], [E]>) => (first: $<U, [A, B, C], [D], [E]>) => $<U, [A, B, C], [D], [E]>
readonly
fail: <A = never, B = never, C = never, D = unknown, E = unknown>(value: B) => $<U, [A, B, C], [D], [E]>
readonly
recover: <B, I, J = never, K = never, L = unknown, M = unknown>(fbti: (b: B) => $<U, [I, J, K], [L], [M]>) => <A = never, C = never, D = unknown, E = unknown>(ua: $<U, [A, B, C], [D], [E]>) => $<U, [A | I, J, C | K], [D & L], [E & M]>