Language.LambdaBase.Core

Documentation

data EVS

Evaluation scheme, Lazy or Strict

Constructors

Lazy

Strict

Instances

Eq EVS

Show EVS

data Arg

Lambda argument

Constructors

Arg !String !EVS

Instances

Eq Arg

Show Arg

data Fix

Infix Prefix LateInfix

The LateInfix is a trick used is the eval function.

Constructors

Infix

Prefix

LateInfix

Instances

Eq Fix

Show Fix

data NameType

A name is a 'to be' literal In a programme, foo can be a name ( if it is not a lambda argument ). "foo" is also a name but is delimited by double quotes.

Constructors

Naked

Delimited String String

Instances

Eq NameType

Show NameType

data Expr a

An expression of host language a.

Constructors

Lambda !Arg !(Expr a) !Fix

Expr ![Expr a] !Fix

Name !String !NameType !Fix

Lit !a !Fix

Instances

Show a => Show (Expr a)

Crappy show instance ;(

class Lit a where

The Lit class is for the language contained inside lambdaBase.

toLit sould take a Name and transform it to a literal of its language.

apply is for function application.

A programme

add 123 321

will be evaluated by transforming add to a literal.

Transforming 123 to a literal.

Partially apply add and 123 with the apply function.

Transforming 321 to a literal.

Apply the "add123" literal and the 321 literal.

And if the Lit instance is correct, the result should be a 444 literal.

See lambdaLit for an example of a Lit instance.

Methods

apply :: a -> a -> Expr a

fromExpr :: Expr a -> a

toLit :: Expr a -> Maybe a

getEVS :: a -> EVS