helma-0.8.4.13: HELMA - Haskellish Esoteric Limited Minimal Automaton
Safe HaskellNone
LanguageHaskell2010

HelVM.HelMA.Automata.LazyK.Lambda

Documentation

data Lambda #

Constructors

S 
K 
I 
App Lambda Lambda 
Succ 
Number !Natural 
Var Text 

Instances

Instances details
Eq Lambda # 
Instance details

Defined in HelVM.HelMA.Automata.LazyK.Lambda

Methods

(==) :: Lambda -> Lambda -> Bool #

(/=) :: Lambda -> Lambda -> Bool #

Read Lambda # 
Instance details

Defined in HelVM.HelMA.Automata.LazyK.Lambda

Show Lambda # 
Instance details

Defined in HelVM.HelMA.Automata.LazyK.Lambda