steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

sequences.cords: use funktors

locals-and-roots
Doug Coleman 2016-06-28 00:42:55 -07:00
parent 7f0e232125
commit 4ac6523473
1 changed files with 9 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
collections/sequences/cords/cords.factor
View File

@ -1,7 +1,7 @@
! Copyright (C) 2008, 2010 Slava Pestov, Joe Groff. ! Copyright (C) 2008, 2010 Slava Pestov, Joe Groff.
! See http://factorcode.org/license.txt for BSD license. ! See http://factorcode.org/license.txt for BSD license.
USING: accessors assocs sequences sorting binary-search fry math USING: accessors assocs sequences sorting binary-search fry math
math.order arrays classes combinators kernel functors locals math.order arrays classes combinators kernel funktors locals
math.functions math.vectors ; math.functions math.vectors ;
IN: sequences.cords IN: sequences.cords
@ -27,21 +27,17 @@ GENERIC: cord-append ( seq1 seq2 -- cord )
M: object cord-append M: object cord-append
generic-cord boa ; inline generic-cord boa ; inline
FUNCTOR< define-specialized-cord ( T C -- ) FUNKTOR: define-specialized-cord ( T C -- ) [[
T-cord DEFINES-CLASS ${C} TUPLE: ${C}-cord
{ head ${T} read-only } { tail ${T} read-only } ; final
INSTANCE: ${C}-cord cord
WHERE M: ${T} cord-append
2dup [ ${T} instance? ] both?
[ ${C}-cord boa ] [ generic-cord boa ] if ; inline
]]
TUPLE: T-cord
{ head T read-only } { tail T read-only } ; final
INSTANCE: T-cord cord
M: T cord-append
2dup [ T instance? ] both?
[ T-cord boa ] [ generic-cord boa ] if ; inline
FUNCTOR>
: cord-map ( cord quot -- cord' ) : cord-map ( cord quot -- cord' )
[ [ head>> ] dip call ] [ [ head>> ] dip call ]