Lines Matching defs:step
151 null (Stream step t) = null_loop t function
174 step True = Yield x False function
175 step False = Done function
189 step i | i <= 0 = return Done function
202 step i | i < n = do function
224 step (Left sa) = do function
230 step (Right sb) = do function
243 head (Stream step t) = head_loop SPEC t function
258 last (Stream step t) = last_loop0 SPEC t function
280 Stream step t !! j | j < 0 = ERROR "!!" "negative index" function
297 Stream step t !? j = index_loop SPEC t j function
323 init (Stream step t) = Stream step' (Nothing, t) function
326 step' (Nothing, s) = liftM (\r -> function
333 step' (Just x, s) = liftM (\r -> function
343 tail (Stream step t) = Stream step' (Left t) function
346 step' (Left s) = liftM (\r -> function
353 step' (Right s) = liftM (\r -> function
366 step' (s, i) | i < n = liftM (\r -> function
372 step' (_, _) = return Done function
380 step' (s, Just i) | i > 0 = liftM (\r -> function
388 step' (s, Nothing) = liftM (\r -> function
414 step' s = do function
423 consume (Stream step t) = consume_loop SPEC t function
446 unbox (Stream step t) = Stream step' t function
449 step' s = do function
462 indexed (Stream step t) = Stream step' (t,0) function
465 step' (s,i) = i `seq` function
480 step' (s,i) = i `seq` function
496 step (sa, sb, Nothing) = liftM (\r -> function
503 step (sa, sb, Just x) = do function
531 step (sa, sb, sc, Nothing) = do function
538 step (sa, sb, sc, Just (x, Nothing)) = do function
545 step (sa, sb, sc, Just (x, Just y)) = do function
696 step' s = do function
712 step' s = do function
725 uniq (Stream step st) = Stream step' (Nothing,st) function
728 step' (Nothing, s) = do r <- step s function
733 step' (Just x0, s) = do r <- step s function
751 step' s = do function
787 step' (DropWhile_Yield x s) = return $ Yield x (DropWhile_Next s) function
1013 and (Stream step t) = and_loop SPEC t function
1026 or (Stream step t) = or_loop SPEC t function
1066 step (Left t) = do function
1076 step (Right (s,t)) = do function
1097 step s = liftM (\r -> function
1113 step (s,n) | n <= 0 = return Done function
1126 step (x,i) | i <= 0 = return Done function
1150 step' (s,x) = do function
1170 step' (s,x) = x `seq` function
1191 step' (s,x) = do function
1211 step' (s,x) = x `seq` function
1252 step' (s, Nothing) = do function
1259 step' (s, Just x) = do function
1280 step' (s, Nothing) = do function
1287 step' (s, Just x) = x `seq` function
1311 step (w,m) | m > 0 = return $ Yield w (w+y,m-1) function
1331 step Nothing = return $ Done function
1332 step (Just z) | z == y = return $ Yield z Nothing function
1390 step Nothing = return $ Done function
1391 step (Just z) | z == y = return $ Yield z Nothing function
1401 step Nothing = return $ Done function
1402 step (Just z) | z == y = return $ Yield z Nothing function
1428 step Nothing = return $ Done function
1429 step (Just z) | z == y = return $ Yield z Nothing function
1464 step Nothing = return $ Done function
1465 step (Just z) | z == y = return $ Yield z Nothing function
1486 step zn | zn <= yn = return $ Yield (unsafeChr zn) (zn+1) function
1515 step x | x' <= lim = return $ Yield x' (x+1) function
1521 step x | x <= lim = return $ Yield x (x+1) function
1560 step (x:xs) = return (Yield x xs) function
1561 step [] = return Done function
1569 step (_, n) | n <= 0 = return Done function
1570 step (x:xs,n) = return (Yield x (xs,n-1)) function
1571 step ([],_) = return Done function
1584 step i | i >= n = return Done function
1652 reVector (Stream step s, sSize = n} = Stream step s n function