diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-20 04:55:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-20 04:55:09 +0000 |
| commit | 1316b335ecc97eeaaa4c91258b31c789d8f4b0d3 (patch) | |
| tree | ed428505010ccaac4e4d2bfeb4f667b8039c50f1 /src/algebra/ituple.spad.pamphlet | |
| parent | 4c3e77d5efc19d097c7995f7d5f64eee0400ff66 (diff) | |
| download | open-axiom-1316b335ecc97eeaaa4c91258b31c789d8f4b0d3.tar.gz | |
Use Functorial more often.
Diffstat (limited to 'src/algebra/ituple.spad.pamphlet')
| -rw-r--r-- | src/algebra/ituple.spad.pamphlet | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/algebra/ituple.spad.pamphlet b/src/algebra/ituple.spad.pamphlet index f441c9e8..0cf9c839 100644 --- a/src/algebra/ituple.spad.pamphlet +++ b/src/algebra/ituple.spad.pamphlet @@ -20,7 +20,7 @@ import Stream ++ Infinite tuples for the interpreter ++ Author: Clifton J. Williamson ++ Date Created: 16 February 1990 -++ Date Last Updated: February 5, 2011 +++ Date Last Updated: May 13, 2013. ++ Keywords: ++ Examples: ++ References: @@ -28,10 +28,7 @@ import Stream ++ This package implements 'infinite tuples' for the interpreter. ++ The representation is a stream. InfiniteTuple(S:Type): Exports == Implementation where - Exports == CoercibleTo OutputForm with - map: (S -> S, %) -> % - ++ map(f,t) replaces the tuple t - ++ by \spad{[f(x) for x in t]}. + Exports == Join(Functorial S,CoercibleTo OutputForm) with filterWhile: (S -> Boolean, %) -> % ++ filterWhile(p,t) returns \spad{[x for x in t while p(x)]}. filterUntil: (S -> Boolean, %) -> % @@ -113,6 +110,8 @@ InfiniteTupleFunctions3(A:Type, B:Type,C:Type): Exports <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2013, Gabriel Dos Reis. +--All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |