Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
HsigShapeSortMismatch :: AvailInfo -> AvailInfo -> HsigShapeMismatchReasonghc-lib-parser GHC.Tc.Errors.Types HsigShapeSortMismatch is an error indicating that an item in the export list of a signature doesn't match the item of the same name in another signature when merging the two – one is a type while the other is a plain identifier. Test cases: none
-
ghc-lib-parser GHC.Tc.Errors.Types No documentation available.
-
ghc-lib-parser GHC.Tc.Errors.Types No documentation available.
ppDataSort :: DataSort -> SDocghc-lib-parser GHC.Tc.Errors.Types No documentation available.
-
ghc-lib-parser GHC.Tc.Types.Constraint Used to indicate which sort of hole we have.
-
ghc-lib-parser GHC.Tc.Types.Constraint What flavour of hole is this?
scopedSort :: [TyCoVar] -> [TyCoVar]ghc-lib-parser GHC.Tc.Utils.TcType Do a topological sort on a list of tyvars, so that binders occur before occurrences E.g. given [ a::k, k::*, b::k ] it'll return a well-scoped list [ k::*, a::k, b::k ] This is a deterministic sorting operation (that is, doesn't depend on Uniques). It is also meant to be stable: that is, variables should not be reordered unnecessarily. This is specified in Note [ScopedSort] See also Note [Ordering of implicit variables] in GHC.Rename.HsType
-
ghc-lib-parser GHC.Types.Basic No documentation available.
boxityTupleSort :: Boxity -> TupleSortghc-lib-parser GHC.Types.Basic No documentation available.
tupleSortBoxity :: TupleSort -> Boxityghc-lib-parser GHC.Types.Basic No documentation available.