増加中のリストから取り除く

Question

値が増加している間に私が取りたい値の一覧があります。私はそれが常にリストの先頭をとり、それを次の値と比較すると仮定します。これが増え続ける限り、この機能は引き続き使用されます。以前の値以下のリスト要素に到達すると、リストが返されます。

takeIncreasing :: (Ord a) => [a] -> [a] 
takeIncreasing [1,2,3,4,3,5,6,7,8] -- Should return [1,2,3,4] 

倍は次の値と蓄積のlast要素を比較し、条件が満たされた場合に追加しますが、リストの最後まで続けることができます。私は制約が満たされていない最初のインスタンスを取ることを止める機能を望みます。

これはモナドのアプリケーションのようですが、既存のモナドがこれを達成するかどうかを判断することはできません。

Answer 1

折りたたみ[...]はリストの最後まで続きます。私は制約が満たされていない最初のインスタンスを取ることを止める機能を望みます。

右の倍は短絡することができます：

fun :: Ord a => [a] -> [a] 
fun []  = [] 
fun (x:xs) = x: foldr go (const []) xs x 
    where go x f i = if i < x then x: f x else [] 

はその後、

\> fun [1,2,3,4,3,undefined] 
[1,2,3,4] 

または無限サイズのリスト：

\> fun $ [1,2,3,4,3] ++ [1..] 
[1,2,3,4] 

Answer 2

右折り目は魔法されているので、あなたは、決しても、リストのパターンマッチングが必要です。折り返しのない

twi xs = foldr go (const []) xs Nothing where 
    go x _ (Just prev) 
    | x < prev = [] 
    go x r _ = x : r (Just x) 

Answer 3

ソリューション ：

takeIncreasing :: Ord a => [a] -> [a] 
takeIncreasing [] = [] 
takeIncreasing (x:xs) = (x :) . map snd . takeWhile (uncurry (<)) $ zip (x:xs) xs 

Answer 4

またはIMOビット少ないコードの複雑さを持っている1：

takeIncreasing :: Ord x => [x] -> [x] 
takeIncreasing (x:x':xs) | x < x' = x : takeIncreasing (x':xs) 
         | otherwise = [x] 
takeIncreasing xs = xs 

この1つは、以前の提案よりも少しだけ小さい賢いです。私は賢いコードが好きです。