Beginning Haskell - composing function with data constructor and IO monad

Question

I have the following:

import Data.List

data Content
  = TaggedContent (String, [String]) String
  | Null

processContent :: Content -> IO Content
processContent c@(TaggedContent (id, attrs) text) =
  case stripPrefix "include=" a of
       Just f     -> return . TaggedContent (id, attrs) =<< readFile f
       Nothing    -> return c
  where a = head(attrs)
processContent x = return x

transformContent :: Content -> Content
transformContent x = x -- (details of implementation not necessary)

I would like to compose transformContent with the TaggedContent constructor; that is, something like

       Just f     -> return . transformContent TaggedContent (id, attrs) =<< readFile f

However, this will not compile.

I am new to Haskell and am trying to understand the correct syntax.

Daniel Wagner · Accepted Answer · 2015-01-17 19:57:18Z

3

You just need an extra dot:

return . transformContent . TaggedContent (id, attrs) =<< readFile f

answered Jan 17, 2015 at 19:57

Daniel Wagner

156k10 gold badges231 silver badges393 bronze badges

Sign up to request clarification or add additional context in comments.

Comments

chi · Accepted Answer · 2015-01-17 20:11:28Z

1

Daniel Wagner explained how to perform a minimal modification to get your code to compile. I will comment on a few common alternatives.

Code such as

return . g =<< someIOAction

is often also written as

fmap g someIOAction

or

g `fmap` someIOAction

or, after importing Control.Applicative

g <$> someIOAction

In your specific case, you could use:

transformContent . TaggedContent (id, attrs) <$> readFile f

answered Jan 17, 2015 at 20:11

chi

117k4 gold badges143 silver badges230 bronze badges

Collectives™ on Stack Overflow

Beginning Haskell - composing function with data constructor and IO monad

2 Answers 2

Comments

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

Comments

Comments

Your Answer

Sign up or log in

Post as a guest

Related