| /dports/lang/ghc/ghc-8.10.7/libraries/haskeline/System/Console/Haskeline/ |
| H A D | History.hs | 16 emptyHistory,
49 emptyHistory :: History
50 emptyHistory = History Seq.empty Nothing function
59 readHistory file = handle (\(_::IOException) -> return emptyHistory) $ do
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/haskeline-0.8.0.0/System/Console/Haskeline/ |
| H A D | History.hs | 16 emptyHistory,
49 emptyHistory :: History
50 emptyHistory = History Seq.empty Nothing function
59 readHistory file = handle (\(_::IOException) -> return emptyHistory) $ do
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/haskeline-0.8.2/System/Console/Haskeline/ |
| H A D | History.hs | 16 emptyHistory,
49 emptyHistory :: History
50 emptyHistory = History Seq.empty Nothing function
59 readHistory file = handle (\(_::IOException) -> return emptyHistory) $ do
|
| /dports/devel/kdevelop/kdevelop-21.12.3/kdevplatform/documentation/ |
| H A D | documentationview.h | 39 void emptyHistory();
|
| H A D | documentationview.cpp | 126 …onnect(mProvidersModel, &ProvidersModel::providersChanged, this, &DocumentationView::emptyHistory); in initialize()
235 void DocumentationView::emptyHistory() in emptyHistory() function in DocumentationView
|
| /dports/lang/ghc/ghc-8.10.7/libraries/haskeline/System/Console/Haskeline/Command/ |
| H A D | History.hs | 34 historyRef <- liftIO $ newIORef emptyHistory
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/haskeline-0.8.0.0/System/Console/Haskeline/Command/ |
| H A D | History.hs | 34 historyRef <- liftIO $ newIORef emptyHistory
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/haskeline-0.8.2/System/Console/Haskeline/Command/ |
| H A D | History.hs | 34 historyRef <- liftIO $ newIORef emptyHistory
|
| /dports/lang/ghc/ghc-8.10.7/compiler/main/ |
| H A D | InteractiveEval.hs | 234 status (emptyHistory size)
301 emptyHistory :: Int -> BoundedList History
302 emptyHistory size = nilBL size function
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ |
| H A D | JShellTool.java | 642 static ReplayableHistory emptyHistory() { in emptyHistory() method in JShellTool.ReplayableHistory
1065 replayableHistory = ReplayableHistory.emptyHistory(); in resetState()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ |
| H A D | JShellTool.java | 642 static ReplayableHistory emptyHistory() { in emptyHistory() method in JShellTool.ReplayableHistory
1065 replayableHistory = ReplayableHistory.emptyHistory(); in resetState()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ |
| H A D | JShellTool.java | 644 static ReplayableHistory emptyHistory() { in emptyHistory() method in JShellTool.ReplayableHistory
1081 replayableHistory = ReplayableHistory.emptyHistory(); in resetState()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ |
| H A D | JShellTool.java | 648 static ReplayableHistory emptyHistory() { in emptyHistory() method in JShellTool.ReplayableHistory
1085 replayableHistory = ReplayableHistory.emptyHistory(); in resetState()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ |
| H A D | JShellTool.java | 642 static ReplayableHistory emptyHistory() { in emptyHistory() method in JShellTool.ReplayableHistory
1065 replayableHistory = ReplayableHistory.emptyHistory(); in resetState()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ |
| H A D | JShellTool.java | 642 static ReplayableHistory emptyHistory() { in emptyHistory() method in JShellTool.ReplayableHistory
1065 replayableHistory = ReplayableHistory.emptyHistory(); in resetState()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ |
| H A D | JShellTool.java | 644 static ReplayableHistory emptyHistory() { in emptyHistory() method in JShellTool.ReplayableHistory
1081 replayableHistory = ReplayableHistory.emptyHistory(); in resetState()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ |
| H A D | JShellTool.java | 642 static ReplayableHistory emptyHistory() { in emptyHistory() method in JShellTool.ReplayableHistory
1065 replayableHistory = ReplayableHistory.emptyHistory(); in resetState()
|