The function Reference Manual

This is the function Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Fri May 15 12:19:38 2026 GMT+0.

Table of Contents


1 Introduction


2 Systems

The main system appears first, followed by any subsystem dependency.


2.1 function

Dependency

fold (system).

Source

function.asd.

Child Components

3 Files

Files are sorted by type and then listed depth-first from the systems components trees.


3.1 Lisp


3.1.1 function/function.asd

Source

function.asd.

Parent Component

function (system).

ASDF Systems

function.


3.1.2 function/function.lisp

Dependency

package.lisp (file).

Source

function.asd.

Parent Component

function (system).

Public Interface
Internals

3.1.3 function/package.lisp

Source

function.asd.

Parent Component

function (system).

Packages

function.


4 Packages

Packages are listed by definition order.


4.1 function

Source

package.lisp.

Use List
  • common-lisp.
  • fold.
Public Interface
Internals

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


5.1 Public Interface


5.1.1 Macros

Macro: deff (name val &optional docstring)

Define a function NAME with the value VAL. If DOCSTRING is provided, it will be used as the documentation for the function.

Package

function.

Source

function.lisp.


5.1.2 Ordinary functions

Function: binary->n-ary (binary-function base-case)

Convert a binary function into an n-ary function that can be used to reduce multiple arguments.

Package

function.

Source

function.lisp.

Function: binary->n-ary1 (binary-function)

Convert a binary function into an n-ary function that can be used to reduce multiple arguments. The first argument is the base case.

Package

function.

Source

function.lisp.

Function: compose (&rest args)
Package

function.

Source

function.lisp.

Function: curry-left (binary-function)

Curry a binary function to take the left argument first.

Package

function.

Source

function.lisp.

Function: curry-right (binary-function)

Curry a binary function to take the right argument first.

Package

function.

Source

function.lisp.

Function: partial-apply-left (binary-function left)

Partial-apply a binary function to the left argument, returning a unary function that takes the right argument.

Package

function.

Source

function.lisp.

Function: partial-apply-right (binary-function right)

Partial-apply a binary function to the right argument, returning a unary function that takes the left argument.

Package

function.

Source

function.lisp.

Function: swap-arguments (binary-function)

Swap the arguments of a binary function, returning a new function that takes the arguments in reverse order.

Package

function.

Source

function.lisp.


5.1.3 Generic functions

Generic Function: binary-compose-left (b f)

Compose a binary function with another function on the left side.

Package

function.

Source

function.lisp.

Methods
Method: binary-compose-left ((b function) (f function))
Method: binary-compose-left ((b function) (f (eql #<function identity>)))
Method: binary-compose-left ((b function) (f (eql identity)))
Generic Function: binary-compose-right (b f)

Compose a binary function with another function on the right side.

Package

function.

Source

function.lisp.

Methods
Method: binary-compose-right ((b function) (f function))
Method: binary-compose-right ((b function) (f (eql #<function identity>)))
Method: binary-compose-right ((b function) (f (eql identity)))
Generic Function: compose2 (outer inner)

Compose two functions, where the result of the inner function is passed to the outer function.

Package

function.

Source

function.lisp.

Methods
Method: compose2 ((outer function) (inner function))
Method: compose2 ((outer (eql #<function identity>)) (inner function))
Method: compose2 ((outer (eql identity)) (inner function))
Method: compose2 ((outer function) (inner (eql #<function identity>)))
Method: compose2 ((outer function) (inner (eql identity)))
Generic Function: inverse (function)

Return the inverse of FUNCTION.

Package

function.

Source

function.lisp.

Methods
Method: inverse ((function (eql #<function 1->)))
Method: inverse ((function (eql 1-)))
Method: inverse ((function (eql #<function 1+>)))
Method: inverse ((function (eql 1+)))
Method: inverse ((function (eql #<function acos>)))
Method: inverse ((function (eql acos)))
Method: inverse ((function (eql #<function acosh>)))
Method: inverse ((function (eql acosh)))
Method: inverse ((function (eql #<function asin>)))
Method: inverse ((function (eql asin)))
Method: inverse ((function (eql #<function asinh>)))
Method: inverse ((function (eql asinh)))
Method: inverse ((function (eql #<function atan>)))
Method: inverse ((function (eql atan)))
Method: inverse ((function (eql #<function atanh>)))
Method: inverse ((function (eql atanh)))
Method: inverse ((function (eql #<function conjugate>)))
Method: inverse ((function (eql conjugate)))
Method: inverse ((function (eql #<function cos>)))
Method: inverse ((function (eql cos)))
Method: inverse ((function (eql #<function cosh>)))
Method: inverse ((function (eql cosh)))
Method: inverse ((function (eql #<function exp>)))
Method: inverse ((function (eql exp)))
Method: inverse ((function (eql #<function log>)))
Method: inverse ((function (eql log)))
Method: inverse ((function (eql #<function identity>)))
Method: inverse ((function (eql identity)))
Method: inverse ((function (eql #<function sin>)))
Method: inverse ((function (eql sin)))
Method: inverse ((function (eql #<function sinh>)))
Method: inverse ((function (eql sinh)))
Method: inverse ((function (eql #<function tan>)))
Method: inverse ((function (eql tan)))
Method: inverse ((function (eql #<function tanh>)))
Method: inverse ((function (eql tanh)))

5.2 Internals


5.2.1 Ordinary functions

Function: binary->folder (binary-function base-case)

Convert a binary function into a folder function that can be used to reduce a list of arguments.

Package

function.

Source

function.lisp.

Function: binary->folder-1 (binary-function)

Convert a binary function into a folder function that can be used to reduce a list of arguments. The first argument is the base case.

Package

function.

Source

function.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   B   C   D   F   G   I   M   P   S  
Index Entry  Section

B
binary->folder: Private ordinary functions
binary->folder-1: Private ordinary functions
binary->n-ary: Public ordinary functions
binary->n-ary1: Public ordinary functions
binary-compose-left: Public generic functions
binary-compose-left: Public generic functions
binary-compose-left: Public generic functions
binary-compose-left: Public generic functions
binary-compose-right: Public generic functions
binary-compose-right: Public generic functions
binary-compose-right: Public generic functions
binary-compose-right: Public generic functions

C
compose: Public ordinary functions
compose2: Public generic functions
compose2: Public generic functions
compose2: Public generic functions
compose2: Public generic functions
compose2: Public generic functions
compose2: Public generic functions
curry-left: Public ordinary functions
curry-right: Public ordinary functions

D
deff: Public macros

F
Function, binary->folder: Private ordinary functions
Function, binary->folder-1: Private ordinary functions
Function, binary->n-ary: Public ordinary functions
Function, binary->n-ary1: Public ordinary functions
Function, compose: Public ordinary functions
Function, curry-left: Public ordinary functions
Function, curry-right: Public ordinary functions
Function, partial-apply-left: Public ordinary functions
Function, partial-apply-right: Public ordinary functions
Function, swap-arguments: Public ordinary functions

G
Generic Function, binary-compose-left: Public generic functions
Generic Function, binary-compose-right: Public generic functions
Generic Function, compose2: Public generic functions
Generic Function, inverse: Public generic functions

I
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions
inverse: Public generic functions

M
Macro, deff: Public macros
Method, binary-compose-left: Public generic functions
Method, binary-compose-left: Public generic functions
Method, binary-compose-left: Public generic functions
Method, binary-compose-right: Public generic functions
Method, binary-compose-right: Public generic functions
Method, binary-compose-right: Public generic functions
Method, compose2: Public generic functions
Method, compose2: Public generic functions
Method, compose2: Public generic functions
Method, compose2: Public generic functions
Method, compose2: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions
Method, inverse: Public generic functions

P
partial-apply-left: Public ordinary functions
partial-apply-right: Public ordinary functions

S
swap-arguments: Public ordinary functions


A.3 Variables