【Haskell】File/Folder操作

フォルダーの中から１つのファイルを取得するプログラム

フォルダー名とその中に入っているファイル名を指定して、ファイルを探索したいです。

データは授業資料を扱うフォルダーです。
曜日フォルダー（授業名フォルダー（資料ファイル）））　のようになっています。
授業名と資料名よりファイルを指定したいです。

発生している問題・エラーメッセージ

結果が該当なしになっている

該当のソースコード

Haskell
1data Document =
2    File String | Folder String [Document] 
3
4files item  = 
5    case item of
6    File name -> if name /= "1.pdf" then [] else [name]
7    Folder folder_name items -> [name | item <- items , name <- files item , folder_name == "Programing2"]
8    
9
10main = 
11    print $ files $ Folder "2020" [ Folder "Mon" [ Folder "Programing1" [File "1.pdf" , File "2.pdf"] , Folder "Math1" [File "1.pdf" , File "2.pdf"] ] , 
12                                    Folder "Tue" [ Folder "Math2" [File "1.pdf" , File "2.pdf"] ] , 
13                                    Folder "Wed" [ Folder "English" [File "1.pdf" , File "2.pdf"] ] , 
14                                    Folder "Thu" [ Folder "Sience"  [File "1.pdf" , File "2.pdf"] ] ,  
15                                    Folder "Mon" [ Folder "Programing2" [File "1.pdf" , File "2.pdf"] ] 
16                                  ]
17

試したこと

補足情報（FW/ツールのバージョンなど）

行動規範の内容に同意します

回答1件

ベストアンサー

このような find 関数でどうでしょうか？

haskell
1import Data.Maybe (isJust)
2
3data Document
4    = File String
5    | Folder String [Document]
6    deriving Show
7
8find :: [String] -> Document -> Maybe Document
9find [] _ = Nothing
10find [n] f@(File n')
11    | n == n' = Just f
12    | otherwise = Nothing
13find (n:ns) (Folder n' docs)
14    | n == n' =
15        case filter isJust $ find ns <$> docs of
16            [] -> Nothing
17            [d] -> d
18            _ -> error "there are the same name documents"
19    | otherwise = Nothing
20find _ _ = Nothing
21
22main :: IO ()
23main = do
24    let
25        docs =
26            Folder
27                "2020"
28                [ Folder
29                    "Mon"
30                    [ Folder
31                        "Programing1"
32                        [ File "1.pdf"
33                        , File "2.pdf"
34                        ]
35                    , Folder
36                        "Math1"
37                        [ File "1.pdf"
38                        , File "2.pdf"
39                        ]
40                    ]
41                , Folder
42                    "Tue"
43                    [ Folder
44                        "Math2"
45                        [ File "1.pdf"
46                        , File "2.pdf"
47                        ]
48                    ]
49                , Folder
50                    "Wed"
51                    [ Folder
52                        "English"
53                        [ File "1.pdf"
54                        , File "2.pdf"
55                        ]
56                    ]
57                , Folder
58                    "Thu"
59                    [ Folder
60                        "Sience"
61                        [ File "1.pdf"
62                        , File "2.pdf"
63                        ]
64                    ]
65                ]
66    print $ find ["2020", "Tue", "Math2", "1.pdf"] docs

Wandbox で実行

投稿2021/01/09 09:28

kakkun61

総合スコア285

退会済みユーザー

2021/01/12 10:53

ご回答ありがとうございます。参考になります。また質問なのですが f@と<$>という演算子はどのようなものですか？

A_kirisaki

2021/01/12 12:28

@ は演算子ではなくアズパターンと呼ばれるものです。File n' とパターンマッチすると File n' 自身が欲しくなったときに File n' と書き直さなければいけないので面倒ですが f@(File n') と書くと f = File n' となり楽に書けます。 <$> は fmap の演算子版です。https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-Functor.html#v:-60--36--62-

退会済みユーザー

2021/01/12 12:50

ありがとうございます。理解しました！

行動規範の内容に同意します