From deee127a0e7d1803436033ff40d62f9bdf478c35 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Sat, 9 Jul 2022 23:18:16 +0200 Subject: Extend type-clauses with not. --- doc/ref/guile/util-type.texi | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'doc/ref/guile') diff --git a/doc/ref/guile/util-type.texi b/doc/ref/guile/util-type.texi index 104b00b3..d389287e 100644 --- a/doc/ref/guile/util-type.texi +++ b/doc/ref/guile/util-type.texi @@ -22,11 +22,12 @@ into the argument list in the first position: (proc args ...) ⇒ (proc x args ...) @end example -The two primitives @code{and} and @code{or} are also available, which -both take an arbitrary number of predicates, and calls them in order, -with Scheme's usual short-circuiting rules. -@footnote{@code{and} and @code{or} doesn't have to be primitives, but -we would otherwise have one hell of a namespace conflict} +The primitives @code{and}, @code{or}, and @code{not} are also +available, which each take the same number of predicates as schemes +primitives of the same name, and calls them in order, with Scheme's +usual short-circuiting rules. @footnote{These don't have to be +primitives, but we would otherwise have one hell of a namespace +conflict} @defmac list-of variable type-clause Checks if @var{variable} is a list, and that every element satisfies type-clause. -- cgit v1.2.3