Documentation

q_string :: QuasiQuoter Source #

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

subPath :: [String] -> [String] -> [String] Source #

showMetaDir :: FormatArg t => Free (ModDir t) [Char] -> String Source #

optimized :: (Functor (t m), Semantic e String (String, Maybe (NameExpr GlobalID)), MonadState (x, y, (z, Library)) m, MonadTrans t) => e -> t m (NameExpr GlobalID) Source #

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

toTerminal :: String -> String 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 #

data SessionState Source #

wd :: Lens' SessionState [String] Source #

this :: Lens' SessionState Library Source #

style :: Lens' SessionState Style Source #

warnings :: Lens' SessionState (Maybe String, [Warning]) Source #

patterns :: Lens' SessionState DocPatterns 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 KeyInfo Source #

data KeyOps Source #

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 #

type Command = (Documentation, OpParser IO Bool) Source #

withDoc :: String -> t -> (Documentation, t) Source #

dirArg :: (MonadParser s m p, ParseStream s, StreamChar s ~ Char, Monad m) => p String Source #

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

data CurlyDNSQuery Source #

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