Language.Ninja.Mock

Typeclasses that allow mocking via dependency injection (i.e.: free monads or similar techniques) in language-ninja.

This module re-exports all of the modules under the Language.Ninja.Mock namespace for convenience.

It is recommended that you import it with the following style:

import qualified Language.Ninja.Mock as Mock

Since: 0.1.0

Language.Ninja.Mock.ReadFile

class Monad m => MonadReadFile m where

This typeclass allows you to write code that reads files from the filesystem and then later run that code purely against a virtual filesystem of some description.

Since: 0.1.0

Minimal complete definition

readFile

Methods

readFile :: Path -> m Text

Read the file located at the given path and decode it into Text.

TODO: some notion of error handling should be encoded into the type

Since: 0.1.0

Instances

MonadReadFile IO

The obvious instance for IO.

Since: 0.1.0

Methods

readFile :: Path -> IO Text

(MonadTrans t, Monad (t m), MonadReadFile m) => MonadReadFile (t m)

A placeholder (undecidable) instance that allows this constraint to propagate through monad transformers without needing to lift manually.

Since: 0.1.0

Methods

readFile :: Path -> t m Text