Monky.Disk.Common

This provides the class used by file system specific implementations

Documentation

data FSI

Existential datatype to wrap FsInfo instances

Constructors

FsInfo a => FSI a

class FsInfo a where

Type class that should be instanciated by file system handlers

The Monky.Disk module is designed to work with different handlers specialized for different file systems and a generic block device handler.

This typeclass gives the interface a file system handler has to implement to be usable.

Methods

getFsFree :: a -> IO Int

Get the bytes free on the file system

getFsSize :: a -> IO Int

Get the total size of the file system

getFsUsed :: a -> IO Int

Get the bytes used by the file system

getFsAll :: a -> IO (Int, Int, Int)

Get all data, might be more efficient (Size, Free, Used)

Instances

FsInfo BtrfsHandle

Methods

getFsFree :: BtrfsHandle -> IO Int

getFsSize :: BtrfsHandle -> IO Int

getFsUsed :: BtrfsHandle -> IO Int

getFsAll :: BtrfsHandle -> IO (Int, Int, Int)

FsInfo BlockHandle

Methods

getFsFree :: BlockHandle -> IO Int

getFsSize :: BlockHandle -> IO Int

getFsUsed :: BlockHandle -> IO Int

getFsAll :: BlockHandle -> IO (Int, Int, Int)

fsToFSI :: FsInfo a => a -> FSI

Wrap a FsInfo into an FSI

blBasePath :: String

The base path of block devices on the system

devToMapper :: String -> IO [String]

Get the "top most" virtual device(s) based on the physical device

mapperToDev :: String -> IO [String]

Get the physical block devices supporting some device