System.Chatty.Filesystem

Documentation

data FSExec a

Constructors

FSSucc a

NoPermission

NotFound

data File m

Constructors

File

Fields

loadFun :: m (FSExec ())

saveFun :: m (FSExec ())

closeFun :: m ()

leftBehind :: String

rightPending :: String

type FileA m = Atom (File m)

class ChAtoms m => ChFilesystem m where

Methods

fopen :: String -> m (FSExec (FileA 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 ())

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)

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)

MonadIO m => MonadIO (FileScannerT m)

ChAtoms m => ChScanner (FileScannerT m)