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

Ord Path

Show Path

data PathSpec

Constructors

Path PathRoot [PathSeg]

Instances

Eq PathSpec

Ord PathSpec

Show PathSpec

data PathRoot

Constructors

Absolute

Relative

Instances

Eq PathRoot

Ord PathRoot

Show PathRoot

data PathSeg

Constructors

SelParent

SelChild String

Instances

Eq PathSeg

Ord PathSeg

Show PathSeg

type FileA m = Atom (File m)

data Mountpoint m

Constructors

forall a . 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

Methods

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

fpwd :: m Path

fcd :: Path -> m ()

Instances

Monad m => ChFilesystem (NullFsT m)

class Monad m => CanLoad m n where

Methods

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

class Monad m => CanSave m n where

Methods

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

class Monad m => CanMount m n where

Methods

fmount :: Mountpoint n -> m ()

Instances

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

data FilePrinterT m a

Constructors

FilePrinter

Fields

runFilePrinterT :: FileA m -> m a

Instances

MonadTrans FilePrinterT

Monad m => Monad (FilePrinterT m)

Functor f => Functor (FilePrinterT f)

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

MonadIO m => MonadIO (FilePrinterT m)

ChAtoms m => ChPrinter (FilePrinterT m)

data FileScannerT m a

Constructors

FileScanner

Fields

runFileScannerT :: FileA m -> m a

Instances

MonadTrans FileScannerT

Monad m => Monad (FileScannerT m)

Functor f => Functor (FileScannerT f)

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

MonadIO m => MonadIO (FileScannerT m)

ChAtoms m => ChScanner (FileScannerT m)

newtype NullFsT m a

Constructors

NullFs

Fields

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

Instances

MonadTrans NullFsT

Monad m => Monad (NullFsT m)

Functor f => Functor (NullFsT f)

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

MonadIO m => MonadIO (NullFsT m)

Monad m => ChFilesystem (NullFsT m)

Monad m => CanMount (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