filepather-0.4.0: Functions on System.FilePath
Safe HaskellSafe-Inferred
LanguageHaskell2010

System.FilePath.FilePather.ReadFilePath

Documentation

newtype ReadFilePathT f a Source #

Constructors

ReadFilePathT (FilePath -> f a) 

Instances

Instances details
MMonad ReadFilePathT Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

embed :: forall (n :: Type -> Type) m b. Monad n => (forall a. m a -> ReadFilePathT n a) -> ReadFilePathT m b -> ReadFilePathT n b #

MonadTrans ReadFilePathT Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

lift :: Monad m => m a -> ReadFilePathT m a #

Monad f => MonadReader FilePath (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

MonadState FilePath f => MonadState FilePath (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

MonadError e f => MonadError e (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

throwError :: e -> ReadFilePathT f a #

catchError :: ReadFilePathT f a -> (e -> ReadFilePathT f a) -> ReadFilePathT f a #

MonadWriter FilePath f => MonadWriter FilePath (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Monad f => Monad (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

(>>=) :: ReadFilePathT f a -> (a -> ReadFilePathT f b) -> ReadFilePathT f b #

(>>) :: ReadFilePathT f a -> ReadFilePathT f b -> ReadFilePathT f b #

return :: a -> ReadFilePathT f a #

Functor f => Functor (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

fmap :: (a -> b) -> ReadFilePathT f a -> ReadFilePathT f b #

(<$) :: a -> ReadFilePathT f b -> ReadFilePathT f a #

MonadFix f => MonadFix (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

mfix :: (a -> ReadFilePathT f a) -> ReadFilePathT f a #

MonadFail f => MonadFail (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

fail :: String -> ReadFilePathT f a #

Applicative f => Applicative (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

pure :: a -> ReadFilePathT f a #

(<*>) :: ReadFilePathT f (a -> b) -> ReadFilePathT f a -> ReadFilePathT f b #

liftA2 :: (a -> b -> c) -> ReadFilePathT f a -> ReadFilePathT f b -> ReadFilePathT f c #

(*>) :: ReadFilePathT f a -> ReadFilePathT f b -> ReadFilePathT f b #

(<*) :: ReadFilePathT f a -> ReadFilePathT f b -> ReadFilePathT f a #

MonadZip f => MonadZip (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

mzip :: ReadFilePathT f a -> ReadFilePathT f b -> ReadFilePathT f (a, b) #

mzipWith :: (a -> b -> c) -> ReadFilePathT f a -> ReadFilePathT f b -> ReadFilePathT f c #

munzip :: ReadFilePathT f (a, b) -> (ReadFilePathT f a, ReadFilePathT f b) #

MonadIO f => MonadIO (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

liftIO :: IO a -> ReadFilePathT f a #

Alternative f => Alternative (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

MonadPlus f => MonadPlus (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Apply f => Apply (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

(<.>) :: ReadFilePathT f (a -> b) -> ReadFilePathT f a -> ReadFilePathT f b #

(.>) :: ReadFilePathT f a -> ReadFilePathT f b -> ReadFilePathT f b #

(<.) :: ReadFilePathT f a -> ReadFilePathT f b -> ReadFilePathT f a #

liftF2 :: (a -> b -> c) -> ReadFilePathT f a -> ReadFilePathT f b -> ReadFilePathT f c #

MonadCont f => MonadCont (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

callCC :: ((a -> ReadFilePathT f b) -> ReadFilePathT f a) -> ReadFilePathT f a #

Alt f => Alt (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Bind f => Bind (ReadFilePathT f) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

(>>-) :: ReadFilePathT f a -> (a -> ReadFilePathT f b) -> ReadFilePathT f b #

join :: ReadFilePathT f (ReadFilePathT f a) -> ReadFilePathT f a #

MFunctor ReadFilePathT Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Methods

hoist :: forall m n (b :: k). Monad m => (forall a. m a -> n a) -> ReadFilePathT m b -> ReadFilePathT n b #

(Apply f, Semigroup a) => Semigroup (ReadFilePathT f a) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

(Apply f, Applicative f, Monoid a) => Monoid (ReadFilePathT f a) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Wrapped (ReadFilePathT f a) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Associated Types

type Unwrapped (ReadFilePathT f a) #

ReadFilePathT f a ~ t => Rewrapped (ReadFilePathT f' a') t Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

type Unwrapped (ReadFilePathT f a) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

type Unwrapped (ReadFilePathT f a) = FilePath -> f a