Tsil

gistfile1.hs

data Tsil a = Lin | Snoc (Tsil a) a
  deriving Show


foldr' :: (a -> b -> b) -> b -> Tsil a -> b
foldr' f a Lin = a
foldr' f a (Snoc xs x) = foldr' f (f x a) xs


foldl' :: (b -> a -> b) -> b -> Tsil a -> b
foldl' f a Lin = a
foldl' f a (Snoc xs x) = f (foldl' f a xs) x


fromList :: [a] -> Tsil a
fromList = foldl (\acc x -> Snoc acc x) Lin


toList :: Tsil a -> [a]
toList = foldr' (\x acc -> x : acc) []


length' :: Tsil a -> Int
length' = foldr' (\_ acc -> acc + 1) 0


map' :: (a -> b) -> Tsil a -> Tsil b
map' f = foldl' (\acc x -> Snoc acc $ f x) Lin


reverse' :: Tsil a -> Tsil a
reverse' = foldr' (\x acc -> Snoc acc x) Lin