Safe Haskell | None |
---|
- data Expr e
- length :: Expr e -> Int
- isPrim :: Expr e -> Bool
- subst :: Eq e => e -> Expr e -> Expr e -> Expr e
- bindee :: Eq e => e -> Expr e -> Expr e
- 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)