ZFS

Documentation

newClientPort :: PortNumber

fs1 :: Term

fs2 :: Term

type FSZipper r m = DZipper r m Term Path

data OSReq r m

Constructors

OSRDone

OSRRead (ReadK r m)

OSRWrite String (UnitK r m)

OSRTrace String (UnitK r m)

OSRCommit Term (UnitK r m)

OSRefresh (CCT r m (FSZipper r m) -> CCT r m (OSReq r m))

type UnitK r m = CCT r m () -> CCT r m (OSReq r m)

type ReadK r m = CCT r m String -> CCT r m (OSReq r m)

data ProcessCTX

Constructors

ProcessCTX

Fields

psocket :: Socket

data JobQueueT r

Constructors

JQBlockedOnRead ProcessCTX (ReadK r IO)

JQRunnable ProcessCTX (UnitK r IO)

JQNewClient Socket

data World r

Constructors

World

Fields

mountedFS :: Term

jobQueue :: [JobQueueT r]

osPrompt :: Prompt r (OSReq r IO)

main' :: Term -> IO a

osloop :: World t -> CCT t IO b

syslog :: MonadIO m => [String] -> m ()

interpret'req :: World r -> ProcessCTX -> OSReq r IO -> CCT r IO (World r)

run'process :: (forall m. Monad m => Prompt r (OSReq r m) -> CCT r m (OSReq r m)) -> Prompt r (OSReq r IO) -> CCT r IO (OSReq r IO)

fsProcess :: Monad m => CCT r m (FSZipper r m) -> Prompt r (OSReq r m) -> CCT r m (OSReq r m)

fsloop :: forall r m. Monad m => DZipper r m Term Path -> Prompt r (OSReq r m) -> String -> CCT r m (OSReq r m)

show_path :: [Path] -> String

fsCommands :: Monad m => [(String, FSZipper r m -> Prompt r (OSReq r m) -> String -> String -> String -> CCT r m (OSReq r m))]

fcmd'commit :: forall t t1 r m. Monad m => DZipper r m Term Path -> Prompt r (OSReq r m) -> t -> t1 -> String -> CCT r m (OSReq r m)

data FSCmdResp r m

Constructors

FSCS String

FSCZ (FSZipper r m)

fsWrapper :: forall t t1 r m. Monad m => (FSZipper r m -> Prompt r (FSCmdResp r m) -> t -> t1 -> CCT r m (FSCmdResp r m)) -> FSZipper r m -> Prompt r (OSReq r m) -> t -> t1 -> String -> CCT r m (OSReq r m)

cmd'help :: forall t t1 t2 m r m1 r1 m2. (Monad m, Monad m1) => FSZipper r m -> t -> t1 -> t2 -> m1 (FSCmdResp r1 m2)

cmd'ls :: forall t r m r1 m1. Monad m => FSZipper r m -> Prompt r (FSCmdResp r m) -> t -> String -> CCT r m (FSCmdResp r1 m1)

cmd'next :: forall t t1 t2 r m. Monad m => DZipper r m Term Path -> t -> t1 -> t2 -> CCT r m (FSCmdResp r m)

cd'zipper :: Monad m => FSZipper r m -> Prompt r (FSCmdResp r m) -> String -> CCT r m (FSZipper r m)

list_node :: forall t t1 t2. DZipper t t1 Term t2 -> String

cmd'mknode :: forall t r r1 m m1. Monad m1 => Term -> DZipper r m1 Term Path -> Prompt r (FSCmdResp r1 m) -> t -> String -> CCT r m1 (FSCmdResp r m1)

cmd'echo :: forall t r m. Monad m => DZipper r m Term Path -> Prompt r (FSCmdResp r m) -> t -> String -> CCT r m (FSCmdResp r m)

zip'back'to'place :: forall r m r1 m1 term. Monad m => Prompt r (FSCmdResp r m) -> DZipper r1 m1 term Path -> DZipper r m Term Path -> CCT r m (FSZipper r m)

zipback'toplace z z1| brings z1 to the same place as z Right now we use a pathetic algorithm -- but it works...

del'zipper :: forall r m. Monad m => DZipper r m Term Path -> Prompt r (FSCmdResp r m) -> String -> CCT r m (FSZipper r m, Term)

ins'zipper :: forall r m. Monad m => Term -> FSZipper r m -> Prompt r (FSCmdResp r m) -> String -> CCT r m (FSCmdResp r m)

cmd'rm :: forall t r m. Monad m => DZipper r m Term Path -> Prompt r (FSCmdResp r m) -> t -> String -> CCT r m (FSCmdResp r m)

cmd'mv :: forall t r m. Monad m => DZipper r m Term Path -> Prompt r (FSCmdResp r m) -> t -> String -> CCT r m (FSCmdResp r m)

cmd'cp :: forall t r m. Monad m => DZipper r m Term Path -> Prompt r (FSCmdResp r m) -> t -> String -> CCT r m (FSCmdResp r m)

svc :: Monad m => Prompt r b -> ((CCT r m a -> CCT r m b) -> b) -> CCT r m a

is'nl :: Char -> Bool

is'whitespace :: Char -> Bool

breakspan :: (a -> Bool) -> [a] -> ([a], [a])

split'path :: String -> (String, String)

type FDSET = CUInt

type TIMEVAL = CLong

c_select :: CInt -> Ptr FDSET -> Ptr FDSET -> Ptr FDSET -> Ptr TIMEVAL -> IO CInt

fd2fds :: CInt -> [FDSET]

fds2mfd :: [FDSET] -> [CInt]

test_fd_conv :: Bool

test_fd_conv' :: Bool

select'read'pending :: [CInt] -> IO [CInt]

fcntl :: CInt -> CInt -> CInt -> IO CInt

cleanup'fd :: [CInt] -> IO ()