diff options
Diffstat (limited to 'IterableClass.dcl')
| -rw-r--r-- | IterableClass.dcl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/IterableClass.dcl b/IterableClass.dcl index 729cd68..73c9776 100644 --- a/IterableClass.dcl +++ b/IterableClass.dcl @@ -1,10 +1,10 @@ definition module IterableClass -class step a :: a -> a -class rewind a :: a -> a +class step a :: !a -> a +class rewind a :: !a -> a -stepn :: Int a -> a | step a -rewindn :: Int a -> a | rewind a +stepn :: Int !a -> a | step a +rewindn :: Int !a -> a | rewind a -stepOrRewindn :: Int a -> a | step, rewind a +stepOrRewindn :: Int !a -> a | step, rewind a |