| License | Apache License 2.0 |
|---|---|
| Stability | experimental |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Lambda.Combinators
Description
Contains some typical lambda combinators.
Synopsis
- truthAccessor :: Integral a => Expr a
- falseAccessor :: Integral a => Expr a
- yCombinator :: Integral a => Expr a
Documentation
truthAccessor :: Integral a => Expr a #
Lambda that returns the second argument.
Lambda that returns the first argument.
falseAccessor :: Integral a => Expr a #
Lambda that passes the function itself to a function, enabling for recursin.
Lambda that returns the first argument.
yCombinator :: Integral a => Expr a #
Lambda that returns the first argument.