Data.OI.Resource

Contents

• Resource type
• File resource
• Resource handlers

Description

Synopsis

• data Resource a = Resource {
  • release :: ()
  • stream :: [IOResult a]
  }
• inFileResource :: FilePath -> IOResult (Resource String) :-> IOResult (Resource String)
• outFileResource :: FilePath -> [String] -> IOResult (Resource ()) :-> IOResult (Resource ())
• mapR :: (a -> b) -> IOResult (Resource a) -> [b]
• mapR' :: (a -> b) -> Resource a -> [b]
• filterR :: (a -> Bool) -> IOResult (Resource a) -> [a]
• filterR' :: (a -> Bool) -> Resource a -> [a]
• takeR :: Integral i => i -> IOResult (Resource a) -> [a]
• takeR' :: Integral i => i -> Resource a -> [a]
• takeWhileR :: (a -> Bool) -> IOResult (Resource a) -> [a]
• takeWhileR' :: (a -> Bool) -> Resource a -> [a]

Resource type

File resource

Resource handlers