ZipperM

Documentation

data Term

Constructors

File String

Folder (Map FileName Term)

Instances

Show Term

type FileName = String

type FileCont = String

data Path

Constructors

Down

DownTo FileName

DownToN Int

Up

Next

Instances

Eq Path

Show Path

data DZipper r m term dir

Constructors

DZipper

Fields

dz_dir :: dir

dz_path :: [dir]

dz_term :: term

dz_k :: CCT r m (Maybe term, dir) -> CCT r m (DZipper r m term dir)

DZipDone term

dzip'term :: Monad m => Term -> CCT r m (DZipper r m Term Path)

module Control.Monad.CC

promptP :: MonadDelimitedCont p s m => (p b -> m b) -> m b