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.

Exact lookup

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

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

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

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

   liquidhaskell-boot	Liquid.GHC.API

   The same as snd . splitTyConApp

5. tyConAppTyCon_maybe :: Type -> Maybe TyCon

   liquidhaskell-boot	Liquid.GHC.API

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

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

7. tyConDataCons_maybe :: TyCon -> Maybe [DataCon]

   liquidhaskell-boot	Liquid.GHC.API

   Determine the DataCons originating from the given TyCon, if the TyCon is the sort that can have any constructors (note: this does not include abstract algebraic types)

8. tyConFamInst_maybe :: TyCon -> Maybe (TyCon, [Type])

   liquidhaskell-boot	Liquid.GHC.API

   If this TyCon is that of a data family instance, return the family in question and the instance types. Otherwise, return Nothing

9. tyConSingleDataCon_maybe :: TyCon -> Maybe DataCon

   liquidhaskell-boot	Liquid.GHC.API

   If the given TyCon has a single data constructor, i.e. it is a data type with one alternative, a tuple type or a newtype then that constructor is returned. If the TyCon has more than one constructor, or represents a primitive or function type constructor then Nothing is returned.

10. parseMaybe :: (a -> Parser b) -> a -> Maybe b

    microaeson	Data.Aeson.Micro

    Run Parser. A common use-case is parseMaybe parseJSON.

Page 251 of many | Previous | Next