The cl-coroutine Reference Manual

Next: , Previous: , Up: (dir)   [Contents][Index]

The cl-coroutine Reference Manual

This is the cl-coroutine Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Thu Sep 15 03:40:06 2022 GMT+0.

Table of Contents


1 Introduction

Cl-Coroutine

CL-COROUTINE is a coroutine library for Common Lisp. It uses CL-CONT continuations library in its implementation.

Example

Coroutines can be defined using defcoroutine macro.

To use defined coroutines, first create a coroutine object with calling make-coroutine function, then just funcall to process it.

yield macro control back to the context which called the coroutine and the coroutine will resume processing at this point when it will be called again.

;; define a coroutine using DEFCOROUTINE macro
(defcoroutine example (whom)
  (format t "First greeting to: ~A~%" whom)
  (yield 1)
  (format t "Second greeting to: ~A~%" whom)
  (yield 2)
  (format t "Third greeting to: ~A~%" whom)
  (coexit 3)
  (format t "No greeting to: ~A~%" whom)
  (yield 4))
=> EXAMPLE

;; make a coroutine object
(setf coroutine (make-coroutine 'example))
=> a coroutine object

;; funcall it
(funcall coroutine "Smith")
>> First greeting to: Smith
=> 1

;; funcall again
(funcall coroutine "Johnson")
>> Second greeting to: Johnson
=> 2

;; funcall again and coexit
(funcall coroutine "Williams")
>> Third greeting to: Williams
=> 3

;; funcall after coexit just returns no value
(funcall coroutine "Brown")
=> No value

;; you can also use WITH-COROUTINE macro to set up coroutines,
;; which provides calling coroutines without explicit FUNCALL
(with-coroutine (example)
  (example "Smith")
  (example "Johnson"))
>> First greeting to: Smith
>> Second greeting to: Johnson
=> 2

Installation

You can install cl-coroutine via Quicklisp:

(ql:quickload :cl-coroutine)

Restrictions

CL-COROUTINE has some restrictions because of its dependency on CL-CONT library.

API

[Macro] defcoroutine

DEFCOROUTINE coroutine-name arg &body body => coroutine-name

Defines a new coroutine named coroutine-name that has atmost one argument as arg. The definition of coroutine is stored in the property list of coroutine-name symbol. Defined coroutines will be created using make-coroutine function.

[Macro] yield

YIELD [result] => |

Yields control back to the context which called the coroutine, passing along any multiple values that were passed to it. The coroutine will resume processing at this point when it will be called again. Any arguments passed to the next calling will be set to the coroutine's corresponding parameters implicitly.

[Macro] coexit

COEXIT [result] => |

Returns control to the context which called the coroutine, passing along any multiple values that were passed to it. The difference from yield macro is that the coroutine will never resume processing at this point anymore. If the coroutine will be called again, it will just return no value.

[Function] make-coroutine

MAKE-COROUTINE coroutine-name => coroutine

Creates and returns a coroutine corresponding to coroutine-name. The returned coroutine can be called with funcall or apply functions.

[Macro] with-coroutine

WITH-COROUTINE (coroutine-name) &body body => results

with-coroutine uses make-coroutine to create a coroutine with name coroutine-name and defines a local macro with name coroutine-name binding it with the coroutine. with-coroutine evaluates the body as an implicit progn with the macro.

Author

Copyright

Copyright (c) 2014 Masayuki Takagi (kamonama@gmail.com)

License

Licensed under the LLGPL License.


2 Systems

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


Previous: , Up: Systems   [Contents][Index]

2.1 cl-coroutine

Author

Masayuki Takagi

License

LLGPL

Long Description

# Cl-Coroutine

CL-COROUTINE is a coroutine library for Common Lisp. It uses CL-CONT continuations library in its implementation.

## Example

Coroutines can be defined using ‘defcoroutine‘ macro.

To use defined coroutines, first create a coroutine object with calling ‘make-coroutine‘ function, then just ‘funcall‘ to process it.

‘yield‘ macro control back to the context which called the coroutine and the coroutine will resume processing at this point when it will be called again.

;; define a coroutine using DEFCOROUTINE macro
(defcoroutine example (whom)
(format t "First greeting to: ~A~%" whom)
(yield 1)
(format t "Second greeting to: ~A~%" whom)
(yield 2)
(format t "Third greeting to: ~A~%" whom)
(coexit 3)
(format t "No greeting to: ~A~%" whom)
(yield 4))
=> EXAMPLE

;; make a coroutine object
(setf coroutine (make-coroutine ’example))
=> a coroutine object

;; funcall it
(funcall coroutine "Smith")
>> First greeting to: Smith
=> 1

;; funcall again
(funcall coroutine "Johnson")
>> Second greeting to: Johnson
=> 2

;; funcall again and coexit
(funcall coroutine "Williams")
>> Third greeting to: Williams
=> 3

;; funcall after coexit just returns no value
(funcall coroutine "Brown")
=> No value

;; you can also use WITH-COROUTINE macro to set up coroutines,
;; which provides calling coroutines without explicit FUNCALL
(with-coroutine (example)
(example "Smith")
(example "Johnson"))
>> First greeting to: Smith
>> Second greeting to: Johnson
=> 2

## Installation

You can install ‘cl-coroutine‘ via Quicklisp:

(ql:quickload :cl-coroutine)

## Restrictions

CL-COROUTINE has some restrictions because of its dependency on CL-CONT library.
* special forms that CL-CONT library does not support with CALL/CC
* coroutines with very long definition might need much time to compile

## API

### [Macro] defcoroutine

DEFCOROUTINE coroutine-name arg &body body => coroutine-name

Defines a new coroutine named ‘coroutine-name‘ that has atmost one argument as ‘arg‘. The definition of coroutine is stored in the property list of ‘coroutine-name‘ symbol. Defined coroutines will be created using ‘make-coroutine‘ function.

### [Macro] yield

YIELD [result] => |

Yields control back to the context which called the coroutine, passing along any multiple values that were passed to it. The coroutine will resume processing at this point when it will be called again. Any arguments passed to the next calling will be set to the coroutine’s corresponding parameters implicitly.

### [Macro] coexit

COEXIT [result] => |

Returns control to the context which called the coroutine, passing along any multiple values that were passed to it. The difference from ‘yield‘ macro is that the coroutine will never resume processing at this point anymore. If the coroutine will be called again, it will just return no value.

### [Function] make-coroutine

MAKE-COROUTINE coroutine-name => coroutine

Creates and returns a coroutine corresponding to ‘coroutine-name‘. The returned coroutine can be called with ‘funcall‘ or ‘apply‘ functions.

### [Macro] with-coroutine

WITH-COROUTINE (coroutine-name) &body body => results

‘with-coroutine‘ uses ‘make-coroutine‘ to create a coroutine with name ‘coroutine-name‘ and defines a local macro with name ‘coroutine-name‘ binding it with the coroutine. ‘with-coroutine‘ evaluates the body as an implicit progn with the macro.

## Author

* Masayuki Takagi (kamonama@gmail.com)

## Copyright

Copyright (c) 2014 Masayuki Takagi (kamonama@gmail.com)

## License

Licensed under the LLGPL License.

Version

0.1

Dependencies
  • cl-cont (system).
  • alexandria (system).
Source

cl-coroutine.asd.

Child Component

src (module).


3 Modules

Modules are listed depth-first from the system components tree.


Previous: , Up: Modules   [Contents][Index]

3.1 cl-coroutine/src

Source

cl-coroutine.asd.

Parent Component

cl-coroutine (system).

Child Component

cl-coroutine.lisp (file).


4 Files

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


Previous: , Up: Files   [Contents][Index]

4.1 Lisp


4.1.1 cl-coroutine/cl-coroutine.asd

Source

cl-coroutine.asd.

Parent Component

cl-coroutine (system).

ASDF Systems

cl-coroutine.

Packages

cl-coroutine-asd.


4.1.2 cl-coroutine/src/cl-coroutine.lisp

Source

cl-coroutine.asd.

Parent Component

src (module).

Packages

cl-coroutine.

Public Interface
Internals

5 Packages

Packages are listed by definition order.


Next: , Previous: , Up: Packages   [Contents][Index]

5.1 cl-coroutine-asd

Source

cl-coroutine.asd.

Use List
  • asdf/interface.
  • common-lisp.

Previous: , Up: Packages   [Contents][Index]

5.2 cl-coroutine

Source

cl-coroutine.lisp.

Use List
  • cl-cont.
  • common-lisp.
Public Interface
Internals

6 Definitions

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


Next: , Previous: , Up: Definitions   [Contents][Index]

6.1 Public Interface


6.1.1 Macros

Macro: defcoroutine (name (&optional arg) &body body)
Package

cl-coroutine.

Source

cl-coroutine.lisp.

Macro: with-coroutine ((name) &body body)
Package

cl-coroutine.

Source

cl-coroutine.lisp.


Previous: , Up: Public Interface   [Contents][Index]

6.1.2 Ordinary functions

Function: make-coroutine (name)
Package

cl-coroutine.

Source

cl-coroutine.lisp.


6.2 Internals


Previous: , Up: Internals   [Contents][Index]

6.2.1 Ordinary functions

Function: defcoroutine/arg (name arg body)
Package

cl-coroutine.

Source

cl-coroutine.lisp.

Function: defcoroutine/no-arg (name body)
Package

cl-coroutine.

Source

cl-coroutine.lisp.


Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts


Next: , Previous: , Up: Indexes   [Contents][Index]

A.3 Variables