Safe Haskell | None |
---|---|
Language | GHC2021 |
Synopsis
- data TcSigInfo
- data TcIdSig
- type TcSigFun = Name -> Maybe TcSigInfo
- isPartialSig :: TcIdSigInst -> Bool
- hasCompleteSig :: TcSigFun -> Name -> Bool
- tcSigInfoName :: TcSigInfo -> Name
- tcIdSigLoc :: TcIdSig -> SrcSpan
- completeSigPolyId_maybe :: TcSigInfo -> Maybe TcId
- isCompleteHsSig :: LHsSigWcType GhcRn -> Bool
- lhsSigWcTypeContextSpan :: LHsSigWcType GhcRn -> ReportRedundantConstraints
- lhsSigTypeContextSpan :: LHsSigType GhcRn -> ReportRedundantConstraints
- tcTySigs :: [LSig GhcRn] -> TcM ([TcId], TcSigFun)
- tcUserTypeSig :: SrcSpan -> LHsSigWcType GhcRn -> Maybe Name -> TcM TcIdSig
- completeSigFromId :: UserTypeCtxt -> Id -> TcCompleteSig
- tcInstSig :: TcIdSig -> TcM TcIdSigInst
- type TcPragEnv = NameEnv [LSig GhcRn]
- emptyPragEnv :: TcPragEnv
- lookupPragEnv :: TcPragEnv -> Name -> [LSig GhcRn]
- extendPragEnv :: TcPragEnv -> (Name, LSig GhcRn) -> TcPragEnv
- mkPragEnv :: [LSig GhcRn] -> LHsBinds GhcRn -> TcPragEnv
- tcSpecPrags :: Id -> [LSig GhcRn] -> TcM [LTcSpecPrag]
- tcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper
- tcImpPrags :: [LSig GhcRn] -> TcM [LTcSpecPrag]
- addInlinePrags :: TcId -> [LSig GhcRn] -> TcM TcId
- addInlinePragArity :: Arity -> LSig GhcRn -> LSig GhcRn
Documentation
Instances
Instances
isPartialSig :: TcIdSigInst -> Bool Source #
tcSigInfoName :: TcSigInfo -> Name Source #
tcIdSigLoc :: TcIdSig -> SrcSpan Source #
isCompleteHsSig :: LHsSigWcType GhcRn -> Bool Source #
If there are no wildcards, return a LHsSigWcType
lhsSigWcTypeContextSpan :: LHsSigWcType GhcRn -> ReportRedundantConstraints Source #
Find the location of the top-level context of a HsType. For example:
forall a b. (Eq a, Ord b) => blah ^^^^^^^^^^^^^
If there is none, return Nothing
tcUserTypeSig :: SrcSpan -> LHsSigWcType GhcRn -> Maybe Name -> TcM TcIdSig Source #
completeSigFromId :: UserTypeCtxt -> Id -> TcCompleteSig Source #
tcSpecPrags :: Id -> [LSig GhcRn] -> TcM [LTcSpecPrag] Source #
tcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper Source #
tcImpPrags :: [LSig GhcRn] -> TcM [LTcSpecPrag] Source #