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

The Deno 2 Release Candidate is here

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 parse

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

parse<A, B, P extends Parser<A, B>>(parser: P extends Try<A, B> ? Parser<A, B> : never): Parse<A, B>

parse<A, B, P extends Parser<A, B>>(parser: P extends Fail<A, B> ? Parser<A, B> : never): Parse<A, B>

parse<A, B, P extends Parser<A, B>>(parser: P extends Empty<A, B> ? Parser<A, B> : never): Parse<A, null>

parse<A, B, P extends Parser<A, B>>(parser: P extends Return<A, B> ? Parser<A, B> : never): Parse<A, B>

parse<A, B, P extends Parser<A, B>>(parser: P extends OneOf<A, B> ? Parser<A, B> : never): Parse<A, string>

parse<A, B, P extends Parser<A, B>>(parser: P extends Forget<A, B> ? Parser<A, B> : never): Parse<A, B>

parse<A, B, P extends Parser<A, B>>(parser: P extends RMap<A, B> ? Parser<A, B> : never): Parse<A, B>

parse<A, B, P extends Parser<A, B>>(parser: P extends Cartesian<A, B> ? Parser<A, B> : never): Parse<[Fst<A>, Snd<A>], [Fst, Snd]>

parse<A, B, P extends Parser<A, B>>(parser: P extends Compose<A, B> ? Parser<A, B> : never): Parse<A, B>

parse<A, B, P extends Parser<A, B>>(parser: P extends Either<A, B> ? Parser<A, B> : never): Parse<A, B>

parse<A, B, P extends Parser<A, B>>(parser: P extends Fix<A, B> ? Parser<A, B> : never): Parse<A, B>

parse<A, B, P extends Parser<A, B>>(parser: P extends Raw<A, B> ? Parser<A, B> : never): Parse<A, B>

parse<A, B, P extends Parser<A, B>>(parser: P extends LMap<A, B> ? Parser<A, B> : never): Parse<A, B>

parse<A, B, P extends Parser<A, B>>(parser: P extends First<A, B> ? Parser<A, B> : never): Parse<[Fst<A>, Snd<A>], [Fst, Snd]>

parse<A, B, P extends Parser<A, B>>(parser: P extends Second<A, B> ? Parser<A, B> : never): Parse<[Fst<A>, Snd<A>], [Fst, Snd]>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Try<A, B> ? Parser<A, B> : never

Returns

Parse<A, B>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Fail<A, B> ? Parser<A, B> : never

Returns

Parse<A, B>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Empty<A, B> ? Parser<A, B> : never

Returns

Parse<A, null>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Return<A, B> ? Parser<A, B> : never

Returns

Parse<A, B>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends OneOf<A, B> ? Parser<A, B> : never

Returns

Parse<A, string>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Forget<A, B> ? Parser<A, B> : never

Returns

Parse<A, B>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends RMap<A, B> ? Parser<A, B> : never

Returns

Parse<A, B>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Cartesian<A, B> ? Parser<A, B> : never

Returns

Parse<[Fst<A>, Snd<A>], [Fst, Snd]>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Compose<A, B> ? Parser<A, B> : never

Returns

Parse<A, B>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Either<A, B> ? Parser<A, B> : never

Returns

Parse<A, B>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Fix<A, B> ? Parser<A, B> : never

Returns

Parse<A, B>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Raw<A, B> ? Parser<A, B> : never

Returns

Parse<A, B>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends LMap<A, B> ? Parser<A, B> : never

Returns

Parse<A, B>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends First<A, B> ? Parser<A, B> : never

Returns

Parse<[Fst<A>, Snd<A>], [Fst, Snd]>

Type Parameters

P extends Parser<A, B>

Parameters

parser: P extends Second<A, B> ? Parser<A, B> : never

Returns

Parse<[Fst<A>, Snd<A>], [Fst, Snd]>