Documentation

nav :: Member Rpc r => CurrentTag -> Sem r () Source #

continue :: Member Rpc r => CurrentTag -> Text -> Sem r Bool Source #

cycle :: Members [AtomicState (Maybe CurrentTag), Rpc] r => CurrentTag -> Sem r () Source #

storeAndNav :: Members [AtomicState (Maybe CurrentTag), Rpc] r => Text -> NonEmpty (TagLoc (Path Abs File)) -> Sem r () Source #

start :: Members [AtomicState (Maybe CurrentTag), AtomicState Env, Rpc, Stop Report, Embed IO] r => Text -> Sem r () Source #

nextTag :: Members [AtomicState (Maybe CurrentTag), AtomicState Env, Rpc, Stop Report, Embed IO] r => Text -> Sem r () Source #

cword :: Member Rpc r => Sem r Text Source #

proNextTag :: Members [AtomicState (Maybe CurrentTag), AtomicState Env, Rpc !! RpcError, Embed IO] r => Args -> Handler r () Source #