apply | /src/deps.ts | lambdapi@v1.0.1

Deno TypeScript implementation of LambdaPi interpreter from "A Tutorial Implementation of a Dependently Typed Lambda Calculus" https://www.andres-loeh.de/LambdaPi/

keean/lambdapi

Latest

function apply

import { apply } from "https://deno.land/x/lambdapi@v1.0.1/src/deps.ts";

apply<A, B, C extends (_: B) => any>(fa: Parser<A, C>, xa: Parser<A, B>): Parser<A, C extends (_: B) => infer D ? D : never>

apply applies a higher-order parser to another parser.

Type Parameters

C extends (_: B) => any

Parameters

fa: Parser<A, C>

xa: Parser<A, B>

Returns

Parser<A, C extends (_: B) => infer D ? D : never>