Manipular texto de um ficheiro

[marco_iku]

Boa tarde

Quero abrir um ficheiro para retirar o seu conteúdo e trabalhar com este.

lerFile :: IO (String)
lerFile = do 
                putStrLn "Localizacao do ficheiro:"
                local <- getLine
                h <- openFile local ReadMode
                textoFicheiro <- hGetContents h
                return textoFicheiro

O problema é que quando quero utilizar esta função para trabalhar com conteudo do ficheiro (textoFicheiro) dá-me sempre erro por causa dos tipos. Isto criar uma variável do tipo IO String e eu preciso de uma do tipo String.

Obrigado

[Baderous]

A única forma de extrair (correctamente) o conteúdo de um Monad é utilizando o operador bind '>>=' ou a notação 'do' que faz o mesmo de uma forma mais legível.

[marco_iku]

podes mostrar um exemplo?

[Baderous]

Já o fizeste na tua função.

getLine :: IO String
local :: String

Ao utilizares o do para trabalhares com Monads, o operador <- extrai do Monad que se encontra à sua direita o seu conteúdo e armazena-o na variável que está à sua esquerda.

Com o bind seria:

 getLine >>= (\local -> ...)