Safe Haskell	Safe
Language	Haskell2010

System.Chatty.Filesystem

Documentation

data FSExec a Source #

Constructors

FSSucc a
NoPermission
NotFound

data File m Source #

Constructors

File
Fields loadFun :: m (FSExec ()) saveFun :: m (FSExec ()) leftBehind :: String rightPending :: String

newtype Path Source #

Constructors

MultiPath [PathSpec]

Instances

Eq Path Source #
Methods (==) :: Path -> Path -> Bool # (/=) :: Path -> Path -> Bool #
Ord Path Source #
Methods compare :: Path -> Path -> Ordering # (<) :: Path -> Path -> Bool # (<=) :: Path -> Path -> Bool # (>) :: Path -> Path -> Bool # (>=) :: Path -> Path -> Bool # max :: Path -> Path -> Path # min :: Path -> Path -> Path #
Show Path Source #
Methods showsPrec :: Int -> Path -> ShowS # show :: Path -> String # showList :: [Path] -> ShowS #

data PathSpec Source #

Constructors

Path PathRoot [PathSeg]

Instances

Eq PathSpec Source #
Methods (==) :: PathSpec -> PathSpec -> Bool # (/=) :: PathSpec -> PathSpec -> Bool #
Ord PathSpec Source #
Methods compare :: PathSpec -> PathSpec -> Ordering # (<) :: PathSpec -> PathSpec -> Bool # (<=) :: PathSpec -> PathSpec -> Bool # (>) :: PathSpec -> PathSpec -> Bool # (>=) :: PathSpec -> PathSpec -> Bool # max :: PathSpec -> PathSpec -> PathSpec # min :: PathSpec -> PathSpec -> PathSpec #
Show PathSpec Source #
Methods showsPrec :: Int -> PathSpec -> ShowS # show :: PathSpec -> String # showList :: [PathSpec] -> ShowS #

data PathRoot Source #

Constructors

Absolute
Relative

Instances

Eq PathRoot Source #
Methods (==) :: PathRoot -> PathRoot -> Bool # (/=) :: PathRoot -> PathRoot -> Bool #
Ord PathRoot Source #
Methods compare :: PathRoot -> PathRoot -> Ordering # (<) :: PathRoot -> PathRoot -> Bool # (<=) :: PathRoot -> PathRoot -> Bool # (>) :: PathRoot -> PathRoot -> Bool # (>=) :: PathRoot -> PathRoot -> Bool # max :: PathRoot -> PathRoot -> PathRoot # min :: PathRoot -> PathRoot -> PathRoot #
Show PathRoot Source #
Methods showsPrec :: Int -> PathRoot -> ShowS # show :: PathRoot -> String # showList :: [PathRoot] -> ShowS #

data PathSeg Source #

Constructors

SelParent
SelChild String

Instances

Eq PathSeg Source #
Methods (==) :: PathSeg -> PathSeg -> Bool # (/=) :: PathSeg -> PathSeg -> Bool #
Ord PathSeg Source #
Methods compare :: PathSeg -> PathSeg -> Ordering # (<) :: PathSeg -> PathSeg -> Bool # (<=) :: PathSeg -> PathSeg -> Bool # (>) :: PathSeg -> PathSeg -> Bool # (>=) :: PathSeg -> PathSeg -> Bool # max :: PathSeg -> PathSeg -> PathSeg # min :: PathSeg -> PathSeg -> PathSeg #
Show PathSeg Source #
Methods showsPrec :: Int -> PathSeg -> ShowS # show :: PathSeg -> String # showList :: [PathSeg] -> ShowS #

type FileA m = Atom (File m) Source #

data Mountpoint m Source #

Constructors

Mount
Fields subMounts :: [Mountpoint m] mstate :: Atom a mpath :: Path mopen :: Path -> (Atom a, Path) -> m (FSExec (FileA m))

class Monad m => ChFilesystem m where Source #

Minimal complete definition

fopen, fpwd, fcd

Methods

fopen :: Path -> m (FSExec (FileA m)) Source #

fpwd :: m Path Source #

fcd :: Path -> m () Source #

Instances

Monad m => ChFilesystem (NullFsT m) Source #
Methods fopen :: Path -> NullFsT m (FSExec (FileA (NullFsT m))) Source # fpwd :: NullFsT m Path Source # fcd :: Path -> NullFsT m () Source #

class Monad m => CanLoad m n where Source #

Minimal complete definition

fload

Methods

fload :: FileA n -> m (FSExec ()) Source #

class Monad m => CanSave m n where Source #

Minimal complete definition

fsave

Methods

fsave :: FileA n -> m (FSExec ()) Source #

class Monad m => CanMount m n where Source #

Minimal complete definition

fmount

Methods

fmount :: Mountpoint n -> m () Source #

Instances

Monad m => CanMount (NullFsT m) (NullFsT m) Source #
Methods fmount :: Mountpoint (NullFsT m) -> NullFsT m () Source #

data FilePrinterT m a Source #

Constructors

FilePrinter
Fields runFilePrinterT :: FileA m -> m a

Instances

MonadTrans FilePrinterT Source #
Methods lift :: Monad m => m a -> FilePrinterT m a #
Monad m => Monad (FilePrinterT m) Source #
Methods (>>=) :: FilePrinterT m a -> (a -> FilePrinterT m b) -> FilePrinterT m b # (>>) :: FilePrinterT m a -> FilePrinterT m b -> FilePrinterT m b # return :: a -> FilePrinterT m a # fail :: String -> FilePrinterT m a #
Functor f => Functor (FilePrinterT f) Source #
Methods fmap :: (a -> b) -> FilePrinterT f a -> FilePrinterT f b # (<$) :: a -> FilePrinterT f b -> FilePrinterT f a #
(Functor m, Monad m) => Applicative (FilePrinterT m) Source #
Methods pure :: a -> FilePrinterT m a # (<>) :: FilePrinterT m (a -> b) -> FilePrinterT m a -> FilePrinterT m b # (>) :: FilePrinterT m a -> FilePrinterT m b -> FilePrinterT m b # (<*) :: FilePrinterT m a -> FilePrinterT m b -> FilePrinterT m a #
MonadIO m => MonadIO (FilePrinterT m) Source #
Methods liftIO :: IO a -> FilePrinterT m a #
ChAtoms m => ChPrinter (FilePrinterT m) Source #
Methods mprint :: String -> FilePrinterT m () Source # mnoecho :: String -> FilePrinterT m () Source # mflush :: FilePrinterT m () Source # mnomask :: String -> FilePrinterT m () Source #

data FileScannerT m a Source #

Constructors

FileScanner
Fields runFileScannerT :: FileA m -> m a

Instances

MonadTrans FileScannerT Source #
Methods lift :: Monad m => m a -> FileScannerT m a #
Monad m => Monad (FileScannerT m) Source #
Methods (>>=) :: FileScannerT m a -> (a -> FileScannerT m b) -> FileScannerT m b # (>>) :: FileScannerT m a -> FileScannerT m b -> FileScannerT m b # return :: a -> FileScannerT m a # fail :: String -> FileScannerT m a #
Functor f => Functor (FileScannerT f) Source #
Methods fmap :: (a -> b) -> FileScannerT f a -> FileScannerT f b # (<$) :: a -> FileScannerT f b -> FileScannerT f a #
(Functor m, Monad m) => Applicative (FileScannerT m) Source #
Methods pure :: a -> FileScannerT m a # (<>) :: FileScannerT m (a -> b) -> FileScannerT m a -> FileScannerT m b # (>) :: FileScannerT m a -> FileScannerT m b -> FileScannerT m b # (<*) :: FileScannerT m a -> FileScannerT m b -> FileScannerT m a #
MonadIO m => MonadIO (FileScannerT m) Source #
Methods liftIO :: IO a -> FileScannerT m a #
ChAtoms m => ChScanner (FileScannerT m) Source #
Methods mscan1 :: FileScannerT m Char Source # mscanL :: FileScannerT m String Source # mscannable :: FileScannerT m Bool Source # mscanh :: FileScannerT m (Maybe Handle) Source # mready :: FileScannerT m Bool Source #

newtype NullFsT m a Source #

Constructors

NullFs
Fields runNullFsT :: Path -> [Mountpoint (NullFsT m)] -> m (a, Path, [Mountpoint (NullFsT m)])

Instances

MonadTrans NullFsT Source #
Methods lift :: Monad m => m a -> NullFsT m a #
Monad m => Monad (NullFsT m) Source #
Methods (>>=) :: NullFsT m a -> (a -> NullFsT m b) -> NullFsT m b # (>>) :: NullFsT m a -> NullFsT m b -> NullFsT m b # return :: a -> NullFsT m a # fail :: String -> NullFsT m a #
Functor f => Functor (NullFsT f) Source #
Methods fmap :: (a -> b) -> NullFsT f a -> NullFsT f b # (<$) :: a -> NullFsT f b -> NullFsT f a #
(Functor m, Monad m) => Applicative (NullFsT m) Source #
Methods pure :: a -> NullFsT m a # (<>) :: NullFsT m (a -> b) -> NullFsT m a -> NullFsT m b # (>) :: NullFsT m a -> NullFsT m b -> NullFsT m b # (<*) :: NullFsT m a -> NullFsT m b -> NullFsT m a #
MonadIO m => MonadIO (NullFsT m) Source #
Methods liftIO :: IO a -> NullFsT m a #
Monad m => ChFilesystem (NullFsT m) Source #
Methods fopen :: Path -> NullFsT m (FSExec (FileA (NullFsT m))) Source # fpwd :: NullFsT m Path Source # fcd :: Path -> NullFsT m () Source #
Monad m => CanMount (NullFsT m) (NullFsT m) Source #
Methods fmount :: Mountpoint (NullFsT m) -> NullFsT m () Source #

absPath :: ChFilesystem m => Path -> m Path Source #

cmpPath' :: [PathSeg] -> [PathSeg] -> Maybe [PathSeg] Source #

cmpPath :: Path -> Path -> Path Source #

isPath :: Path -> Bool Source #

path :: String -> Path Source #

expandofs :: (ChAtoms m, ChFilesystem m) => m (Mountpoint m) Source #

printerfs :: (ChPrinter m, ChAtoms m, ChFilesystem m) => m (Mountpoint m) Source #

iomapfs :: (MonadIO m, ChAtoms m) => String -> m (Mountpoint m) Source #

mount :: (CanMount m m, ChAtoms m, ChFilesystem m) => m (Mountpoint m) -> Path -> m () Source #

withNullFs :: ChAtoms m => NullFsT m a -> m a Source #

withExpandoFs :: (ChAtoms m, ChAtoms (NullFsT m)) => NullFsT m a -> m a Source #