모나드 값을 모나드가 아닌 값으로 변환

Question

하스켈을 처음 사용합니다. 디렉토리에서 내용을 읽어야합니다 (예 : 디렉토리의 모든 파일 나열). HTML로 변환해야합니다. 나는 Yesod 프레임 워크를 사용하는 코드베이스를 가지고 있습니다.

getDirectoryContents을 사용하여 디렉토리 내용을 읽을 수 있었으며 그 유형은 IO [FilePath]입니다. HTML로 표현할 수 있기를 바랍니다.

누군가 나를 도울 수 있습니까? 지금까지 내가 시도한 것입니다. 내가 오류는 다음과 같습니다

여기

{-# LANGUAGE OverloadedStrings  #-} 
{-# LANGUAGE QuasiQuotes   #-} 
{-# LANGUAGE TemplateHaskell  #-} 
{-# LANGUAGE TypeFamilies   #-} 

import Yesod.Core 
import Text.Blaze.Html (toValue, (!)) 
import qualified Text.Blaze.Html5 as H 
import qualified Text.Blaze.Html5.Attributes as HA 
import System.Directory as FS 



getTestHamletR = defaultLayout $ do 
    setTitle "Test Hamlet" 
    toWidget $ \render -> do 
      H.p $ do 
       result <- fmap toHtml $ getListOfFiles "/home/chetan" 
       result 

가 getListOfFiles 기능입니다 : Couldn't match type ‘IO’ with ‘Text.Blaze.Internal.MarkupM’ Expected type: Text.Blaze.Internal.MarkupM Html Actual type: IO Html

아래의 코드를 확인하시기 바랍니다

getListOfFiles::FilePath -> IO [FilePath] 
getListOfFiles fpath = FS.getDirectoryContents fpath 

Answer 1

내가 잘 Yesod에 정통한 아니에요,하지만 이게 효과가있다.

IO 값을 비 IO 값으로 변환 할 수 없습니다. 그러나 IO에 머무르는 동안이 값으로 작업 할 수 있습니다. 다소 잘못 말하면 IO 내부에있을 때이 값으로 작업 할 수 있습니다. 나는. 이 작동 (테스트되지 않음)해야합니다

getTestHamletR = do 
    files <- liftIO $ getListOfFiles "/home/chtan" 
    defaultLayout $ do 
     setTitle "Test Hamlet" 
     toWidget $ \render -> do 
      H.p $ toHtml (intercalate ", " files) 

을 나는 getTestHamletR이 IO 직접 아니라고 생각하지만, IO 이상 일부 계층이다, 그래서 우리는 변환 liftIO를 사용할 수있는 IO [FilePath]m는 모나드 yesod입니다 m [FilePath]에 사용.

getTestHamletR는 IO 기능입니다 - 모든 라인 내부 IO 작동, 당신은 IO [FilePath]으로 디렉토리 내용을 얻을 당신은 본질적으로 IO Html로 변환.