HsPat

Synopsis

• data Pat id
  • = WildPat (PostTc id Type)
  • | VarPat id
  • | LazyPat (LPat id)
  • | AsPat (Located id) (LPat id)
  • | ParPat (LPat id)
  • | BangPat (LPat id)
  • | ListPat [LPat id] (PostTc id Type) (Maybe (PostTc id Type, SyntaxExpr id))
  • | TuplePat [LPat id] Boxity [PostTc id Type]
  • | PArrPat [LPat id] (PostTc id Type)
  • | ConPatIn (Located id) (HsConPatDetails id)
  • | ConPatOut {
    • pat_con :: Located ConLike
    • pat_arg_tys :: [Type]
    • pat_tvs :: [TyVar]
    • pat_dicts :: [EvVar]
    • pat_binds :: TcEvBinds
    • pat_args :: HsConPatDetails id
    • pat_wrap :: HsWrapper
    }
  • | ViewPat (LHsExpr id) (LPat id) (PostTc id Type)
  • | SplicePat (HsSplice id)
  • | QuasiQuotePat (HsQuasiQuote id)
  • | LitPat HsLit
  • | NPat (HsOverLit id) (Maybe (SyntaxExpr id)) (SyntaxExpr id)
  • | NPlusKPat (Located id) (HsOverLit id) (SyntaxExpr id) (SyntaxExpr id)
  • | SigPatIn (LPat id) (HsWithBndrs id (LHsType id))
  • | SigPatOut (LPat id) Type
  • | CoPat HsWrapper (Pat id) Type
• type InPat id = LPat id
• type OutPat id = LPat id
• type LPat id = Located (Pat id)
• data HsConDetails arg rec
  • = PrefixCon [arg]
  • | RecCon rec
  • | InfixCon arg arg
• type HsConPatDetails id = HsConDetails (LPat id) (HsRecFields id (LPat id))
• hsConPatArgs :: HsConPatDetails id -> [LPat id]
• data HsRecFields id arg = HsRecFields {
  • rec_flds :: [LHsRecField id arg]
  • rec_dotdot :: Maybe Int
  }
• data HsRecField id arg = HsRecField {
  • hsRecFieldId :: Located id
  • hsRecFieldArg :: arg
  • hsRecPun :: Bool
  }
• type LHsRecField id arg = Located (HsRecField id arg)
• hsRecFields :: HsRecFields id arg -> [id]
• mkPrefixConPat :: DataCon -> [OutPat id] -> [Type] -> OutPat id
• mkCharLitPat :: String -> Char -> OutPat id
• mkNilPat :: Type -> OutPat id
• isStrictHsBind :: HsBind id -> Bool
• looksLazyPatBind :: HsBind id -> Bool
• isStrictLPat :: LPat id -> Bool
• hsPatNeedsParens :: Pat a -> Bool
• isIrrefutableHsPat :: OutputableBndr id => LPat id -> Bool
• pprParendLPat :: OutputableBndr name => LPat name -> SDoc
• pprConArgs :: OutputableBndr id => HsConPatDetails id -> SDoc

Documentation