code-conjure-0.4.2: conjure Haskell functions out of partial definitions

Copyright	(c) 2021 Rudy Matela
License	3-Clause BSD (see the file LICENSE)
Maintainer	Rudy Matela <rudy@matela.com.br>
Safe Haskell	None
Language	Haskell2010

Conjure.Defn

Description

This module is part of Conjure.

This module exports the Defn type synonym and utilities involving it.

You are probably better off importing Conjure.

Synopsis

type Defn = [Bndn]
type Bndn = (Expr, Expr)
toDynamicWithDefn :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Dynamic
devaluate :: Typeable a => (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe a
deval :: Typeable a => (Expr -> Expr) -> Int -> Defn -> a -> Expr -> a
devl :: Typeable a => (Expr -> Expr) -> Int -> Defn -> Expr -> a
devalFast :: Typeable a => (Expr -> Expr) -> Int -> Defn -> a -> Expr -> a
showDefn :: Defn -> String
defnApparentlyTerminates :: Defn -> Bool
module Conjure.Expr

Documentation

type Defn = [Bndn] Source #

type Bndn = (Expr, Expr) Source #

toDynamicWithDefn :: (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe Dynamic Source #

Evaluates an Expr using the given Defn as definition when a recursive call is found.

devaluate :: Typeable a => (Expr -> Expr) -> Int -> Defn -> Expr -> Maybe a Source #

deval :: Typeable a => (Expr -> Expr) -> Int -> Defn -> a -> Expr -> a Source #

devl :: Typeable a => (Expr -> Expr) -> Int -> Defn -> Expr -> a Source #

devalFast :: Typeable a => (Expr -> Expr) -> Int -> Defn -> a -> Expr -> a Source #

showDefn :: Defn -> String Source #

defnApparentlyTerminates :: Defn -> Bool Source #

module Conjure.Expr