Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

  1. nameModule_maybe :: Name -> Maybe Module

    liquidhaskell-boot Liquid.GHC.API

    No documentation available.

  2. 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

  3. 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

  4. srcSpanFileName_maybe :: SrcSpan -> Maybe FastString

    liquidhaskell-boot Liquid.GHC.API

    Obtains the filename for a SrcSpan if it is "good"

  5. 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.

  6. synTyConRhs_maybe :: TyCon -> Maybe Type

    liquidhaskell-boot Liquid.GHC.API

    Extract the information pertaining to the right hand side of a type synonym (type) declaration.

  7. topNormaliseType_maybe :: FamInstEnvs -> Type -> Maybe Reduction

    liquidhaskell-boot Liquid.GHC.API

    Get rid of *outermost* (or toplevel) * type function redex * data family redex * newtypes returning an appropriate Representational coercion. Specifically, if topNormaliseType_maybe env ty = Just (co, ty') then (a) co :: ty ~R ty' (b) ty' is not a newtype, and is not a type-family or data-family redex However, ty' can be something like (Maybe (F ty)), where (F ty) is a redex. Always operates homogeneously: the returned type has the same kind as the original type, and the returned coercion is always homogeneous.

  8. tyConAppArgs_maybe :: Type -> Maybe [Type]

    liquidhaskell-boot Liquid.GHC.API

    The same as snd . splitTyConApp

  9. tyConAppTyCon_maybe :: Type -> Maybe TyCon

    liquidhaskell-boot Liquid.GHC.API

    The same as fst . splitTyConApp We can short-cut the FunTy case

  10. tyConClass_maybe :: TyCon -> Maybe Class

    liquidhaskell-boot Liquid.GHC.API

    If this TyCon is that for a class instance, return the class it is for. Otherwise returns Nothing

Page 246 of many | Previous | Next