System.FilePath.FilePather.ReadFilePath

Documentation

newtype ReadFilePathT f a

Constructors

ReadFilePathT (FilePath -> f a)

Instances

MMonad ReadFilePathT

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

Defined in System.FilePath.FilePather.ReadFilePath

Methods

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

Monad f => MonadReader FilePath (ReadFilePathT f)

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)

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)

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)

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)

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)

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)

Defined in System.FilePath.FilePather.ReadFilePath

Methods

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

MonadFail f => MonadFail (ReadFilePathT f)

Defined in System.FilePath.FilePather.ReadFilePath

Methods

fail :: String -> ReadFilePathT f a

Applicative f => Applicative (ReadFilePathT f)

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)

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)

Defined in System.FilePath.FilePather.ReadFilePath

Methods

liftIO :: IO a -> ReadFilePathT f a

Alternative f => Alternative (ReadFilePathT f)

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)

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)

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)

Defined in System.FilePath.FilePather.ReadFilePath

Methods

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

Alt f => Alt (ReadFilePathT f)

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)

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

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)

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)

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)

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

Defined in System.FilePath.FilePather.ReadFilePath

type Unwrapped (ReadFilePathT f a)

Defined in System.FilePath.FilePather.ReadFilePath

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

type ReadFilePath a = ReadFilePathT Identity a

type ReadFilePathT1 f = ReadFilePathT f ()

type ReadFilePath1 f = ReadFilePath ()

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

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

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