Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
identify :: Interned t => Id -> Uninterned t -> tintern Data.Interned.Internal No documentation available.
ident :: Iso' Identifier Stringlanguage-nix Language.Nix.Identifier An isomorphism that allows conversion of Identifier from/to the standard String type via review.
\str -> fromString str == ident # str
\str -> set ident str undefined == ident # str
\str -> view ident (review ident str) == str
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.