HelVM.HelMA.Automata.LazyK.Lambda
app4 :: Lambda -> Lambda -> Lambda -> Lambda -> Lambda #
app3 :: Lambda -> Lambda -> Lambda -> Lambda #
foldlLambda :: NonEmpty Lambda -> Lambda #
data Lambda #
Constructors
Defined in HelVM.HelMA.Automata.LazyK.Lambda
Methods
(==) :: Lambda -> Lambda -> Bool #
(/=) :: Lambda -> Lambda -> Bool #
readsPrec :: Int -> ReadS Lambda #
readList :: ReadS [Lambda] #
readPrec :: ReadPrec Lambda #
readListPrec :: ReadPrec [Lambda] #
showsPrec :: Int -> Lambda -> ShowS #
show :: Lambda -> String #
showList :: [Lambda] -> ShowS #