convert

Documentation

Overview

The package convert provides the function Convert, which converts the lambda term into the pi term

Each function Convert, ConvertFromFiles and ConvertFromString needs a mode for an argument. Only CallByValue mode is implemented currently.

TODO(nekketsuuu): Avoid name collision

TODO(nekketsuuu): Implement CallByName mode

Index

• Constants
• func Convert(l Lambda, mode EvalMode) (Pi, error)
• func ConvertFromFile(filename string, mode EvalMode) (syntax.Pi, error)
• func ConvertFromString(str string, mode EvalMode) (syntax.Pi, error)
• type EvalMode
  • func ToMode(s string) (EvalMode, error)

Constants

const (
	CallByValue = iota
	CallByName
)

Functions

func Convert

func Convert(l Lambda, mode EvalMode) (Pi, error)

Convert a lambda term into a pi term.

func ConvertFromFile

func ConvertFromFile(filename string, mode EvalMode) (syntax.Pi, error)

func ConvertFromString

func ConvertFromString(str string, mode EvalMode) (syntax.Pi, error)

Types

type EvalMode

type EvalMode int

func ToMode

func ToMode(s string) (EvalMode, error)