Skip to main content
Deno 2 is finally here 🎉️
Learn more
Module

x/lambdapi/src/deps.ts>RMap

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

RMap applies the map function to the result of running the parser argument.

This is where the constuction of any output data structures occurs, for example building an abstract syntax tree node from the results of a parser.

Parameters

map: (_: C) => B
parser: Parser<A, C>