Data.Combinator

Documentation

data Expr e

Constructors

(Expr e) :$ (Expr e)

I

K

S

Var e

Instances

Monad Expr

Functor Expr

Foldable Expr

Traversable Expr

Eq e => Eq (Expr e)

Ord e => Ord (Expr e)

Show e => Show (Expr e)

Lift e0 => Lift (Expr e0)

length :: Expr e -> Int

The length function returns a length of an expression.

isPrim :: Expr e -> Bool

subst :: Eq e => e -> Expr e -> Expr e -> Expr e

bindee :: Eq e => e -> Expr e -> Expr e

The bindee function transforms an expression to a combinator which binds specified variable when it is applied.

apply :: Expr e -> Expr e -> Expr e

eval :: Expr e -> Expr e

unlambdaParser :: Parser (Expr String)

ccParser :: Parser (Expr String)

variable :: Parser [Char]

lambda :: Parser (Expr String)

stringLit :: Parser (Expr Void)

intLit :: Parser (Expr Void)

cc :: QuasiQuoter

showCC :: Expr String -> String

ccExpression :: Prism' String (Expr String)

churchNumeral :: Prism' (Expr a) Int

encodeInt :: Int -> Expr a

decodeInt :: Expr Void -> Maybe Int

_Combinator :: Prism' (Expr a) (Expr Void)