Implementations of various lambda calculus based systems. Source code Contents Index

Typed Stability experimental Maintainer thanos@sians.org

Description

Exporter module for the typed system.

Synopsis

interpret :: Computer -> String -> String -> String biginterpret :: Computer -> String -> String -> String quietinterpret :: Computer -> String -> String -> String compute :: Computer safecompute :: Computer

Documentation

interpret :: Computer -> String -> String -> String Source

Given a Computer, a context source and a program source, return the detailed computations.

biginterpret :: Computer -> String -> String -> String Source

Given a Computer, a context source and a program source, return the big-step computations.

quietinterpret :: Computer -> String -> String -> String Source

Given a Computer, a context source and a program source, return only the results.

compute :: Computer Source

Step-by-step evaluation. It may easily loop infinitely.

safecompute :: Computer Source

Step-by-step safe evaluation, avoiding easy-to-catch loops.

Produced by Haddock version 2.4.2