Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. insertExplicitAssumptionFor' :: Eq var => var -> (var, VarInfo var) -> VarInfo var -> VarInfo var

   rzk	Rzk.TypeCheck

   No documentation available.

2. makeAssumptionExplicit :: Eq var => (var, VarInfo var) -> [(var, VarInfo var)] -> TypeCheck var (Bool, [(var, VarInfo var)])

   rzk	Rzk.TypeCheck

   No documentation available.

3. varDeclaredAssumptions :: VarInfo var -> [var]

   rzk	Rzk.TypeCheck

   No documentation available.

4. varIsAssumption :: VarInfo var -> Bool

   rzk	Rzk.TypeCheck

   No documentation available.

5. SBPMsgLinuxProcessFdSummary :: MsgLinuxProcessFdSummary -> Msg -> SBPMsg

   sbp	SwiftNav.SBP

   No documentation available.

6. _SBPMsgLinuxProcessFdSummary :: Prism' SBPMsg (MsgLinuxProcessFdSummary, Msg)

   sbp	SwiftNav.SBP

   No documentation available.

7. data MsgLinuxProcessFdSummary

   sbp	SwiftNav.SBP.Linux

   SBP class for message MSG_LINUX_PROCESS_FD_SUMMARY (0x7F07). Summary of open file descriptors on the system.

8. MsgLinuxProcessFdSummary :: Word32 -> Text -> MsgLinuxProcessFdSummary

   sbp	SwiftNav.SBP.Linux

   No documentation available.

9. _msgLinuxProcessFdSummary_most_opened :: MsgLinuxProcessFdSummary -> !Text

   sbp	SwiftNav.SBP.Linux

   A null delimited list of strings which alternates between a string representation of the process count and the file name whose count it being reported. That is, in C string syntax "320varlogsyslog0120tmp/foo0" with the end of the list being 2 NULL terminators in a row.

10. _msgLinuxProcessFdSummary_sys_fd_count :: MsgLinuxProcessFdSummary -> !Word32

    sbp	SwiftNav.SBP.Linux

    count of total FDs open on the system

Page 225 of many | Previous | Next