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

Methods

ask :: ReadFilePathT f FilePath #

local :: (FilePath -> FilePath) -> ReadFilePathT f a -> ReadFilePathT f a #

reader :: (FilePath -> a) -> ReadFilePathT f a #

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

Defined in System.FilePath.FilePather.ReadFilePath

Methods

get :: ReadFilePathT f FilePath #

put :: FilePath -> ReadFilePathT f () #

state :: (FilePath -> (a, FilePath)) -> ReadFilePathT f a #

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

Methods

writer :: (a, FilePath) -> ReadFilePathT f a #

tell :: FilePath -> ReadFilePathT f () #

listen :: ReadFilePathT f a -> ReadFilePathT f (a, FilePath) #

pass :: ReadFilePathT f (a, FilePath -> FilePath) -> ReadFilePathT f a #

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

Methods

empty :: ReadFilePathT f a #

(<|>) :: ReadFilePathT f a -> ReadFilePathT f a -> ReadFilePathT f a #

some :: ReadFilePathT f a -> ReadFilePathT f [a] #

many :: ReadFilePathT f a -> ReadFilePathT f [a] #

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

Defined in System.FilePath.FilePather.ReadFilePath

Methods

mzero :: ReadFilePathT f a #

mplus :: ReadFilePathT f a -> ReadFilePathT f a -> ReadFilePathT f a #

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

Methods

(<!>) :: ReadFilePathT f a -> ReadFilePathT f a -> ReadFilePathT f a #

some :: Applicative (ReadFilePathT f) => ReadFilePathT f a -> ReadFilePathT f [a] #

many :: Applicative (ReadFilePathT f) => ReadFilePathT f a -> ReadFilePathT f [a] #

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

Methods

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

sconcat :: NonEmpty (ReadFilePathT f a) -> ReadFilePathT f a #

stimes :: Integral b => b -> ReadFilePathT f a -> ReadFilePathT f a #

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

Defined in System.FilePath.FilePather.ReadFilePath

Methods

mempty :: ReadFilePathT f a #

mappend :: ReadFilePathT f a -> ReadFilePathT f a -> ReadFilePathT f a #

mconcat :: [ReadFilePathT f a] -> ReadFilePathT f a #

Wrapped (ReadFilePathT f a) Source # 
Instance details

Defined in System.FilePath.FilePather.ReadFilePath

Associated Types

type Unwrapped (ReadFilePathT f a) #

Methods

_Wrapped' :: Iso' (ReadFilePathT f a) (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

type ReadFilePath a = ReadFilePathT Identity a Source #

type ReadFilePathT1 f = ReadFilePathT f () Source #

type ReadFilePath1 f = ReadFilePath () Source #

readFilePath :: Iso (ReadFilePath a) (ReadFilePath a') (FilePath -> a) (FilePath -> a') Source #

hoistReadFilePath :: Applicative f => ReadFilePath a -> ReadFilePathT f a Source #

liftReadFilePath :: Applicative f => (FilePath -> a) -> ReadFilePathT f a Source #