HsBinds

Synopsis

• type HsLocalBinds id = HsLocalBindsLR id id
• data HsLocalBindsLR idL idR
  • = HsValBinds (HsValBindsLR idL idR)
  • | HsIPBinds (HsIPBinds idR)
  • | EmptyLocalBinds
• type HsValBinds id = HsValBindsLR id id
• data HsValBindsLR idL idR
  • = ValBindsIn (LHsBindsLR idL idR) [LSig idR]
  • | ValBindsOut [(RecFlag, LHsBinds idL)] [LSig Name]
• type LHsBind id = LHsBindLR id id
• type LHsBinds id = LHsBindsLR id id
• type HsBind id = HsBindLR id id
• type LHsBindsLR idL idR = Bag (LHsBindLR idL idR)
• type LHsBindLR idL idR = Located (HsBindLR idL idR)
• data HsBindLR idL idR
  • = FunBind {
    • fun_id :: Located idL
    • fun_infix :: Bool
    • fun_matches :: MatchGroup idR
    • fun_co_fn :: HsWrapper
    • bind_fvs :: NameSet
    • fun_tick :: Maybe (Tickish Id)
    }
  • | PatBind {
    • pat_lhs :: LPat idL
    • pat_rhs :: GRHSs idR
    • pat_rhs_ty :: PostTcType
    • bind_fvs :: NameSet
    • pat_ticks :: (Maybe (Tickish Id), [Maybe (Tickish Id)])
    }
  • | VarBind {
    • var_id :: idL
    • var_rhs :: LHsExpr idR
    • var_inline :: Bool
    }
  • | AbsBinds {
    • abs_tvs :: [TyVar]
    • abs_ev_vars :: [EvVar]
    • abs_exports :: [ABExport idL]
    • abs_ev_binds :: TcEvBinds
    • abs_binds :: LHsBinds idL
    }
• data ABExport id = ABE {
  • abe_poly :: id
  • abe_mono :: id
  • abe_wrap :: HsWrapper
  • abe_prags :: TcSpecPrags
  }
• placeHolderNames :: NameSet
• pprLHsBinds :: (OutputableBndr idL, OutputableBndr idR) => LHsBindsLR idL idR -> SDoc
• pprLHsBindsForUser :: (OutputableBndr idL, OutputableBndr idR, OutputableBndr id2) => LHsBindsLR idL idR -> [LSig id2] -> [SDoc]
• pprDeclList :: [SDoc] -> SDoc
• emptyLocalBinds :: HsLocalBindsLR a b
• isEmptyLocalBinds :: HsLocalBindsLR a b -> Bool
• isEmptyValBinds :: HsValBindsLR a b -> Bool
• emptyValBindsIn :: HsValBindsLR a b
• emptyValBindsOut :: HsValBindsLR a b
• emptyLHsBinds :: LHsBindsLR idL idR
• isEmptyLHsBinds :: LHsBindsLR idL idR -> Bool
• plusHsValBinds :: HsValBinds a -> HsValBinds a -> HsValBinds a
• getTypeSigNames :: HsValBinds a -> NameSet
• ppr_monobind :: (OutputableBndr idL, OutputableBndr idR) => HsBindLR idL idR -> SDoc
• pprTicks :: SDoc -> SDoc -> SDoc
• data HsIPBinds id = IPBinds [LIPBind id] TcEvBinds
• isEmptyIPBinds :: HsIPBinds id -> Bool
• type LIPBind id = Located (IPBind id)
• data IPBind id = IPBind (Either HsIPName id) (LHsExpr id)
• type LSig name = Located (Sig name)
• data Sig name
  • = TypeSig [Located name] (LHsType name)
  • | GenericSig [Located name] (LHsType name)
  • | IdSig Id
  • | FixSig (FixitySig name)
  • | InlineSig (Located name) InlinePragma
  • | SpecSig (Located name) (LHsType name) InlinePragma
  • | SpecInstSig (LHsType name)
• type LFixitySig name = Located (FixitySig name)
• data FixitySig name = FixitySig (Located name) Fixity
• data TcSpecPrags
  • = IsDefaultMethod
  • | SpecPrags [LTcSpecPrag]
• type LTcSpecPrag = Located TcSpecPrag
• data TcSpecPrag = SpecPrag Id HsWrapper InlinePragma
• noSpecPrags :: TcSpecPrags
• hasSpecPrags :: TcSpecPrags -> Bool
• isDefaultMethod :: TcSpecPrags -> Bool
• isFixityLSig :: LSig name -> Bool
• isVanillaLSig :: LSig name -> Bool
• isTypeLSig :: LSig name -> Bool
• isSpecLSig :: LSig name -> Bool
• isSpecInstLSig :: LSig name -> Bool
• isPragLSig :: LSig name -> Bool
• isInlineLSig :: LSig name -> Bool
• hsSigDoc :: Sig name -> SDoc
• overlapHsSig :: Eq a => LSig a -> LSig a -> Bool
• ppr_sig :: OutputableBndr name => Sig name -> SDoc
• pragBrackets :: SDoc -> SDoc
• pprVarSig :: Outputable id => [id] -> SDoc -> SDoc
• pprSpec :: Outputable id => id -> SDoc -> InlinePragma -> SDoc
• pprTcSpecPrags :: TcSpecPrags -> SDoc

Documentation