-
init' :: a -> Stream a -> Stream a -- these would last' :: a -> Stream a -> a -- be partial
-
head :: a -> [a] -> a head d [] = d head _ (x:xs) = x tail :: a -> [a] -> a tail d [] = d tail _ (_:xs) = xs init :: a -> [a] -> [a] init d [] = d init _ [_] = [] init d (x:xs) = xs : init d xs last :: a -> [a] -> [a] last d [] = d last _ [x] = x last _ (_:xs) = last d xs
-
module Tutorial_Prelude where import Prelude hiding ( head, tail, init, last, ... )