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.
zipMaybe :: [a] -> [b] -> Maybe [(a, b)]liquidhaskell-boot Language.Haskell.Liquid.Misc No documentation available.
bndrIsJoin_maybe :: OutputableBndr a => a -> JoinPointHoodliquidhaskell-boot Liquid.GHC.API No documentation available.
dataConWrapId_maybe :: DataCon -> Maybe Idliquidhaskell-boot Liquid.GHC.API Get the Id of the DataCon wrapper: a function that wraps the "actual" constructor so it has the type visible in the source program: c.f. dataConWorkId. Returns Nothing if there is no wrapper, which occurs for an algebraic data constructor and also for a newtype (whose constructor is inlined compulsorily)
getClassPredTys_maybe :: PredType -> Maybe (Class, [Type])liquidhaskell-boot Liquid.GHC.API No documentation available.
isClassOpId_maybe :: Id -> Maybe Classliquidhaskell-boot Liquid.GHC.API No documentation available.
nameModule_maybe :: Name -> Maybe Moduleliquidhaskell-boot Liquid.GHC.API No documentation available.
splitFunTy_maybe :: Type -> Maybe (FunTyFlag, Mult, Type, Type)liquidhaskell-boot Liquid.GHC.API Attempts to extract the multiplicity, argument and result types from a type
splitTyConApp_maybe :: HasDebugCallStack => Type -> Maybe (TyCon, [Type])liquidhaskell-boot Liquid.GHC.API Attempts to tease a type apart into a type constructor and the application of a number of arguments to that constructor
srcSpanFileName_maybe :: SrcSpan -> Maybe FastStringliquidhaskell-boot Liquid.GHC.API Obtains the filename for a SrcSpan if it is "good"
synTyConDefn_maybe :: TyCon -> Maybe ([TyVar], Type)liquidhaskell-boot Liquid.GHC.API Extract the TyVars bound by a vanilla type synonym and the corresponding (unsubstituted) right hand side.