Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
idDataConM :: Id -> Maybe DataConliquidhaskell-boot Language.Haskell.Liquid.GHC.Misc No documentation available.
-
liquidhaskell-boot Language.Haskell.Liquid.UX.Config path to directory for including specs
-
liquidhaskell-boot Liquid.GHC.API Get from either the worker or the wrapper Id to the DataCon. Currently used only in the desugarer. INVARIANT: idDataCon (dataConWrapId d) = d: remember, dataConWrapId can return either the wrapper or the worker
-
liquidhaskell-boot Liquid.GHC.API No documentation available.
idInfo :: HasDebugCallStack => Id -> IdInfoliquidhaskell-boot Liquid.GHC.API No documentation available.
idInlinePragma :: Id -> InlinePragmaliquidhaskell-boot Liquid.GHC.API No documentation available.
-
liquidhaskell-boot Liquid.GHC.API No documentation available.
-
liquidhaskell-boot Liquid.GHC.API No documentation available.
ideclAs :: ImportDecl pass -> Maybe (XRec pass ModuleName)liquidhaskell-boot Liquid.GHC.API as Module
ideclName :: ImportDecl pass -> XRec pass ModuleNameliquidhaskell-boot Liquid.GHC.API Module name.