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

Safe HaskellNone
LanguageHaskell2010

Curly.Session.Commands.Query

Documentation

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 #

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 #