curly-0.59.4.2: A minimal cross-compiler for the simply-typed lambda-calculus

Safe HaskellNone
LanguageHaskell2010

Curly.Session.Commands.Common

Documentation

showPath :: (Foldable t, Foldable f) => f (t Char) -> [Char] Source #

liftIOWarn :: (?sessionState :: IORef SessionState, ?serve :: Bytes -> IO (), MonadIO m) => IO () -> m () Source #

serveString :: (?sessionState :: IORef SessionState, ?serve :: Bytes -> IO (), MonadIO m) => String -> m () Source #

serveStrLn :: (?sessionState :: IORef SessionState, ?serve :: Bytes -> IO (), MonadIO m) => String -> m () Source #

editSource :: (?edit :: [Char] -> (t, t1) -> Bytes -> IO (Maybe Bytes)) => String -> (t, t1) -> IO () -> IO () Source #

withSessionState :: (?curlyPlex :: CurlyPlex, MonadIO m) => ((?sessionState :: IORef SessionState) => m a) -> m a Source #

withSessionLib :: (MonadIO m, ?sessionState :: IORef SessionState) => OpParser m a -> OpParser m a Source #

withStyle :: (?sessionState :: IORef SessionState, MonadIO m) => ((?style :: Style) => m a) -> m a Source #

withPatterns :: (?sessionState :: IORef SessionState, MonadIO m) => ((?patterns :: DocPatterns) => m a) -> m a Source #

getSession :: (?sessionState :: IORef SessionState, MonadIO m) => Lens' SessionState a -> m a Source #

data KeyOps Source #

Constructors

KeyOps 

clientKey :: (?clientOps :: KeyOps) => String -> IO (Maybe KeyInfo) Source #

clientKeyGen :: (?clientOps :: KeyOps) => Bool -> String -> IO () Source #

clientKeyList :: (?clientOps :: KeyOps) => IO [(String, KeyFingerprint, Bool)] Source #

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 #

absPath :: (?sessionState :: IORef SessionState, MonadParser s m p, ParseStream s, StreamChar s ~ Char, Monad m, MonadIO p) => String -> p [String] Source #

dns_lookup :: (MonadIO m, Read a) => (Proxy a -> CurlyDNSQuery) -> m (Maybe a) Source #