Documentation
Intervals

 Parents: math Authors: Slava Pestov

Words

Tuple classes
 Class Superclass Slots interval tuple from to

Singleton classes
 empty-interval full-interval

Union classes
 special-interval

Generic words
 Word Stack effect interval-contains? ( x interval -- ? ) interval-length ( interval -- n ) interval-log2 ( i1 -- i2 ) interval-singleton? ( interval -- ? )

Symbol words
 incomparable

Ordinary words
 Word Stack effect (a,b) ( a b -- interval ) (a,b] ( a b -- interval ) (a,inf] ( a -- interval ) (interval-abs) ( i1 -- i2 ) (interval-op) ( p1 p2 quot -- p3 ) (interval<) ( i1 i2 -- i1 i2 ? ) (rem-range) ( interval -- interval' ) ( from to -- interval ) [-inf,b) ( b -- interval ) [-inf,b] ( b -- interval ) [-inf,inf] ( -- interval ) [0,b) ( b -- interval ) [0,b] ( b -- interval ) [0,inf] ( -- interval ) [a,a] ( a -- interval ) [a,b) ( a b -- interval ) [a,b] ( a b -- interval ) [a,inf] ( a -- interval ) array-capacity-interval ( -- interval ) assume< ( i1 i2 -- i3 ) assume<= ( i1 i2 -- i3 ) assume> ( i1 i2 -- i3 ) assume>= ( i1 i2 -- i3 ) closed-point ( n -- endpoint ) closed-point? ( from to -- ? ) compare-endpoints ( p1 p2 quot -- ? ) do-empty-interval ( i1 i2 quot -- i3 ) endpoint-max ( p1 p2 -- p3 ) endpoint-min ( p1 p2 -- p3 ) endpoint< ( p1 p2 -- ? ) endpoint<= ( p1 p2 -- ? ) endpoint= ( p1 p2 -- ? ) endpoint> ( p1 p2 -- ? ) endpoint>= ( p1 p2 -- ? ) fixnum-interval ( -- interval ) integral-closure ( i1 -- i2 ) interval* ( i1 i2 -- i3 ) interval+ ( i1 i2 -- i3 ) interval- ( i1 i2 -- i3 ) interval-1+ ( i1 -- i2 ) interval-1- ( i1 -- i2 ) interval-2/ ( i1 -- i2 ) interval-abs ( i1 -- i2 ) interval-absq ( i1 -- i2 ) interval-bitand ( i1 i2 -- i3 ) interval-bitnot ( i1 -- i2 ) interval-bitor ( i1 i2 -- i3 ) interval-bitxor ( i1 i2 -- i3 ) interval-closure ( i1 -- i2 ) interval-division-op ( i1 i2 quot -- i3 ) interval-integer-op ( i1 i2 quot -- i3 ) interval-interior ( i1 -- i2 ) interval-intersect ( i1 i2 -- i3 ) interval-max ( i1 i2 -- i3 ) interval-min ( i1 i2 -- i3 ) interval-mod ( i1 i2 -- i3 ) interval-neg ( i1 -- i2 ) interval-negative? ( interval -- ? ) interval-nonnegative? ( interval -- ? ) interval-op ( i1 i2 quot -- i3 nan? ) interval-recip ( i1 -- i2 ) interval-rem ( i1 i2 -- i3 ) interval-shift ( i1 i2 -- i3 ) interval-shift-safe ( i1 i2 -- i3 ) interval-sq ( i1 -- i2 ) interval-subset? ( i1 i2 -- ? ) interval-union ( i1 i2 -- i3 ) interval-zero? ( interval -- ? ) interval/ ( i1 i2 -- i3 ) interval/-safe ( i1 i2 -- i3 ) interval/f ( i1 i2 -- i3 ) interval/i ( i1 i2 -- i3 ) interval< ( i1 i2 -- ? ) interval<= ( i1 i2 -- ? ) interval> ( i1 i2 -- ? ) interval>= ( i1 i2 -- ? ) interval>points ( interval -- from to ) intervals-intersect? ( i1 i2 -- ? ) left-endpoint-< ( i1 i2 -- ? ) left-endpoint-<= ( i1 i2 -- ? ) nan-not-ok ( interval nan? -- interval ) nan-ok ( interval nan? -- interval ) open-point ( n -- endpoint ) points>interval ( seq -- interval nan? ) right-endpoint-< ( i1 i2 -- ? ) right-endpoint-<= ( i1 i2 -- ? )

Class predicate words
 Word Stack effect empty-interval? ( object -- ? ) full-interval? ( object -- ? ) interval? ( object -- ? ) special-interval? ( object -- ? )

Files