Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data SessionState
- wd :: Lens' SessionState [String]
- this :: Lens' SessionState Library
- style :: Lens' SessionState Style
- patterns :: Lens' SessionState DocPatterns
- withSessionState :: (?curlyPlex :: CurlyPlex, MonadIO m) => ((?sessionState :: IORef SessionState) => m a) -> m a
- withStyle :: (?sessionState :: IORef SessionState, MonadIO m) => ((?style :: Style) => m a) -> m a
- getSession :: (?sessionState :: IORef SessionState, MonadIO m) => Lens' SessionState a -> m a
- data KeyInfo = KeyInfo PublicKey Metadata (Maybe PrivateKey)
- data KeyOps = KeyOps {}
- type Interactive t = (?sessionState :: IORef SessionState, ?targetParams :: TargetParams, ?curlyPlex :: CurlyPlex, ?curlyConfig :: CurlyConfig, ?serve :: Bytes -> IO (), ?edit :: String -> (Int, Int) -> Bytes -> IO (Maybe Bytes), ?killServer :: IO (), ?quitSession :: IO (), ?access :: Access, ?subSession :: CurlyConfig -> OpParser IO (), ?clientOps :: KeyOps, ?terminal :: ANSITerm) => t
- type Command = (Documentation, OpParser IO Bool)
- commands :: Interactive [(String, [(String, Command)])]
- commandNames :: [String]
- interactiveSession :: Interactive (IO () -> OpParser IO ())
- subPath :: [String] -> [String] -> [String]
- dirArg :: (MonadParser s m p, ParseStream s, StreamChar s ~ Char, Monad m) => p String
- colorNames :: Map String String
- serveStrLn :: (?sessionState :: IORef SessionState, ?serve :: Bytes -> IO (), MonadIO m) => String -> m ()
- serveString :: (?sessionState :: IORef SessionState, ?serve :: Bytes -> IO (), MonadIO m) => String -> m ()
Sessions
data SessionState Source #
withSessionState :: (?curlyPlex :: CurlyPlex, MonadIO m) => ((?sessionState :: IORef SessionState) => m a) -> m a Source #
withStyle :: (?sessionState :: IORef SessionState, MonadIO m) => ((?style :: Style) => m a) -> m a Source #
getSession :: (?sessionState :: IORef SessionState, MonadIO m) => Lens' SessionState a -> m a Source #
Commands
type Interactive t = (?sessionState :: IORef SessionState, ?targetParams :: TargetParams, ?curlyPlex :: CurlyPlex, ?curlyConfig :: CurlyConfig, ?serve :: Bytes -> IO (), ?edit :: String -> (Int, Int) -> Bytes -> IO (Maybe Bytes), ?killServer :: IO (), ?quitSession :: IO (), ?access :: Access, ?subSession :: CurlyConfig -> OpParser IO (), ?clientOps :: KeyOps, ?terminal :: ANSITerm) => t Source #
commandNames :: [String] Source #
Parsers
interactiveSession :: Interactive (IO () -> OpParser IO ()) Source #
Utilities
dirArg :: (MonadParser s m p, ParseStream s, StreamChar s ~ Char, Monad m) => p String Source #
colorNames :: Map String String Source #
A list of colors gotten from 'http://www.color-hex.com/color-names.html'
serveStrLn :: (?sessionState :: IORef SessionState, ?serve :: Bytes -> IO (), MonadIO m) => String -> m () Source #
serveString :: (?sessionState :: IORef SessionState, ?serve :: Bytes -> IO (), MonadIO m) => String -> m () Source #