System.Chatty.Filesystem

Documentation

data FSExec a

Constructors

FSSucc a

NoPermission

NotFound

data File m

Constructors

File

Fields

• loadFun :: m (FSExec ())
• saveFun :: m (FSExec ())
• leftBehind :: String
• rightPending :: String

newtype Path

Constructors

MultiPath [PathSpec]

Instances

Eq Path

Methods

(==) :: Path -> Path -> Bool

(/=) :: Path -> Path -> Bool

Ord Path

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

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

data PathSpec

Constructors

Path PathRoot [PathSeg]

Instances

Eq PathSpec

Methods

(==) :: PathSpec -> PathSpec -> Bool

(/=) :: PathSpec -> PathSpec -> Bool

Ord PathSpec

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

Methods

showsPrec :: Int -> PathSpec -> ShowS

show :: PathSpec -> String

showList :: [PathSpec] -> ShowS

data PathRoot

Constructors

Absolute

Relative

Instances

Eq PathRoot

Methods

(==) :: PathRoot -> PathRoot -> Bool

(/=) :: PathRoot -> PathRoot -> Bool

Ord PathRoot

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

Methods

showsPrec :: Int -> PathRoot -> ShowS

show :: PathRoot -> String

showList :: [PathRoot] -> ShowS

data PathSeg

Constructors

SelParent

SelChild String

Instances

Eq PathSeg

Methods

(==) :: PathSeg -> PathSeg -> Bool

(/=) :: PathSeg -> PathSeg -> Bool

Ord PathSeg

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

Methods

showsPrec :: Int -> PathSeg -> ShowS

show :: PathSeg -> String

showList :: [PathSeg] -> ShowS

type FileA m = Atom (File m)

data Mountpoint m

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

Minimal complete definition

fopen, fpwd, fcd

Methods

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

fpwd :: m Path

fcd :: Path -> m ()

Instances

Monad m => ChFilesystem (NullFsT m)

Methods

fopen :: Path -> NullFsT m (FSExec (FileA (NullFsT m)))

fpwd :: NullFsT m Path

fcd :: Path -> NullFsT m ()

class Monad m => CanLoad m n where

Minimal complete definition

fload

Methods

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

class Monad m => CanSave m n where

Minimal complete definition

fsave

Methods

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

class Monad m => CanMount m n where

Minimal complete definition

fmount

Methods

fmount :: Mountpoint n -> m ()

Instances

Monad m => CanMount (NullFsT m) (NullFsT m)

Methods

fmount :: Mountpoint (NullFsT m) -> NullFsT m ()

data FilePrinterT m a

Constructors

FilePrinter

Fields

• runFilePrinterT :: FileA m -> m a

Instances

MonadTrans FilePrinterT

Methods

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

Monad m => Monad (FilePrinterT m)

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)

Methods

fmap :: (a -> b) -> FilePrinterT f a -> FilePrinterT f b

(<$) :: a -> FilePrinterT f b -> FilePrinterT f a

(Functor m, Monad m) => Applicative (FilePrinterT m)

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)

Methods

liftIO :: IO a -> FilePrinterT m a

ChAtoms m => ChPrinter (FilePrinterT m)

Methods

mprint :: String -> FilePrinterT m ()

mnoecho :: String -> FilePrinterT m ()

mflush :: FilePrinterT m ()

mnomask :: String -> FilePrinterT m ()

data FileScannerT m a

Constructors

FileScanner

Fields

• runFileScannerT :: FileA m -> m a

Instances

MonadTrans FileScannerT

Methods

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

Monad m => Monad (FileScannerT m)

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)

Methods

fmap :: (a -> b) -> FileScannerT f a -> FileScannerT f b

(<$) :: a -> FileScannerT f b -> FileScannerT f a

(Functor m, Monad m) => Applicative (FileScannerT m)

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)

Methods

liftIO :: IO a -> FileScannerT m a

ChAtoms m => ChScanner (FileScannerT m)

Methods

mscan1 :: FileScannerT m Char

mscanL :: FileScannerT m String

mscannable :: FileScannerT m Bool

mscanh :: FileScannerT m (Maybe Handle)

mready :: FileScannerT m Bool

newtype NullFsT m a

Constructors

NullFs

Fields

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

Instances

MonadTrans NullFsT

Methods

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

Monad m => Monad (NullFsT m)

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)

Methods

fmap :: (a -> b) -> NullFsT f a -> NullFsT f b

(<$) :: a -> NullFsT f b -> NullFsT f a

(Functor m, Monad m) => Applicative (NullFsT m)

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)

Methods

liftIO :: IO a -> NullFsT m a

Monad m => ChFilesystem (NullFsT m)

Methods

fopen :: Path -> NullFsT m (FSExec (FileA (NullFsT m)))

fpwd :: NullFsT m Path

fcd :: Path -> NullFsT m ()

Monad m => CanMount (NullFsT m) (NullFsT m)

Methods

fmount :: Mountpoint (NullFsT m) -> NullFsT m ()

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

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

cmpPath :: Path -> Path -> Path

isPath :: Path -> Bool

path :: String -> Path

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

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

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

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

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

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