Skip to main content
The Deno 2 Release Candidate is here
Learn more
Module

x/lambdapi/src/deps.ts>choice

Deno TypeScript implementation of LambdaPi interpreter from "A Tutorial Implementation of a Dependently Typed Lambda Calculus" https://www.andres-loeh.de/LambdaPi/
Latest
function choice
import { choice } from "https://deno.land/x/lambdapi@v1.0.1/src/deps.ts";

choice tries each parser in turn, returning the first success, or failing if none succeed.

Parameters

...ps: Array<Parser<A, B>>