Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data ReadFilePathsT e f a Source #
Instances
type ReadFilePaths e a = ReadFilePathsT e Identity a Source #
type ReadFilePathsT1 e f = ReadFilePathsT e f () Source #
type ReadFilePaths1 e f = ReadFilePaths e () Source #
readFilePaths1 :: ReadFilePathsT e f a -> ReadFilePathT e f a Source #
readFilePaths :: Iso (ReadFilePaths e a) (ReadFilePaths e' a') ([FilePath] -> Either e a) ([FilePath] -> Either e' a') Source #
swapReadFilePaths :: Functor f => Iso (ReadFilePathsT e f a) (ReadFilePathsT e' f a') (ReadFilePathsT a f e) (ReadFilePathsT a' f e') Source #
pureReadFilePaths :: Applicative f => ReadFilePaths e a -> ReadFilePathsT e f a Source #
liftReadFilePaths :: Applicative f => ([FilePath] -> a) -> ReadFilePathsT e f a Source #
successReadFilePaths :: Functor f => ([FilePath] -> f a) -> ReadFilePathsT e f a Source #
errorReadFilePaths :: Functor f => ([FilePath] -> f e) -> ReadFilePathsT e f a Source #
maybeReadFilePaths :: Functor f => ([FilePath] -> f (Maybe a)) -> ReadFilePathsT () f a Source #
tryReadFilePaths :: Exception e => ([FilePath] -> IO a) -> ReadFilePathsT e IO a Source #