IterableClass.dcl


1
2
3
4
5
6
7
8
9
10

definition module IterableClass

class step a :: a -> a
class rewind a :: a -> a

stepn :: Int a -> a | step a
rewindn :: Int a -> a | rewind a

stepOrRewindn :: Int a -> a | step, rewind a