Documentation

editCmd :: Interactive Command Source #

showCmd :: Interactive Command Source #

patternCmd :: Interactive Command Source #

data VerboseVar Source #

showImpl :: Semantic e GlobalID (GlobalID, Free t (Symbol t1)) => e -> String Source #

rangeFile :: Traversal' SourceRange String Source #

viewCmd :: (MonadCharParser s m m1, MonadIO m1, ?sessionState :: IORef SessionState, ?serve :: Bytes -> IO (), ?curlyPlex :: CurlyPlex) => String -> m1 () -> ([String] -> m1 ()) -> ([String] -> ModLeaf GlobalID (NameExpr GlobalID) -> IO ()) -> (Documentation, m1 Bool) Source #

editDoc :: [Char] Source #

showExprDefault :: (?terminal :: trm, ?style :: Style, ?sessionState :: IORef SessionState, ?serve :: Bytes -> IO (), ?patterns :: DocPatterns, Terminal trm, MonadIO m, Semantic e GlobalID (GlobalID, Free t (Symbol t1)), Annotated e s) => Documentation -> [Char] -> e -> m () Source #

showDoc :: [Char] Source #

patternDoc :: [Char] Source #