{-# LANGUAGE CPP, DeriveDataTypeable, ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ViewPatterns #-}
module GHC.Hs.Expr where
#include "HsVersions.h"
import GhcPrelude
import GHC.Hs.Decls
import GHC.Hs.Pat
import GHC.Hs.Lit
import GHC.Hs.PlaceHolder ( NameOrRdrName )
import GHC.Hs.Extension
import GHC.Hs.Types
import GHC.Hs.Binds
import TcEvidence
import CoreSyn
import DynFlags ( gopt, GeneralFlag(Opt_PrintExplicitCoercions) )
import Name
import NameSet
import RdrName ( GlobalRdrEnv )
import BasicTypes
import ConLike
import SrcLoc
import Util
import Outputable
import FastString
import Type
import TysWiredIn (mkTupleStr)
import TcType (TcType)
import {-# SOURCE #-} TcRnTypes (TcLclEnv)
import Data.Data hiding (Fixity(..))
import qualified Data.Data as Data (Fixity(..))
import Data.Maybe (isNothing)
import GHCi.RemoteTypes ( ForeignRef )
import qualified Language.Haskell.TH as TH (Q)
type LHsExpr p = Located (HsExpr p)
type PostTcExpr = HsExpr GhcTc
type PostTcTable = [(Name, PostTcExpr)]
data SyntaxExpr p = SyntaxExpr { SyntaxExpr p -> HsExpr p
syn_expr :: HsExpr p
, SyntaxExpr p -> [HsWrapper]
syn_arg_wraps :: [HsWrapper]
, SyntaxExpr p -> HsWrapper
syn_res_wrap :: HsWrapper }
noExpr :: HsExpr (GhcPass p)
noExpr :: HsExpr (GhcPass p)
noExpr = XLitE (GhcPass p) -> HsLit (GhcPass p) -> HsExpr (GhcPass p)
forall p. XLitE p -> HsLit p -> HsExpr p
HsLit XLitE (GhcPass p)
NoExtField
noExtField (XHsString (GhcPass p) -> FastString -> HsLit (GhcPass p)
forall x. XHsString x -> FastString -> HsLit x
HsString (String -> SourceText
SourceText String
"noExpr") (String -> FastString
fsLit String
"noExpr"))
noSyntaxExpr :: SyntaxExpr (GhcPass p)
noSyntaxExpr :: SyntaxExpr (GhcPass p)
noSyntaxExpr = SyntaxExpr :: forall p. HsExpr p -> [HsWrapper] -> HsWrapper -> SyntaxExpr p
SyntaxExpr { syn_expr :: HsExpr (GhcPass p)
syn_expr = XLitE (GhcPass p) -> HsLit (GhcPass p) -> HsExpr (GhcPass p)
forall p. XLitE p -> HsLit p -> HsExpr p
HsLit XLitE (GhcPass p)
NoExtField
noExtField
(XHsString (GhcPass p) -> FastString -> HsLit (GhcPass p)
forall x. XHsString x -> FastString -> HsLit x
HsString SourceText
XHsString (GhcPass p)
NoSourceText
(String -> FastString
fsLit String
"noSyntaxExpr"))
, syn_arg_wraps :: [HsWrapper]
syn_arg_wraps = []
, syn_res_wrap :: HsWrapper
syn_res_wrap = HsWrapper
WpHole }
mkSyntaxExpr :: HsExpr (GhcPass p) -> SyntaxExpr (GhcPass p)
mkSyntaxExpr :: HsExpr (GhcPass p) -> SyntaxExpr (GhcPass p)
mkSyntaxExpr HsExpr (GhcPass p)
expr = SyntaxExpr :: forall p. HsExpr p -> [HsWrapper] -> HsWrapper -> SyntaxExpr p
SyntaxExpr { syn_expr :: HsExpr (GhcPass p)
syn_expr = HsExpr (GhcPass p)
expr
, syn_arg_wraps :: [HsWrapper]
syn_arg_wraps = []
, syn_res_wrap :: HsWrapper
syn_res_wrap = HsWrapper
WpHole }
mkRnSyntaxExpr :: Name -> SyntaxExpr GhcRn
mkRnSyntaxExpr :: Name -> SyntaxExpr GhcRn
mkRnSyntaxExpr Name
name = HsExpr GhcRn -> SyntaxExpr GhcRn
forall (p :: Pass). HsExpr (GhcPass p) -> SyntaxExpr (GhcPass p)
mkSyntaxExpr (HsExpr GhcRn -> SyntaxExpr GhcRn)
-> HsExpr GhcRn -> SyntaxExpr GhcRn
forall a b. (a -> b) -> a -> b
$ XVar GhcRn -> Located (IdP GhcRn) -> HsExpr GhcRn
forall p. XVar p -> Located (IdP p) -> HsExpr p
HsVar XVar GhcRn
NoExtField
noExtField (Located (IdP GhcRn) -> HsExpr GhcRn)
-> Located (IdP GhcRn) -> HsExpr GhcRn
forall a b. (a -> b) -> a -> b
$ SrcSpanLess (Located Name) -> Located Name
forall a. HasSrcSpan a => SrcSpanLess a -> a
noLoc Name
SrcSpanLess (Located Name)
name
instance OutputableBndrId p
=> Outputable (SyntaxExpr (GhcPass p)) where
ppr :: SyntaxExpr (GhcPass p) -> SDoc
ppr (SyntaxExpr { syn_expr :: forall p. SyntaxExpr p -> HsExpr p
syn_expr = HsExpr (GhcPass p)
expr
, syn_arg_wraps :: forall p. SyntaxExpr p -> [HsWrapper]
syn_arg_wraps = [HsWrapper]
arg_wraps
, syn_res_wrap :: forall p. SyntaxExpr p -> HsWrapper
syn_res_wrap = HsWrapper
res_wrap })
= (DynFlags -> SDoc) -> SDoc
sdocWithDynFlags ((DynFlags -> SDoc) -> SDoc) -> (DynFlags -> SDoc) -> SDoc
forall a b. (a -> b) -> a -> b
$ \ DynFlags
dflags ->
(PprStyle -> SDoc) -> SDoc
getPprStyle ((PprStyle -> SDoc) -> SDoc) -> (PprStyle -> SDoc) -> SDoc
forall a b. (a -> b) -> a -> b
$ \PprStyle
s ->
if PprStyle -> Bool
debugStyle PprStyle
s Bool -> Bool -> Bool
|| GeneralFlag -> DynFlags -> Bool
gopt GeneralFlag
Opt_PrintExplicitCoercions DynFlags
dflags
then HsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsExpr (GhcPass p)
expr SDoc -> SDoc -> SDoc
<> SDoc -> SDoc
braces ((HsWrapper -> SDoc) -> [HsWrapper] -> SDoc
forall a. (a -> SDoc) -> [a] -> SDoc
pprWithCommas HsWrapper -> SDoc
forall a. Outputable a => a -> SDoc
ppr [HsWrapper]
arg_wraps)
SDoc -> SDoc -> SDoc
<> SDoc -> SDoc
braces (HsWrapper -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsWrapper
res_wrap)
else HsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsExpr (GhcPass p)
expr
type CmdSyntaxTable p = [(Name, HsExpr p)]
data UnboundVar
= OutOfScope OccName GlobalRdrEnv
| TrueExprHole OccName
deriving Typeable UnboundVar
DataType
Constr
Typeable UnboundVar
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UnboundVar -> c UnboundVar)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UnboundVar)
-> (UnboundVar -> Constr)
-> (UnboundVar -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UnboundVar))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c UnboundVar))
-> ((forall b. Data b => b -> b) -> UnboundVar -> UnboundVar)
-> (forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UnboundVar -> r)
-> (forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UnboundVar -> r)
-> (forall u. (forall d. Data d => d -> u) -> UnboundVar -> [u])
-> (forall u.
Int -> (forall d. Data d => d -> u) -> UnboundVar -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar)
-> Data UnboundVar
UnboundVar -> DataType
UnboundVar -> Constr
(forall b. Data b => b -> b) -> UnboundVar -> UnboundVar
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UnboundVar -> c UnboundVar
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UnboundVar
forall a.
Typeable a
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> UnboundVar -> u
forall u. (forall d. Data d => d -> u) -> UnboundVar -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UnboundVar -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UnboundVar -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UnboundVar
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UnboundVar -> c UnboundVar
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UnboundVar)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnboundVar)
$cTrueExprHole :: Constr
$cOutOfScope :: Constr
$tUnboundVar :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar
gmapMp :: (forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar
gmapM :: (forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> UnboundVar -> m UnboundVar
gmapQi :: Int -> (forall d. Data d => d -> u) -> UnboundVar -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> UnboundVar -> u
gmapQ :: (forall d. Data d => d -> u) -> UnboundVar -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> UnboundVar -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UnboundVar -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UnboundVar -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UnboundVar -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UnboundVar -> r
gmapT :: (forall b. Data b => b -> b) -> UnboundVar -> UnboundVar
$cgmapT :: (forall b. Data b => b -> b) -> UnboundVar -> UnboundVar
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnboundVar)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnboundVar)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c UnboundVar)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c UnboundVar)
dataTypeOf :: UnboundVar -> DataType
$cdataTypeOf :: UnboundVar -> DataType
toConstr :: UnboundVar -> Constr
$ctoConstr :: UnboundVar -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UnboundVar
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c UnboundVar
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UnboundVar -> c UnboundVar
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UnboundVar -> c UnboundVar
$cp1Data :: Typeable UnboundVar
Data
instance Outputable UnboundVar where
ppr :: UnboundVar -> SDoc
ppr (OutOfScope OccName
occ GlobalRdrEnv
_) = String -> SDoc
text String
"OutOfScope" SDoc -> SDoc -> SDoc
<> SDoc -> SDoc
parens (OccName -> SDoc
forall a. Outputable a => a -> SDoc
ppr OccName
occ)
ppr (TrueExprHole OccName
occ) = String -> SDoc
text String
"ExprHole" SDoc -> SDoc -> SDoc
<> SDoc -> SDoc
parens (OccName -> SDoc
forall a. Outputable a => a -> SDoc
ppr OccName
occ)
unboundVarOcc :: UnboundVar -> OccName
unboundVarOcc :: UnboundVar -> OccName
unboundVarOcc (OutOfScope OccName
occ GlobalRdrEnv
_) = OccName
occ
unboundVarOcc (TrueExprHole OccName
occ) = OccName
occ
data HsExpr p
= HsVar (XVar p)
(Located (IdP p))
| HsUnboundVar (XUnboundVar p)
UnboundVar
| HsConLikeOut (XConLikeOut p)
ConLike
| HsRecFld (XRecFld p)
(AmbiguousFieldOcc p)
| HsOverLabel (XOverLabel p)
(Maybe (IdP p)) FastString
| HsIPVar (XIPVar p)
HsIPName
| HsOverLit (XOverLitE p)
(HsOverLit p)
| HsLit (XLitE p)
(HsLit p)
| HsLam (XLam p)
(MatchGroup p (LHsExpr p))
| HsLamCase (XLamCase p) (MatchGroup p (LHsExpr p))
| HsApp (XApp p) (LHsExpr p) (LHsExpr p)
| HsAppType (XAppTypeE p) (LHsExpr p) (LHsWcType (NoGhcTc p))
| OpApp (XOpApp p)
(LHsExpr p)
(LHsExpr p)
(LHsExpr p)
| NegApp (XNegApp p)
(LHsExpr p)
(SyntaxExpr p)
| HsPar (XPar p)
(LHsExpr p)
| SectionL (XSectionL p)
(LHsExpr p)
(LHsExpr p)
| SectionR (XSectionR p)
(LHsExpr p)
(LHsExpr p)
| ExplicitTuple
(XExplicitTuple p)
[LHsTupArg p]
Boxity
| ExplicitSum
(XExplicitSum p)
ConTag
Arity
(LHsExpr p)
| HsCase (XCase p)
(LHsExpr p)
(MatchGroup p (LHsExpr p))
| HsIf (XIf p)
(Maybe (SyntaxExpr p))
(LHsExpr p)
(LHsExpr p)
(LHsExpr p)
| HsMultiIf (XMultiIf p) [LGRHS p (LHsExpr p)]
| HsLet (XLet p)
(LHsLocalBinds p)
(LHsExpr p)
| HsDo (XDo p)
(HsStmtContext Name)
(Located [ExprLStmt p])
| ExplicitList
(XExplicitList p)
(Maybe (SyntaxExpr p))
[LHsExpr p]
| RecordCon
{ HsExpr p -> XRecordCon p
rcon_ext :: XRecordCon p
, HsExpr p -> Located (IdP p)
rcon_con_name :: Located (IdP p)
, HsExpr p -> HsRecordBinds p
rcon_flds :: HsRecordBinds p }
| RecordUpd
{ HsExpr p -> XRecordUpd p
rupd_ext :: XRecordUpd p
, HsExpr p -> LHsExpr p
rupd_expr :: LHsExpr p
, HsExpr p -> [LHsRecUpdField p]
rupd_flds :: [LHsRecUpdField p]
}
| ExprWithTySig
(XExprWithTySig p)
(LHsExpr p)
(LHsSigWcType (NoGhcTc p))
| ArithSeq
(XArithSeq p)
(Maybe (SyntaxExpr p))
(ArithSeqInfo p)
| HsSCC (XSCC p)
SourceText
StringLiteral
(LHsExpr p)
| HsCoreAnn (XCoreAnn p)
SourceText
StringLiteral
(LHsExpr p)
| HsBracket (XBracket p) (HsBracket p)
| HsRnBracketOut
(XRnBracketOut p)
(HsBracket GhcRn)
[PendingRnSplice]
| HsTcBracketOut
(XTcBracketOut p)
(HsBracket GhcRn)
[PendingTcSplice]
| HsSpliceE (XSpliceE p) (HsSplice p)
| HsProc (XProc p)
(LPat p)
(LHsCmdTop p)
| HsStatic (XStatic p)
(LHsExpr p)
| HsTick
(XTick p)
(Tickish (IdP p))
(LHsExpr p)
| HsBinTick
(XBinTick p)
Int
Int
(LHsExpr p)
| HsTickPragma
(XTickPragma p)
SourceText
(StringLiteral,(Int,Int),(Int,Int))
((SourceText,SourceText),(SourceText,SourceText))
(LHsExpr p)
| HsWrap (XWrap p)
HsWrapper
(HsExpr p)
| XExpr (XXExpr p)
data RecordConTc = RecordConTc
{ RecordConTc -> ConLike
rcon_con_like :: ConLike
, RecordConTc -> PostTcExpr
rcon_con_expr :: PostTcExpr
}
data RecordUpdTc = RecordUpdTc
{ RecordUpdTc -> [ConLike]
rupd_cons :: [ConLike]
, RecordUpdTc -> [Type]
rupd_in_tys :: [Type]
, RecordUpdTc -> [Type]
rupd_out_tys :: [Type]
, RecordUpdTc -> HsWrapper
rupd_wrap :: HsWrapper
} deriving Typeable RecordUpdTc
DataType
Constr
Typeable RecordUpdTc
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> RecordUpdTc -> c RecordUpdTc)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c RecordUpdTc)
-> (RecordUpdTc -> Constr)
-> (RecordUpdTc -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c RecordUpdTc))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c RecordUpdTc))
-> ((forall b. Data b => b -> b) -> RecordUpdTc -> RecordUpdTc)
-> (forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> RecordUpdTc -> r)
-> (forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> RecordUpdTc -> r)
-> (forall u. (forall d. Data d => d -> u) -> RecordUpdTc -> [u])
-> (forall u.
Int -> (forall d. Data d => d -> u) -> RecordUpdTc -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc)
-> Data RecordUpdTc
RecordUpdTc -> DataType
RecordUpdTc -> Constr
(forall b. Data b => b -> b) -> RecordUpdTc -> RecordUpdTc
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> RecordUpdTc -> c RecordUpdTc
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c RecordUpdTc
forall a.
Typeable a
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> RecordUpdTc -> u
forall u. (forall d. Data d => d -> u) -> RecordUpdTc -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> RecordUpdTc -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> RecordUpdTc -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c RecordUpdTc
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> RecordUpdTc -> c RecordUpdTc
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c RecordUpdTc)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c RecordUpdTc)
$cRecordUpdTc :: Constr
$tRecordUpdTc :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc
gmapMp :: (forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc
gmapM :: (forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> RecordUpdTc -> m RecordUpdTc
gmapQi :: Int -> (forall d. Data d => d -> u) -> RecordUpdTc -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> RecordUpdTc -> u
gmapQ :: (forall d. Data d => d -> u) -> RecordUpdTc -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> RecordUpdTc -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> RecordUpdTc -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> RecordUpdTc -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> RecordUpdTc -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> RecordUpdTc -> r
gmapT :: (forall b. Data b => b -> b) -> RecordUpdTc -> RecordUpdTc
$cgmapT :: (forall b. Data b => b -> b) -> RecordUpdTc -> RecordUpdTc
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c RecordUpdTc)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c RecordUpdTc)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c RecordUpdTc)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c RecordUpdTc)
dataTypeOf :: RecordUpdTc -> DataType
$cdataTypeOf :: RecordUpdTc -> DataType
toConstr :: RecordUpdTc -> Constr
$ctoConstr :: RecordUpdTc -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c RecordUpdTc
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c RecordUpdTc
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> RecordUpdTc -> c RecordUpdTc
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> RecordUpdTc -> c RecordUpdTc
$cp1Data :: Typeable RecordUpdTc
Data
type instance XVar (GhcPass _) = NoExtField
type instance XUnboundVar (GhcPass _) = NoExtField
type instance XConLikeOut (GhcPass _) = NoExtField
type instance XRecFld (GhcPass _) = NoExtField
type instance XOverLabel (GhcPass _) = NoExtField
type instance XIPVar (GhcPass _) = NoExtField
type instance XOverLitE (GhcPass _) = NoExtField
type instance XLitE (GhcPass _) = NoExtField
type instance XLam (GhcPass _) = NoExtField
type instance XLamCase (GhcPass _) = NoExtField
type instance XApp (GhcPass _) = NoExtField
type instance XAppTypeE (GhcPass _) = NoExtField
type instance XOpApp GhcPs = NoExtField
type instance XOpApp GhcRn = Fixity
type instance XOpApp GhcTc = Fixity
type instance XNegApp (GhcPass _) = NoExtField
type instance XPar (GhcPass _) = NoExtField
type instance XSectionL (GhcPass _) = NoExtField
type instance XSectionR (GhcPass _) = NoExtField
type instance XExplicitTuple (GhcPass _) = NoExtField
type instance XExplicitSum GhcPs = NoExtField
type instance XExplicitSum GhcRn = NoExtField
type instance XExplicitSum GhcTc = [Type]
type instance XCase (GhcPass _) = NoExtField
type instance XIf (GhcPass _) = NoExtField
type instance XMultiIf GhcPs = NoExtField
type instance XMultiIf GhcRn = NoExtField
type instance XMultiIf GhcTc = Type
type instance XLet (GhcPass _) = NoExtField
type instance XDo GhcPs = NoExtField
type instance XDo GhcRn = NoExtField
type instance XDo GhcTc = Type
type instance XExplicitList GhcPs = NoExtField
type instance XExplicitList GhcRn = NoExtField
type instance XExplicitList GhcTc = Type
type instance XRecordCon GhcPs = NoExtField
type instance XRecordCon GhcRn = NoExtField
type instance XRecordCon GhcTc = RecordConTc
type instance XRecordUpd GhcPs = NoExtField
type instance XRecordUpd GhcRn = NoExtField
type instance XRecordUpd GhcTc = RecordUpdTc
type instance XExprWithTySig (GhcPass _) = NoExtField
type instance XArithSeq GhcPs = NoExtField
type instance XArithSeq GhcRn = NoExtField
type instance XArithSeq GhcTc = PostTcExpr
type instance XSCC (GhcPass _) = NoExtField
type instance XCoreAnn (GhcPass _) = NoExtField
type instance XBracket (GhcPass _) = NoExtField
type instance XRnBracketOut (GhcPass _) = NoExtField
type instance XTcBracketOut (GhcPass _) = NoExtField
type instance XSpliceE (GhcPass _) = NoExtField
type instance XProc (GhcPass _) = NoExtField
type instance XStatic GhcPs = NoExtField
type instance XStatic GhcRn = NameSet
type instance XStatic GhcTc = NameSet
type instance XTick (GhcPass _) = NoExtField
type instance XBinTick (GhcPass _) = NoExtField
type instance XTickPragma (GhcPass _) = NoExtField
type instance XWrap (GhcPass _) = NoExtField
type instance XXExpr (GhcPass _) = NoExtCon
type LHsTupArg id = Located (HsTupArg id)
data HsTupArg id
= Present (XPresent id) (LHsExpr id)
| Missing (XMissing id)
| XTupArg (XXTupArg id)
type instance XPresent (GhcPass _) = NoExtField
type instance XMissing GhcPs = NoExtField
type instance XMissing GhcRn = NoExtField
type instance XMissing GhcTc = Type
type instance XXTupArg (GhcPass _) = NoExtCon
tupArgPresent :: LHsTupArg id -> Bool
tupArgPresent :: LHsTupArg id -> Bool
tupArgPresent (L SrcSpan
_ (Present {})) = Bool
True
tupArgPresent (L SrcSpan
_ (Missing {})) = Bool
False
tupArgPresent (L SrcSpan
_ (XTupArg {})) = Bool
False
instance (OutputableBndrId p) => Outputable (HsExpr (GhcPass p)) where
ppr :: HsExpr (GhcPass p) -> SDoc
ppr HsExpr (GhcPass p)
expr = HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> SDoc
pprExpr HsExpr (GhcPass p)
expr
pprLExpr :: (OutputableBndrId p) => LHsExpr (GhcPass p) -> SDoc
pprLExpr :: LHsExpr (GhcPass p) -> SDoc
pprLExpr (L SrcSpan
_ HsExpr (GhcPass p)
e) = HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> SDoc
pprExpr HsExpr (GhcPass p)
e
pprExpr :: (OutputableBndrId p) => HsExpr (GhcPass p) -> SDoc
pprExpr :: HsExpr (GhcPass p) -> SDoc
pprExpr HsExpr (GhcPass p)
e | HsExpr (GhcPass p) -> Bool
forall id. HsExpr id -> Bool
isAtomicHsExpr HsExpr (GhcPass p)
e Bool -> Bool -> Bool
|| HsExpr (GhcPass p) -> Bool
forall id. HsExpr id -> Bool
isQuietHsExpr HsExpr (GhcPass p)
e = HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> SDoc
ppr_expr HsExpr (GhcPass p)
e
| Bool
otherwise = SDoc -> SDoc
pprDeeper (HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> SDoc
ppr_expr HsExpr (GhcPass p)
e)
isQuietHsExpr :: HsExpr id -> Bool
isQuietHsExpr :: HsExpr id -> Bool
isQuietHsExpr (HsPar {}) = Bool
True
isQuietHsExpr (HsApp {}) = Bool
True
isQuietHsExpr (HsAppType {}) = Bool
True
isQuietHsExpr (OpApp {}) = Bool
True
isQuietHsExpr HsExpr id
_ = Bool
False
pprBinds :: (OutputableBndrId idL, OutputableBndrId idR)
=> HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprBinds :: HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprBinds HsLocalBindsLR (GhcPass idL) (GhcPass idR)
b = SDoc -> SDoc
pprDeeper (HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsLocalBindsLR (GhcPass idL) (GhcPass idR)
b)
ppr_lexpr :: (OutputableBndrId p) => LHsExpr (GhcPass p) -> SDoc
ppr_lexpr :: LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
e = HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> SDoc
ppr_expr (LHsExpr (GhcPass p) -> SrcSpanLess (LHsExpr (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsExpr (GhcPass p)
e)
ppr_expr :: forall p. (OutputableBndrId p)
=> HsExpr (GhcPass p) -> SDoc
ppr_expr :: HsExpr (GhcPass p) -> SDoc
ppr_expr (HsVar XVar (GhcPass p)
_ (L SrcSpan
_ IdP (GhcPass p)
v)) = IdP (GhcPass p) -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprPrefixOcc IdP (GhcPass p)
v
ppr_expr (HsUnboundVar XUnboundVar (GhcPass p)
_ UnboundVar
uv)= OccName -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprPrefixOcc (UnboundVar -> OccName
unboundVarOcc UnboundVar
uv)
ppr_expr (HsConLikeOut XConLikeOut (GhcPass p)
_ ConLike
c) = ConLike -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprPrefixOcc ConLike
c
ppr_expr (HsIPVar XIPVar (GhcPass p)
_ HsIPName
v) = HsIPName -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsIPName
v
ppr_expr (HsOverLabel XOverLabel (GhcPass p)
_ Maybe (IdP (GhcPass p))
_ FastString
l)= Char -> SDoc
char Char
'#' SDoc -> SDoc -> SDoc
<> FastString -> SDoc
forall a. Outputable a => a -> SDoc
ppr FastString
l
ppr_expr (HsLit XLitE (GhcPass p)
_ HsLit (GhcPass p)
lit) = HsLit (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsLit (GhcPass p)
lit
ppr_expr (HsOverLit XOverLitE (GhcPass p)
_ HsOverLit (GhcPass p)
lit) = HsOverLit (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsOverLit (GhcPass p)
lit
ppr_expr (HsPar XPar (GhcPass p)
_ LHsExpr (GhcPass p)
e) = SDoc -> SDoc
parens (LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
e)
ppr_expr (HsCoreAnn XCoreAnn (GhcPass p)
_ SourceText
stc (StringLiteral SourceText
sta FastString
s) LHsExpr (GhcPass p)
e)
= [SDoc] -> SDoc
vcat [SourceText -> SDoc -> SDoc
pprWithSourceText SourceText
stc (String -> SDoc
text String
"{-# CORE")
SDoc -> SDoc -> SDoc
<+> SourceText -> SDoc -> SDoc
pprWithSourceText SourceText
sta (SDoc -> SDoc
doubleQuotes (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$ FastString -> SDoc
ftext FastString
s) SDoc -> SDoc -> SDoc
<+> String -> SDoc
text String
"#-}"
, LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
e]
ppr_expr e :: HsExpr (GhcPass p)
e@(HsApp {}) = HsExpr (GhcPass p)
-> [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
-> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p)
-> [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
-> SDoc
ppr_apps HsExpr (GhcPass p)
e []
ppr_expr e :: HsExpr (GhcPass p)
e@(HsAppType {}) = HsExpr (GhcPass p)
-> [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
-> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p)
-> [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
-> SDoc
ppr_apps HsExpr (GhcPass p)
e []
ppr_expr (OpApp XOpApp (GhcPass p)
_ LHsExpr (GhcPass p)
e1 LHsExpr (GhcPass p)
op LHsExpr (GhcPass p)
e2)
| Just SDoc
pp_op <- HsExpr (GhcPass p) -> Maybe SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> Maybe SDoc
ppr_infix_expr (LHsExpr (GhcPass p) -> SrcSpanLess (LHsExpr (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsExpr (GhcPass p)
op)
= SDoc -> SDoc
pp_infixly SDoc
pp_op
| Bool
otherwise
= SDoc
pp_prefixly
where
pp_e1 :: SDoc
pp_e1 = PprPrec -> LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
PprPrec -> LHsExpr (GhcPass p) -> SDoc
pprDebugParendExpr PprPrec
opPrec LHsExpr (GhcPass p)
e1
pp_e2 :: SDoc
pp_e2 = PprPrec -> LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
PprPrec -> LHsExpr (GhcPass p) -> SDoc
pprDebugParendExpr PprPrec
opPrec LHsExpr (GhcPass p)
e2
pp_prefixly :: SDoc
pp_prefixly
= SDoc -> Int -> SDoc -> SDoc
hang (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
op) Int
2 ([SDoc] -> SDoc
sep [SDoc
pp_e1, SDoc
pp_e2])
pp_infixly :: SDoc -> SDoc
pp_infixly SDoc
pp_op
= SDoc -> Int -> SDoc -> SDoc
hang SDoc
pp_e1 Int
2 ([SDoc] -> SDoc
sep [SDoc
pp_op, Int -> SDoc -> SDoc
nest Int
2 SDoc
pp_e2])
ppr_expr (NegApp XNegApp (GhcPass p)
_ LHsExpr (GhcPass p)
e SyntaxExpr (GhcPass p)
_) = Char -> SDoc
char Char
'-' SDoc -> SDoc -> SDoc
<+> PprPrec -> LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
PprPrec -> LHsExpr (GhcPass p) -> SDoc
pprDebugParendExpr PprPrec
appPrec LHsExpr (GhcPass p)
e
ppr_expr (SectionL XSectionL (GhcPass p)
_ LHsExpr (GhcPass p)
expr LHsExpr (GhcPass p)
op)
| Just SDoc
pp_op <- HsExpr (GhcPass p) -> Maybe SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> Maybe SDoc
ppr_infix_expr (LHsExpr (GhcPass p) -> SrcSpanLess (LHsExpr (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsExpr (GhcPass p)
op)
= SDoc -> SDoc
pp_infixly SDoc
pp_op
| Bool
otherwise
= SDoc
pp_prefixly
where
pp_expr :: SDoc
pp_expr = PprPrec -> LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
PprPrec -> LHsExpr (GhcPass p) -> SDoc
pprDebugParendExpr PprPrec
opPrec LHsExpr (GhcPass p)
expr
pp_prefixly :: SDoc
pp_prefixly = SDoc -> Int -> SDoc -> SDoc
hang ([SDoc] -> SDoc
hsep [String -> SDoc
text String
" \\ x_ ->", LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
op])
Int
4 ([SDoc] -> SDoc
hsep [SDoc
pp_expr, String -> SDoc
text String
"x_ )"])
pp_infixly :: SDoc -> SDoc
pp_infixly SDoc
v = ([SDoc] -> SDoc
sep [SDoc
pp_expr, SDoc
v])
ppr_expr (SectionR XSectionR (GhcPass p)
_ LHsExpr (GhcPass p)
op LHsExpr (GhcPass p)
expr)
| Just SDoc
pp_op <- HsExpr (GhcPass p) -> Maybe SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> Maybe SDoc
ppr_infix_expr (LHsExpr (GhcPass p) -> SrcSpanLess (LHsExpr (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsExpr (GhcPass p)
op)
= SDoc -> SDoc
pp_infixly SDoc
pp_op
| Bool
otherwise
= SDoc
pp_prefixly
where
pp_expr :: SDoc
pp_expr = PprPrec -> LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
PprPrec -> LHsExpr (GhcPass p) -> SDoc
pprDebugParendExpr PprPrec
opPrec LHsExpr (GhcPass p)
expr
pp_prefixly :: SDoc
pp_prefixly = SDoc -> Int -> SDoc -> SDoc
hang ([SDoc] -> SDoc
hsep [String -> SDoc
text String
"( \\ x_ ->", LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
op, String -> SDoc
text String
"x_"])
Int
4 (SDoc
pp_expr SDoc -> SDoc -> SDoc
<> SDoc
rparen)
pp_infixly :: SDoc -> SDoc
pp_infixly SDoc
v = [SDoc] -> SDoc
sep [SDoc
v, SDoc
pp_expr]
ppr_expr (ExplicitTuple XExplicitTuple (GhcPass p)
_ [LHsTupArg (GhcPass p)]
exprs Boxity
boxity)
| [LHsTupArg (GhcPass p)
-> Located (SrcSpanLess (LHsTupArg (GhcPass p)))
forall a. HasSrcSpan a => a -> Located (SrcSpanLess a)
dL -> L SrcSpan
_ (Present _ expr)] <- [LHsTupArg (GhcPass p)]
exprs
, Boxity
Boxed <- Boxity
boxity
= [SDoc] -> SDoc
hsep [String -> SDoc
text (Boxity -> Int -> String
mkTupleStr Boxity
Boxed Int
1), LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
expr]
| Bool
otherwise
= TupleSort -> SDoc -> SDoc
tupleParens (Boxity -> TupleSort
boxityTupleSort Boxity
boxity) ([SDoc] -> SDoc
fcat ([HsTupArg (GhcPass p)] -> [SDoc]
forall (p :: Pass).
(OutputableBndr (IdP (GhcPass (NoGhcTcPass p))),
OutputableBndr (NameOrRdrName (IdP (GhcPass (NoGhcTcPass p)))),
OutputableBndr (IdP (GhcPass p)),
OutputableBndr (NameOrRdrName (IdP (GhcPass p))),
Outputable (XIPBinds (GhcPass p)),
Outputable (XViaStrategy (GhcPass p)),
Outputable (XIPBinds (GhcPass (NoGhcTcPass p))),
Outputable (XViaStrategy (GhcPass (NoGhcTcPass p))),
NoGhcTcPass p ~ NoGhcTcPass (NoGhcTcPass p)) =>
[HsTupArg (GhcPass p)] -> [SDoc]
ppr_tup_args ([HsTupArg (GhcPass p)] -> [SDoc])
-> [HsTupArg (GhcPass p)] -> [SDoc]
forall a b. (a -> b) -> a -> b
$ (LHsTupArg (GhcPass p) -> HsTupArg (GhcPass p))
-> [LHsTupArg (GhcPass p)] -> [HsTupArg (GhcPass p)]
forall a b. (a -> b) -> [a] -> [b]
map LHsTupArg (GhcPass p) -> HsTupArg (GhcPass p)
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc [LHsTupArg (GhcPass p)]
exprs))
where
ppr_tup_args :: [HsTupArg (GhcPass p)] -> [SDoc]
ppr_tup_args [] = []
ppr_tup_args (Present XPresent (GhcPass p)
_ LHsExpr (GhcPass p)
e : [HsTupArg (GhcPass p)]
es) = (LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
e SDoc -> SDoc -> SDoc
<> [HsTupArg (GhcPass p)] -> SDoc
forall id. [HsTupArg id] -> SDoc
punc [HsTupArg (GhcPass p)]
es) SDoc -> [SDoc] -> [SDoc]
forall a. a -> [a] -> [a]
: [HsTupArg (GhcPass p)] -> [SDoc]
ppr_tup_args [HsTupArg (GhcPass p)]
es
ppr_tup_args (Missing XMissing (GhcPass p)
_ : [HsTupArg (GhcPass p)]
es) = [HsTupArg (GhcPass p)] -> SDoc
forall id. [HsTupArg id] -> SDoc
punc [HsTupArg (GhcPass p)]
es SDoc -> [SDoc] -> [SDoc]
forall a. a -> [a] -> [a]
: [HsTupArg (GhcPass p)] -> [SDoc]
ppr_tup_args [HsTupArg (GhcPass p)]
es
ppr_tup_args (XTupArg XXTupArg (GhcPass p)
x : [HsTupArg (GhcPass p)]
es) = (NoExtCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXTupArg (GhcPass p)
NoExtCon
x SDoc -> SDoc -> SDoc
<> [HsTupArg (GhcPass p)] -> SDoc
forall id. [HsTupArg id] -> SDoc
punc [HsTupArg (GhcPass p)]
es) SDoc -> [SDoc] -> [SDoc]
forall a. a -> [a] -> [a]
: [HsTupArg (GhcPass p)] -> [SDoc]
ppr_tup_args [HsTupArg (GhcPass p)]
es
punc :: [HsTupArg id] -> SDoc
punc (Present {} : [HsTupArg id]
_) = SDoc
comma SDoc -> SDoc -> SDoc
<> SDoc
space
punc (Missing {} : [HsTupArg id]
_) = SDoc
comma
punc (XTupArg {} : [HsTupArg id]
_) = SDoc
comma SDoc -> SDoc -> SDoc
<> SDoc
space
punc [] = SDoc
empty
ppr_expr (ExplicitSum XExplicitSum (GhcPass p)
_ Int
alt Int
arity LHsExpr (GhcPass p)
expr)
= String -> SDoc
text String
"(#" SDoc -> SDoc -> SDoc
<+> Int -> SDoc
ppr_bars (Int
alt Int -> Int -> Int
forall a. Num a => a -> a -> a
- Int
1) SDoc -> SDoc -> SDoc
<+> LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
expr SDoc -> SDoc -> SDoc
<+> Int -> SDoc
ppr_bars (Int
arity Int -> Int -> Int
forall a. Num a => a -> a -> a
- Int
alt) SDoc -> SDoc -> SDoc
<+> String -> SDoc
text String
"#)"
where
ppr_bars :: Int -> SDoc
ppr_bars Int
n = [SDoc] -> SDoc
hsep (Int -> SDoc -> [SDoc]
forall a. Int -> a -> [a]
replicate Int
n (Char -> SDoc
char Char
'|'))
ppr_expr (HsLam XLam (GhcPass p)
_ MatchGroup (GhcPass p) (LHsExpr (GhcPass p))
matches)
= MatchGroup (GhcPass p) (LHsExpr (GhcPass p)) -> SDoc
forall (idR :: Pass) body.
(OutputableBndrId idR, Outputable body) =>
MatchGroup (GhcPass idR) body -> SDoc
pprMatches MatchGroup (GhcPass p) (LHsExpr (GhcPass p))
matches
ppr_expr (HsLamCase XLamCase (GhcPass p)
_ MatchGroup (GhcPass p) (LHsExpr (GhcPass p))
matches)
= [SDoc] -> SDoc
sep [ [SDoc] -> SDoc
sep [String -> SDoc
text String
"\\case"],
Int -> SDoc -> SDoc
nest Int
2 (MatchGroup (GhcPass p) (LHsExpr (GhcPass p)) -> SDoc
forall (idR :: Pass) body.
(OutputableBndrId idR, Outputable body) =>
MatchGroup (GhcPass idR) body -> SDoc
pprMatches MatchGroup (GhcPass p) (LHsExpr (GhcPass p))
matches) ]
ppr_expr (HsCase XCase (GhcPass p)
_ LHsExpr (GhcPass p)
expr matches :: MatchGroup (GhcPass p) (LHsExpr (GhcPass p))
matches@(MG { mg_alts :: forall p body. MatchGroup p body -> Located [LMatch p body]
mg_alts = L SrcSpan
_ [LMatch (GhcPass p) (LHsExpr (GhcPass p))
_] }))
= [SDoc] -> SDoc
sep [ [SDoc] -> SDoc
sep [String -> SDoc
text String
"case", Int -> SDoc -> SDoc
nest Int
4 (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
expr), PtrString -> SDoc
ptext (String -> PtrString
sLit String
"of {")],
Int -> SDoc -> SDoc
nest Int
2 (MatchGroup (GhcPass p) (LHsExpr (GhcPass p)) -> SDoc
forall (idR :: Pass) body.
(OutputableBndrId idR, Outputable body) =>
MatchGroup (GhcPass idR) body -> SDoc
pprMatches MatchGroup (GhcPass p) (LHsExpr (GhcPass p))
matches) SDoc -> SDoc -> SDoc
<+> Char -> SDoc
char Char
'}']
ppr_expr (HsCase XCase (GhcPass p)
_ LHsExpr (GhcPass p)
expr MatchGroup (GhcPass p) (LHsExpr (GhcPass p))
matches)
= [SDoc] -> SDoc
sep [ [SDoc] -> SDoc
sep [String -> SDoc
text String
"case", Int -> SDoc -> SDoc
nest Int
4 (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
expr), PtrString -> SDoc
ptext (String -> PtrString
sLit String
"of")],
Int -> SDoc -> SDoc
nest Int
2 (MatchGroup (GhcPass p) (LHsExpr (GhcPass p)) -> SDoc
forall (idR :: Pass) body.
(OutputableBndrId idR, Outputable body) =>
MatchGroup (GhcPass idR) body -> SDoc
pprMatches MatchGroup (GhcPass p) (LHsExpr (GhcPass p))
matches) ]
ppr_expr (HsIf XIf (GhcPass p)
_ Maybe (SyntaxExpr (GhcPass p))
_ LHsExpr (GhcPass p)
e1 LHsExpr (GhcPass p)
e2 LHsExpr (GhcPass p)
e3)
= [SDoc] -> SDoc
sep [[SDoc] -> SDoc
hsep [String -> SDoc
text String
"if", Int -> SDoc -> SDoc
nest Int
2 (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
e1), PtrString -> SDoc
ptext (String -> PtrString
sLit String
"then")],
Int -> SDoc -> SDoc
nest Int
4 (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
e2),
String -> SDoc
text String
"else",
Int -> SDoc -> SDoc
nest Int
4 (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
e3)]
ppr_expr (HsMultiIf XMultiIf (GhcPass p)
_ [LGRHS (GhcPass p) (LHsExpr (GhcPass p))]
alts)
= SDoc -> Int -> SDoc -> SDoc
hang (String -> SDoc
text String
"if") Int
3 ([SDoc] -> SDoc
vcat ((LGRHS (GhcPass p) (LHsExpr (GhcPass p)) -> SDoc)
-> [LGRHS (GhcPass p) (LHsExpr (GhcPass p))] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map LGRHS (GhcPass p) (LHsExpr (GhcPass p)) -> SDoc
forall a p l.
(Outputable a, Outputable (XXGRHS p a),
Outputable (StmtLR p p (LHsExpr p))) =>
GenLocated l (GRHS p a) -> SDoc
ppr_alt [LGRHS (GhcPass p) (LHsExpr (GhcPass p))]
alts))
where ppr_alt :: GenLocated l (GRHS p a) -> SDoc
ppr_alt (L l
_ (GRHS XCGRHS p a
_ [GuardLStmt p]
guards a
expr)) =
SDoc -> Int -> SDoc -> SDoc
hang SDoc
vbar Int
2 ([SDoc] -> SDoc
ppr_one [SDoc]
one_alt)
where
ppr_one :: [SDoc] -> SDoc
ppr_one [] = String -> SDoc
forall a. String -> a
panic String
"ppr_exp HsMultiIf"
ppr_one (SDoc
h:[SDoc]
t) = SDoc -> Int -> SDoc -> SDoc
hang SDoc
h Int
2 ([SDoc] -> SDoc
sep [SDoc]
t)
one_alt :: [SDoc]
one_alt = [ [GuardLStmt p] -> SDoc
forall a. Outputable a => [a] -> SDoc
interpp'SP [GuardLStmt p]
guards
, String -> SDoc
text String
"->" SDoc -> SDoc -> SDoc
<+> SDoc -> SDoc
pprDeeper (a -> SDoc
forall a. Outputable a => a -> SDoc
ppr a
expr) ]
ppr_alt (L l
_ (XGRHS XXGRHS p a
x)) = XXGRHS p a -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXGRHS p a
x
ppr_expr (HsLet XLet (GhcPass p)
_ (L SrcSpan
_ HsLocalBinds (GhcPass p)
binds) expr :: LHsExpr (GhcPass p)
expr@(L SrcSpan
_ (HsLet XLet (GhcPass p)
_ GenLocated SrcSpan (HsLocalBinds (GhcPass p))
_ LHsExpr (GhcPass p)
_)))
= [SDoc] -> SDoc
sep [SDoc -> Int -> SDoc -> SDoc
hang (String -> SDoc
text String
"let") Int
2 ([SDoc] -> SDoc
hsep [HsLocalBinds (GhcPass p) -> SDoc
forall (idL :: Pass) (idR :: Pass).
(OutputableBndrId idL, OutputableBndrId idR) =>
HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprBinds HsLocalBinds (GhcPass p)
binds, PtrString -> SDoc
ptext (String -> PtrString
sLit String
"in")]),
LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
expr]
ppr_expr (HsLet XLet (GhcPass p)
_ (L SrcSpan
_ HsLocalBinds (GhcPass p)
binds) LHsExpr (GhcPass p)
expr)
= [SDoc] -> SDoc
sep [SDoc -> Int -> SDoc -> SDoc
hang (String -> SDoc
text String
"let") Int
2 (HsLocalBinds (GhcPass p) -> SDoc
forall (idL :: Pass) (idR :: Pass).
(OutputableBndrId idL, OutputableBndrId idR) =>
HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprBinds HsLocalBinds (GhcPass p)
binds),
SDoc -> Int -> SDoc -> SDoc
hang (String -> SDoc
text String
"in") Int
2 (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
expr)]
ppr_expr (HsDo XDo (GhcPass p)
_ HsStmtContext Name
do_or_list_comp (L SrcSpan
_ [ExprLStmt (GhcPass p)]
stmts)) = HsStmtContext Name -> [ExprLStmt (GhcPass p)] -> SDoc
forall (p :: Pass) body any.
(OutputableBndrId p, Outputable body) =>
HsStmtContext any -> [LStmt (GhcPass p) body] -> SDoc
pprDo HsStmtContext Name
do_or_list_comp [ExprLStmt (GhcPass p)]
stmts
ppr_expr (ExplicitList XExplicitList (GhcPass p)
_ Maybe (SyntaxExpr (GhcPass p))
_ [LHsExpr (GhcPass p)]
exprs)
= SDoc -> SDoc
brackets (([SDoc] -> SDoc) -> [SDoc] -> SDoc
pprDeeperList [SDoc] -> SDoc
fsep (SDoc -> [SDoc] -> [SDoc]
punctuate SDoc
comma ((LHsExpr (GhcPass p) -> SDoc) -> [LHsExpr (GhcPass p)] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr [LHsExpr (GhcPass p)]
exprs)))
ppr_expr (RecordCon { rcon_con_name :: forall p. HsExpr p -> Located (IdP p)
rcon_con_name = GenLocated SrcSpan (IdP (GhcPass p))
con_id, rcon_flds :: forall p. HsExpr p -> HsRecordBinds p
rcon_flds = HsRecordBinds (GhcPass p)
rbinds })
= SDoc -> Int -> SDoc -> SDoc
hang (GenLocated SrcSpan (IdP (GhcPass p)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr GenLocated SrcSpan (IdP (GhcPass p))
con_id) Int
2 (HsRecordBinds (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsRecordBinds (GhcPass p)
rbinds)
ppr_expr (RecordUpd { rupd_expr :: forall p. HsExpr p -> LHsExpr p
rupd_expr = L SrcSpan
_ HsExpr (GhcPass p)
aexp, rupd_flds :: forall p. HsExpr p -> [LHsRecUpdField p]
rupd_flds = [LHsRecUpdField (GhcPass p)]
rbinds })
= SDoc -> Int -> SDoc -> SDoc
hang (HsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsExpr (GhcPass p)
aexp) Int
2 (SDoc -> SDoc
braces ([SDoc] -> SDoc
fsep (SDoc -> [SDoc] -> [SDoc]
punctuate SDoc
comma ((LHsRecUpdField (GhcPass p) -> SDoc)
-> [LHsRecUpdField (GhcPass p)] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map LHsRecUpdField (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr [LHsRecUpdField (GhcPass p)]
rbinds))))
ppr_expr (ExprWithTySig XExprWithTySig (GhcPass p)
_ LHsExpr (GhcPass p)
expr LHsSigWcType (NoGhcTc (GhcPass p))
sig)
= SDoc -> Int -> SDoc -> SDoc
hang (Int -> SDoc -> SDoc
nest Int
2 (LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
expr) SDoc -> SDoc -> SDoc
<+> SDoc
dcolon)
Int
4 (LHsSigWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsSigWcType (NoGhcTc (GhcPass p))
LHsSigWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p)))
sig)
ppr_expr (ArithSeq XArithSeq (GhcPass p)
_ Maybe (SyntaxExpr (GhcPass p))
_ ArithSeqInfo (GhcPass p)
info) = SDoc -> SDoc
brackets (ArithSeqInfo (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr ArithSeqInfo (GhcPass p)
info)
ppr_expr (HsSCC XSCC (GhcPass p)
_ SourceText
st (StringLiteral SourceText
stl FastString
lbl) LHsExpr (GhcPass p)
expr)
= [SDoc] -> SDoc
sep [ SourceText -> SDoc -> SDoc
pprWithSourceText SourceText
st (String -> SDoc
text String
"{-# SCC")
SDoc -> SDoc -> SDoc
<+> SourceText -> SDoc -> SDoc
pprWithSourceText SourceText
stl (FastString -> SDoc
ftext FastString
lbl) SDoc -> SDoc -> SDoc
<+> String -> SDoc
text String
"#-}",
LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
expr ]
ppr_expr (HsWrap XWrap (GhcPass p)
_ HsWrapper
co_fn HsExpr (GhcPass p)
e)
= HsWrapper -> (Bool -> SDoc) -> SDoc
pprHsWrapper HsWrapper
co_fn (\Bool
parens -> if Bool
parens then HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> SDoc
pprExpr HsExpr (GhcPass p)
e
else HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> SDoc
pprExpr HsExpr (GhcPass p)
e)
ppr_expr (HsSpliceE XSpliceE (GhcPass p)
_ HsSplice (GhcPass p)
s) = HsSplice (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsSplice (GhcPass p) -> SDoc
pprSplice HsSplice (GhcPass p)
s
ppr_expr (HsBracket XBracket (GhcPass p)
_ HsBracket (GhcPass p)
b) = HsBracket (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsBracket (GhcPass p) -> SDoc
pprHsBracket HsBracket (GhcPass p)
b
ppr_expr (HsRnBracketOut XRnBracketOut (GhcPass p)
_ HsBracket GhcRn
e []) = HsBracket GhcRn -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsBracket GhcRn
e
ppr_expr (HsRnBracketOut XRnBracketOut (GhcPass p)
_ HsBracket GhcRn
e [PendingRnSplice]
ps) = HsBracket GhcRn -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsBracket GhcRn
e SDoc -> SDoc -> SDoc
$$ String -> SDoc
text String
"pending(rn)" SDoc -> SDoc -> SDoc
<+> [PendingRnSplice] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [PendingRnSplice]
ps
ppr_expr (HsTcBracketOut XTcBracketOut (GhcPass p)
_ HsBracket GhcRn
e []) = HsBracket GhcRn -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsBracket GhcRn
e
ppr_expr (HsTcBracketOut XTcBracketOut (GhcPass p)
_ HsBracket GhcRn
e [PendingTcSplice]
ps) = HsBracket GhcRn -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsBracket GhcRn
e SDoc -> SDoc -> SDoc
$$ String -> SDoc
text String
"pending(tc)" SDoc -> SDoc -> SDoc
<+> [PendingTcSplice] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [PendingTcSplice]
ps
ppr_expr (HsProc XProc (GhcPass p)
_ LPat (GhcPass p)
pat (L SrcSpan
_ (HsCmdTop XCmdTop (GhcPass p)
_ LHsCmd (GhcPass p)
cmd)))
= [SDoc] -> SDoc
hsep [String -> SDoc
text String
"proc", Located (Pat (GhcPass p)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Located (Pat (GhcPass p))
LPat (GhcPass p)
pat, PtrString -> SDoc
ptext (String -> PtrString
sLit String
"->"), LHsCmd (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsCmd (GhcPass p)
cmd]
ppr_expr (HsProc XProc (GhcPass p)
_ LPat (GhcPass p)
pat (L SrcSpan
_ (XCmdTop XXCmdTop (GhcPass p)
x)))
= [SDoc] -> SDoc
hsep [String -> SDoc
text String
"proc", Located (Pat (GhcPass p)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Located (Pat (GhcPass p))
LPat (GhcPass p)
pat, PtrString -> SDoc
ptext (String -> PtrString
sLit String
"->"), NoExtCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXCmdTop (GhcPass p)
NoExtCon
x]
ppr_expr (HsStatic XStatic (GhcPass p)
_ LHsExpr (GhcPass p)
e)
= [SDoc] -> SDoc
hsep [String -> SDoc
text String
"static", LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
e]
ppr_expr (HsTick XTick (GhcPass p)
_ Tickish (IdP (GhcPass p))
tickish LHsExpr (GhcPass p)
exp)
= SDoc -> SDoc -> SDoc
pprTicks (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
exp) (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$
Tickish (IdP (GhcPass p)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Tickish (IdP (GhcPass p))
tickish SDoc -> SDoc -> SDoc
<+> LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
exp
ppr_expr (HsBinTick XBinTick (GhcPass p)
_ Int
tickIdTrue Int
tickIdFalse LHsExpr (GhcPass p)
exp)
= SDoc -> SDoc -> SDoc
pprTicks (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
exp) (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$
[SDoc] -> SDoc
hcat [String -> SDoc
text String
"bintick<",
Int -> SDoc
forall a. Outputable a => a -> SDoc
ppr Int
tickIdTrue,
String -> SDoc
text String
",",
Int -> SDoc
forall a. Outputable a => a -> SDoc
ppr Int
tickIdFalse,
String -> SDoc
text String
">(",
LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
exp, String -> SDoc
text String
")"]
ppr_expr (HsTickPragma XTickPragma (GhcPass p)
_ SourceText
_ (StringLiteral, (Int, Int), (Int, Int))
externalSrcLoc ((SourceText, SourceText), (SourceText, SourceText))
_ LHsExpr (GhcPass p)
exp)
= SDoc -> SDoc -> SDoc
pprTicks (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
exp) (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$
[SDoc] -> SDoc
hcat [String -> SDoc
text String
"tickpragma<",
(StringLiteral, (Int, Int), (Int, Int)) -> SDoc
pprExternalSrcLoc (StringLiteral, (Int, Int), (Int, Int))
externalSrcLoc,
String -> SDoc
text String
">(",
LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
exp,
String -> SDoc
text String
")"]
ppr_expr (HsRecFld XRecFld (GhcPass p)
_ AmbiguousFieldOcc (GhcPass p)
f) = AmbiguousFieldOcc (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr AmbiguousFieldOcc (GhcPass p)
f
ppr_expr (XExpr XXExpr (GhcPass p)
x) = NoExtCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXExpr (GhcPass p)
NoExtCon
x
ppr_infix_expr :: (OutputableBndrId p) => HsExpr (GhcPass p) -> Maybe SDoc
ppr_infix_expr :: HsExpr (GhcPass p) -> Maybe SDoc
ppr_infix_expr (HsVar XVar (GhcPass p)
_ (L SrcSpan
_ IdP (GhcPass p)
v)) = SDoc -> Maybe SDoc
forall a. a -> Maybe a
Just (IdP (GhcPass p) -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc IdP (GhcPass p)
v)
ppr_infix_expr (HsConLikeOut XConLikeOut (GhcPass p)
_ ConLike
c) = SDoc -> Maybe SDoc
forall a. a -> Maybe a
Just (Name -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc (ConLike -> Name
conLikeName ConLike
c))
ppr_infix_expr (HsRecFld XRecFld (GhcPass p)
_ AmbiguousFieldOcc (GhcPass p)
f) = SDoc -> Maybe SDoc
forall a. a -> Maybe a
Just (AmbiguousFieldOcc (GhcPass p) -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc AmbiguousFieldOcc (GhcPass p)
f)
ppr_infix_expr (HsUnboundVar XUnboundVar (GhcPass p)
_ h :: UnboundVar
h@TrueExprHole{}) = SDoc -> Maybe SDoc
forall a. a -> Maybe a
Just (OccName -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc (UnboundVar -> OccName
unboundVarOcc UnboundVar
h))
ppr_infix_expr (HsWrap XWrap (GhcPass p)
_ HsWrapper
_ HsExpr (GhcPass p)
e) = HsExpr (GhcPass p) -> Maybe SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> Maybe SDoc
ppr_infix_expr HsExpr (GhcPass p)
e
ppr_infix_expr HsExpr (GhcPass p)
_ = Maybe SDoc
forall a. Maybe a
Nothing
ppr_apps :: (OutputableBndrId p)
=> HsExpr (GhcPass p)
-> [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
-> SDoc
ppr_apps :: HsExpr (GhcPass p)
-> [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
-> SDoc
ppr_apps (HsApp XApp (GhcPass p)
_ (L SrcSpan
_ HsExpr (GhcPass p)
fun) LHsExpr (GhcPass p)
arg) [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
args
= HsExpr (GhcPass p)
-> [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
-> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p)
-> [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
-> SDoc
ppr_apps HsExpr (GhcPass p)
fun (LHsExpr (GhcPass p)
-> Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))
forall a b. a -> Either a b
Left LHsExpr (GhcPass p)
arg Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))
-> [Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))]
-> [Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))]
forall a. a -> [a] -> [a]
: [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
[Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))]
args)
ppr_apps (HsAppType XAppTypeE (GhcPass p)
_ (L SrcSpan
_ HsExpr (GhcPass p)
fun) LHsWcType (NoGhcTc (GhcPass p))
arg) [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
args
= HsExpr (GhcPass p)
-> [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
-> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p)
-> [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
-> SDoc
ppr_apps HsExpr (GhcPass p)
fun (LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p)))
-> Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))
forall a b. b -> Either a b
Right LHsWcType (NoGhcTc (GhcPass p))
LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p)))
arg Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))
-> [Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))]
-> [Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))]
forall a. a -> [a] -> [a]
: [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
[Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))]
args)
ppr_apps HsExpr (GhcPass p)
fun [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
args = SDoc -> Int -> SDoc -> SDoc
hang (HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> SDoc
ppr_expr HsExpr (GhcPass p)
fun) Int
2 ([SDoc] -> SDoc
fsep ((Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))
-> SDoc)
-> [Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))]
-> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))
-> SDoc
forall a a. (Outputable a, Outputable a) => Either a a -> SDoc
pp [Either (LHsExpr (GhcPass p)) (LHsWcType (NoGhcTc (GhcPass p)))]
[Either
(LHsExpr (GhcPass p))
(LHsWcType (GhcPass (NoGhcTcPass (NoGhcTcPass p))))]
args))
where
pp :: Either a a -> SDoc
pp (Left a
arg) = a -> SDoc
forall a. Outputable a => a -> SDoc
ppr a
arg
pp (Right a
arg)
= Char -> SDoc
char Char
'@' SDoc -> SDoc -> SDoc
<> a -> SDoc
forall a. Outputable a => a -> SDoc
ppr a
arg
pprExternalSrcLoc :: (StringLiteral,(Int,Int),(Int,Int)) -> SDoc
pprExternalSrcLoc :: (StringLiteral, (Int, Int), (Int, Int)) -> SDoc
pprExternalSrcLoc (StringLiteral SourceText
_ FastString
src,(Int
n1,Int
n2),(Int
n3,Int
n4))
= (FastString, (Int, Int), (Int, Int)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr (FastString
src,(Int
n1,Int
n2),(Int
n3,Int
n4))
pprDebugParendExpr :: (OutputableBndrId p)
=> PprPrec -> LHsExpr (GhcPass p) -> SDoc
pprDebugParendExpr :: PprPrec -> LHsExpr (GhcPass p) -> SDoc
pprDebugParendExpr PprPrec
p LHsExpr (GhcPass p)
expr
= (PprStyle -> SDoc) -> SDoc
getPprStyle (\PprStyle
sty ->
if PprStyle -> Bool
debugStyle PprStyle
sty then PprPrec -> LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
PprPrec -> LHsExpr (GhcPass p) -> SDoc
pprParendLExpr PprPrec
p LHsExpr (GhcPass p)
expr
else LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
pprLExpr LHsExpr (GhcPass p)
expr)
pprParendLExpr :: (OutputableBndrId p)
=> PprPrec -> LHsExpr (GhcPass p) -> SDoc
pprParendLExpr :: PprPrec -> LHsExpr (GhcPass p) -> SDoc
pprParendLExpr PprPrec
p (L SrcSpan
_ HsExpr (GhcPass p)
e) = PprPrec -> HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
PprPrec -> HsExpr (GhcPass p) -> SDoc
pprParendExpr PprPrec
p HsExpr (GhcPass p)
e
pprParendExpr :: (OutputableBndrId p)
=> PprPrec -> HsExpr (GhcPass p) -> SDoc
pprParendExpr :: PprPrec -> HsExpr (GhcPass p) -> SDoc
pprParendExpr PprPrec
p HsExpr (GhcPass p)
expr
| PprPrec -> HsExpr (GhcPass p) -> Bool
forall p. PprPrec -> HsExpr p -> Bool
hsExprNeedsParens PprPrec
p HsExpr (GhcPass p)
expr = SDoc -> SDoc
parens (HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> SDoc
pprExpr HsExpr (GhcPass p)
expr)
| Bool
otherwise = HsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsExpr (GhcPass p) -> SDoc
pprExpr HsExpr (GhcPass p)
expr
hsExprNeedsParens :: PprPrec -> HsExpr p -> Bool
hsExprNeedsParens :: PprPrec -> HsExpr p -> Bool
hsExprNeedsParens PprPrec
p = HsExpr p -> Bool
go
where
go :: HsExpr p -> Bool
go (HsVar{}) = Bool
False
go (HsUnboundVar{}) = Bool
False
go (HsConLikeOut{}) = Bool
False
go (HsIPVar{}) = Bool
False
go (HsOverLabel{}) = Bool
False
go (HsLit XLitE p
_ HsLit p
l) = PprPrec -> HsLit p -> Bool
forall x. PprPrec -> HsLit x -> Bool
hsLitNeedsParens PprPrec
p HsLit p
l
go (HsOverLit XOverLitE p
_ HsOverLit p
ol) = PprPrec -> HsOverLit p -> Bool
forall x. PprPrec -> HsOverLit x -> Bool
hsOverLitNeedsParens PprPrec
p HsOverLit p
ol
go (HsPar{}) = Bool
False
go (HsCoreAnn XCoreAnn p
_ SourceText
_ StringLiteral
_ (L SrcSpan
_ HsExpr p
e)) = HsExpr p -> Bool
go HsExpr p
e
go (HsApp{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
>= PprPrec
appPrec
go (HsAppType {}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
>= PprPrec
appPrec
go (OpApp{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
>= PprPrec
opPrec
go (NegApp{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
> PprPrec
topPrec
go (SectionL{}) = Bool
True
go (SectionR{}) = Bool
True
go (ExplicitTuple{}) = Bool
False
go (ExplicitSum{}) = Bool
False
go (HsLam{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
> PprPrec
topPrec
go (HsLamCase{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
> PprPrec
topPrec
go (HsCase{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
> PprPrec
topPrec
go (HsIf{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
> PprPrec
topPrec
go (HsMultiIf{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
> PprPrec
topPrec
go (HsLet{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
> PprPrec
topPrec
go (HsDo XDo p
_ HsStmtContext Name
sc Located [ExprLStmt p]
_)
| HsStmtContext Name -> Bool
forall id. HsStmtContext id -> Bool
isComprehensionContext HsStmtContext Name
sc = Bool
False
| Bool
otherwise = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
> PprPrec
topPrec
go (ExplicitList{}) = Bool
False
go (RecordUpd{}) = Bool
False
go (ExprWithTySig{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
>= PprPrec
sigPrec
go (ArithSeq{}) = Bool
False
go (HsSCC{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
>= PprPrec
appPrec
go (HsWrap XWrap p
_ HsWrapper
_ HsExpr p
e) = HsExpr p -> Bool
go HsExpr p
e
go (HsSpliceE{}) = Bool
False
go (HsBracket{}) = Bool
False
go (HsRnBracketOut{}) = Bool
False
go (HsTcBracketOut{}) = Bool
False
go (HsProc{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
> PprPrec
topPrec
go (HsStatic{}) = PprPrec
p PprPrec -> PprPrec -> Bool
forall a. Ord a => a -> a -> Bool
>= PprPrec
appPrec
go (HsTick XTick p
_ Tickish (IdP p)
_ (L SrcSpan
_ HsExpr p
e)) = HsExpr p -> Bool
go HsExpr p
e
go (HsBinTick XBinTick p
_ Int
_ Int
_ (L SrcSpan
_ HsExpr p
e)) = HsExpr p -> Bool
go HsExpr p
e
go (HsTickPragma XTickPragma p
_ SourceText
_ (StringLiteral, (Int, Int), (Int, Int))
_ ((SourceText, SourceText), (SourceText, SourceText))
_ (L SrcSpan
_ HsExpr p
e)) = HsExpr p -> Bool
go HsExpr p
e
go (RecordCon{}) = Bool
False
go (HsRecFld{}) = Bool
False
go (XExpr{}) = Bool
True
parenthesizeHsExpr :: PprPrec -> LHsExpr (GhcPass p) -> LHsExpr (GhcPass p)
parenthesizeHsExpr :: PprPrec -> LHsExpr (GhcPass p) -> LHsExpr (GhcPass p)
parenthesizeHsExpr PprPrec
p le :: LHsExpr (GhcPass p)
le@(L SrcSpan
loc HsExpr (GhcPass p)
e)
| PprPrec -> HsExpr (GhcPass p) -> Bool
forall p. PprPrec -> HsExpr p -> Bool
hsExprNeedsParens PprPrec
p HsExpr (GhcPass p)
e = SrcSpan -> HsExpr (GhcPass p) -> LHsExpr (GhcPass p)
forall l e. l -> e -> GenLocated l e
L SrcSpan
loc (XPar (GhcPass p) -> LHsExpr (GhcPass p) -> HsExpr (GhcPass p)
forall p. XPar p -> LHsExpr p -> HsExpr p
HsPar XPar (GhcPass p)
NoExtField
noExtField LHsExpr (GhcPass p)
le)
| Bool
otherwise = LHsExpr (GhcPass p)
le
isAtomicHsExpr :: HsExpr id -> Bool
isAtomicHsExpr :: HsExpr id -> Bool
isAtomicHsExpr (HsVar {}) = Bool
True
isAtomicHsExpr (HsConLikeOut {}) = Bool
True
isAtomicHsExpr (HsLit {}) = Bool
True
isAtomicHsExpr (HsOverLit {}) = Bool
True
isAtomicHsExpr (HsIPVar {}) = Bool
True
isAtomicHsExpr (HsOverLabel {}) = Bool
True
isAtomicHsExpr (HsUnboundVar {}) = Bool
True
isAtomicHsExpr (HsWrap XWrap id
_ HsWrapper
_ HsExpr id
e) = HsExpr id -> Bool
forall id. HsExpr id -> Bool
isAtomicHsExpr HsExpr id
e
isAtomicHsExpr (HsPar XPar id
_ LHsExpr id
e) = HsExpr id -> Bool
forall id. HsExpr id -> Bool
isAtomicHsExpr (LHsExpr id -> SrcSpanLess (LHsExpr id)
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsExpr id
e)
isAtomicHsExpr (HsRecFld{}) = Bool
True
isAtomicHsExpr HsExpr id
_ = Bool
False
type LHsCmd id = Located (HsCmd id)
data HsCmd id
= HsCmdArrApp
(XCmdArrApp id)
(LHsExpr id)
(LHsExpr id)
HsArrAppType
Bool
| HsCmdArrForm
(XCmdArrForm id)
(LHsExpr id)
LexicalFixity
(Maybe Fixity)
[LHsCmdTop id]
| HsCmdApp (XCmdApp id)
(LHsCmd id)
(LHsExpr id)
| HsCmdLam (XCmdLam id)
(MatchGroup id (LHsCmd id))
| HsCmdPar (XCmdPar id)
(LHsCmd id)
| HsCmdCase (XCmdCase id)
(LHsExpr id)
(MatchGroup id (LHsCmd id))
| HsCmdIf (XCmdIf id)
(Maybe (SyntaxExpr id))
(LHsExpr id)
(LHsCmd id)
(LHsCmd id)
| HsCmdLet (XCmdLet id)
(LHsLocalBinds id)
(LHsCmd id)
| HsCmdDo (XCmdDo id)
(Located [CmdLStmt id])
| HsCmdWrap (XCmdWrap id)
HsWrapper
(HsCmd id)
| XCmd (XXCmd id)
type instance XCmdArrApp GhcPs = NoExtField
type instance XCmdArrApp GhcRn = NoExtField
type instance XCmdArrApp GhcTc = Type
type instance XCmdArrForm (GhcPass _) = NoExtField
type instance XCmdApp (GhcPass _) = NoExtField
type instance XCmdLam (GhcPass _) = NoExtField
type instance XCmdPar (GhcPass _) = NoExtField
type instance XCmdCase (GhcPass _) = NoExtField
type instance XCmdIf (GhcPass _) = NoExtField
type instance XCmdLet (GhcPass _) = NoExtField
type instance XCmdDo GhcPs = NoExtField
type instance XCmdDo GhcRn = NoExtField
type instance XCmdDo GhcTc = Type
type instance XCmdWrap (GhcPass _) = NoExtField
type instance XXCmd (GhcPass _) = NoExtCon
data HsArrAppType = HsHigherOrderApp | HsFirstOrderApp
deriving Typeable HsArrAppType
DataType
Constr
Typeable HsArrAppType
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> HsArrAppType -> c HsArrAppType)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c HsArrAppType)
-> (HsArrAppType -> Constr)
-> (HsArrAppType -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c HsArrAppType))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c HsArrAppType))
-> ((forall b. Data b => b -> b) -> HsArrAppType -> HsArrAppType)
-> (forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> HsArrAppType -> r)
-> (forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> HsArrAppType -> r)
-> (forall u. (forall d. Data d => d -> u) -> HsArrAppType -> [u])
-> (forall u.
Int -> (forall d. Data d => d -> u) -> HsArrAppType -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType)
-> Data HsArrAppType
HsArrAppType -> DataType
HsArrAppType -> Constr
(forall b. Data b => b -> b) -> HsArrAppType -> HsArrAppType
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> HsArrAppType -> c HsArrAppType
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c HsArrAppType
forall a.
Typeable a
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> HsArrAppType -> u
forall u. (forall d. Data d => d -> u) -> HsArrAppType -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> HsArrAppType -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> HsArrAppType -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c HsArrAppType
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> HsArrAppType -> c HsArrAppType
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c HsArrAppType)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c HsArrAppType)
$cHsFirstOrderApp :: Constr
$cHsHigherOrderApp :: Constr
$tHsArrAppType :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType
gmapMp :: (forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType
gmapM :: (forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> HsArrAppType -> m HsArrAppType
gmapQi :: Int -> (forall d. Data d => d -> u) -> HsArrAppType -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> HsArrAppType -> u
gmapQ :: (forall d. Data d => d -> u) -> HsArrAppType -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> HsArrAppType -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> HsArrAppType -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> HsArrAppType -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> HsArrAppType -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> HsArrAppType -> r
gmapT :: (forall b. Data b => b -> b) -> HsArrAppType -> HsArrAppType
$cgmapT :: (forall b. Data b => b -> b) -> HsArrAppType -> HsArrAppType
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c HsArrAppType)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c HsArrAppType)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c HsArrAppType)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c HsArrAppType)
dataTypeOf :: HsArrAppType -> DataType
$cdataTypeOf :: HsArrAppType -> DataType
toConstr :: HsArrAppType -> Constr
$ctoConstr :: HsArrAppType -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c HsArrAppType
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c HsArrAppType
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> HsArrAppType -> c HsArrAppType
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> HsArrAppType -> c HsArrAppType
$cp1Data :: Typeable HsArrAppType
Data
type LHsCmdTop p = Located (HsCmdTop p)
data HsCmdTop p
= HsCmdTop (XCmdTop p)
(LHsCmd p)
| XCmdTop (XXCmdTop p)
data CmdTopTc
= CmdTopTc Type
Type
(CmdSyntaxTable GhcTc)
type instance XCmdTop GhcPs = NoExtField
type instance XCmdTop GhcRn = CmdSyntaxTable GhcRn
type instance XCmdTop GhcTc = CmdTopTc
type instance XXCmdTop (GhcPass _) = NoExtCon
instance (OutputableBndrId p) => Outputable (HsCmd (GhcPass p)) where
ppr :: HsCmd (GhcPass p) -> SDoc
ppr HsCmd (GhcPass p)
cmd = HsCmd (GhcPass p) -> SDoc
forall (p :: Pass). OutputableBndrId p => HsCmd (GhcPass p) -> SDoc
pprCmd HsCmd (GhcPass p)
cmd
pprLCmd :: (OutputableBndrId p) => LHsCmd (GhcPass p) -> SDoc
pprLCmd :: LHsCmd (GhcPass p) -> SDoc
pprLCmd (L SrcSpan
_ HsCmd (GhcPass p)
c) = HsCmd (GhcPass p) -> SDoc
forall (p :: Pass). OutputableBndrId p => HsCmd (GhcPass p) -> SDoc
pprCmd HsCmd (GhcPass p)
c
pprCmd :: (OutputableBndrId p) => HsCmd (GhcPass p) -> SDoc
pprCmd :: HsCmd (GhcPass p) -> SDoc
pprCmd HsCmd (GhcPass p)
c | HsCmd (GhcPass p) -> Bool
forall id. HsCmd id -> Bool
isQuietHsCmd HsCmd (GhcPass p)
c = HsCmd (GhcPass p) -> SDoc
forall (p :: Pass). OutputableBndrId p => HsCmd (GhcPass p) -> SDoc
ppr_cmd HsCmd (GhcPass p)
c
| Bool
otherwise = SDoc -> SDoc
pprDeeper (HsCmd (GhcPass p) -> SDoc
forall (p :: Pass). OutputableBndrId p => HsCmd (GhcPass p) -> SDoc
ppr_cmd HsCmd (GhcPass p)
c)
isQuietHsCmd :: HsCmd id -> Bool
isQuietHsCmd :: HsCmd id -> Bool
isQuietHsCmd (HsCmdPar {}) = Bool
True
isQuietHsCmd (HsCmdApp {}) = Bool
True
isQuietHsCmd HsCmd id
_ = Bool
False
ppr_lcmd :: (OutputableBndrId p) => LHsCmd (GhcPass p) -> SDoc
ppr_lcmd :: LHsCmd (GhcPass p) -> SDoc
ppr_lcmd LHsCmd (GhcPass p)
c = HsCmd (GhcPass p) -> SDoc
forall (p :: Pass). OutputableBndrId p => HsCmd (GhcPass p) -> SDoc
ppr_cmd (LHsCmd (GhcPass p) -> SrcSpanLess (LHsCmd (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsCmd (GhcPass p)
c)
ppr_cmd :: forall p. (OutputableBndrId p) => HsCmd (GhcPass p) -> SDoc
ppr_cmd :: HsCmd (GhcPass p) -> SDoc
ppr_cmd (HsCmdPar XCmdPar (GhcPass p)
_ LHsCmd (GhcPass p)
c) = SDoc -> SDoc
parens (LHsCmd (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsCmd (GhcPass p) -> SDoc
ppr_lcmd LHsCmd (GhcPass p)
c)
ppr_cmd (HsCmdApp XCmdApp (GhcPass p)
_ LHsCmd (GhcPass p)
c LHsExpr (GhcPass p)
e)
= let (LHsCmd (GhcPass p)
fun, [LHsExpr (GhcPass p)]
args) = LHsCmd (GhcPass p)
-> [LHsExpr (GhcPass p)]
-> (LHsCmd (GhcPass p), [LHsExpr (GhcPass p)])
forall id. LHsCmd id -> [LHsExpr id] -> (LHsCmd id, [LHsExpr id])
collect_args LHsCmd (GhcPass p)
c [LHsExpr (GhcPass p)
e] in
SDoc -> Int -> SDoc -> SDoc
hang (LHsCmd (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsCmd (GhcPass p) -> SDoc
ppr_lcmd LHsCmd (GhcPass p)
fun) Int
2 ([SDoc] -> SDoc
sep ((LHsExpr (GhcPass p) -> SDoc) -> [LHsExpr (GhcPass p)] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr [LHsExpr (GhcPass p)]
args))
where
collect_args :: LHsCmd id -> [LHsExpr id] -> (LHsCmd id, [LHsExpr id])
collect_args (L SrcSpan
_ (HsCmdApp XCmdApp id
_ LHsCmd id
fun LHsExpr id
arg)) [LHsExpr id]
args = LHsCmd id -> [LHsExpr id] -> (LHsCmd id, [LHsExpr id])
collect_args LHsCmd id
fun (LHsExpr id
argLHsExpr id -> [LHsExpr id] -> [LHsExpr id]
forall a. a -> [a] -> [a]
:[LHsExpr id]
args)
collect_args LHsCmd id
fun [LHsExpr id]
args = (LHsCmd id
fun, [LHsExpr id]
args)
ppr_cmd (HsCmdLam XCmdLam (GhcPass p)
_ MatchGroup (GhcPass p) (LHsCmd (GhcPass p))
matches)
= MatchGroup (GhcPass p) (LHsCmd (GhcPass p)) -> SDoc
forall (idR :: Pass) body.
(OutputableBndrId idR, Outputable body) =>
MatchGroup (GhcPass idR) body -> SDoc
pprMatches MatchGroup (GhcPass p) (LHsCmd (GhcPass p))
matches
ppr_cmd (HsCmdCase XCmdCase (GhcPass p)
_ LHsExpr (GhcPass p)
expr MatchGroup (GhcPass p) (LHsCmd (GhcPass p))
matches)
= [SDoc] -> SDoc
sep [ [SDoc] -> SDoc
sep [String -> SDoc
text String
"case", Int -> SDoc -> SDoc
nest Int
4 (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
expr), PtrString -> SDoc
ptext (String -> PtrString
sLit String
"of")],
Int -> SDoc -> SDoc
nest Int
2 (MatchGroup (GhcPass p) (LHsCmd (GhcPass p)) -> SDoc
forall (idR :: Pass) body.
(OutputableBndrId idR, Outputable body) =>
MatchGroup (GhcPass idR) body -> SDoc
pprMatches MatchGroup (GhcPass p) (LHsCmd (GhcPass p))
matches) ]
ppr_cmd (HsCmdIf XCmdIf (GhcPass p)
_ Maybe (SyntaxExpr (GhcPass p))
_ LHsExpr (GhcPass p)
e LHsCmd (GhcPass p)
ct LHsCmd (GhcPass p)
ce)
= [SDoc] -> SDoc
sep [[SDoc] -> SDoc
hsep [String -> SDoc
text String
"if", Int -> SDoc -> SDoc
nest Int
2 (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
e), PtrString -> SDoc
ptext (String -> PtrString
sLit String
"then")],
Int -> SDoc -> SDoc
nest Int
4 (LHsCmd (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsCmd (GhcPass p)
ct),
String -> SDoc
text String
"else",
Int -> SDoc -> SDoc
nest Int
4 (LHsCmd (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsCmd (GhcPass p)
ce)]
ppr_cmd (HsCmdLet XCmdLet (GhcPass p)
_ (L SrcSpan
_ HsLocalBinds (GhcPass p)
binds) cmd :: LHsCmd (GhcPass p)
cmd@(L SrcSpan
_ (HsCmdLet {})))
= [SDoc] -> SDoc
sep [SDoc -> Int -> SDoc -> SDoc
hang (String -> SDoc
text String
"let") Int
2 ([SDoc] -> SDoc
hsep [HsLocalBinds (GhcPass p) -> SDoc
forall (idL :: Pass) (idR :: Pass).
(OutputableBndrId idL, OutputableBndrId idR) =>
HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprBinds HsLocalBinds (GhcPass p)
binds, PtrString -> SDoc
ptext (String -> PtrString
sLit String
"in")]),
LHsCmd (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsCmd (GhcPass p) -> SDoc
ppr_lcmd LHsCmd (GhcPass p)
cmd]
ppr_cmd (HsCmdLet XCmdLet (GhcPass p)
_ (L SrcSpan
_ HsLocalBinds (GhcPass p)
binds) LHsCmd (GhcPass p)
cmd)
= [SDoc] -> SDoc
sep [SDoc -> Int -> SDoc -> SDoc
hang (String -> SDoc
text String
"let") Int
2 (HsLocalBinds (GhcPass p) -> SDoc
forall (idL :: Pass) (idR :: Pass).
(OutputableBndrId idL, OutputableBndrId idR) =>
HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprBinds HsLocalBinds (GhcPass p)
binds),
SDoc -> Int -> SDoc -> SDoc
hang (String -> SDoc
text String
"in") Int
2 (LHsCmd (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsCmd (GhcPass p)
cmd)]
ppr_cmd (HsCmdDo XCmdDo (GhcPass p)
_ (L SrcSpan
_ [CmdLStmt (GhcPass p)]
stmts)) = HsStmtContext Any -> [CmdLStmt (GhcPass p)] -> SDoc
forall (p :: Pass) body any.
(OutputableBndrId p, Outputable body) =>
HsStmtContext any -> [LStmt (GhcPass p) body] -> SDoc
pprDo HsStmtContext Any
forall id. HsStmtContext id
ArrowExpr [CmdLStmt (GhcPass p)]
stmts
ppr_cmd (HsCmdWrap XCmdWrap (GhcPass p)
_ HsWrapper
w HsCmd (GhcPass p)
cmd)
= HsWrapper -> (Bool -> SDoc) -> SDoc
pprHsWrapper HsWrapper
w (\Bool
_ -> SDoc -> SDoc
parens (HsCmd (GhcPass p) -> SDoc
forall (p :: Pass). OutputableBndrId p => HsCmd (GhcPass p) -> SDoc
ppr_cmd HsCmd (GhcPass p)
cmd))
ppr_cmd (HsCmdArrApp XCmdArrApp (GhcPass p)
_ LHsExpr (GhcPass p)
arrow LHsExpr (GhcPass p)
arg HsArrAppType
HsFirstOrderApp Bool
True)
= [SDoc] -> SDoc
hsep [LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
arrow, SDoc
larrowt, LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
arg]
ppr_cmd (HsCmdArrApp XCmdArrApp (GhcPass p)
_ LHsExpr (GhcPass p)
arrow LHsExpr (GhcPass p)
arg HsArrAppType
HsFirstOrderApp Bool
False)
= [SDoc] -> SDoc
hsep [LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
arg, SDoc
arrowt, LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
arrow]
ppr_cmd (HsCmdArrApp XCmdArrApp (GhcPass p)
_ LHsExpr (GhcPass p)
arrow LHsExpr (GhcPass p)
arg HsArrAppType
HsHigherOrderApp Bool
True)
= [SDoc] -> SDoc
hsep [LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
arrow, SDoc
larrowtt, LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
arg]
ppr_cmd (HsCmdArrApp XCmdArrApp (GhcPass p)
_ LHsExpr (GhcPass p)
arrow LHsExpr (GhcPass p)
arg HsArrAppType
HsHigherOrderApp Bool
False)
= [SDoc] -> SDoc
hsep [LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
arg, SDoc
arrowtt, LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
arrow]
ppr_cmd (HsCmdArrForm XCmdArrForm (GhcPass p)
_ (L SrcSpan
_ (HsVar XVar (GhcPass p)
_ (L SrcSpan
_ IdP (GhcPass p)
v))) LexicalFixity
_ (Just Fixity
_) [LHsCmdTop (GhcPass p)
arg1, LHsCmdTop (GhcPass p)
arg2])
= SDoc -> Int -> SDoc -> SDoc
hang (HsCmdTop (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsCmdTop (GhcPass p) -> SDoc
pprCmdArg (LHsCmdTop (GhcPass p) -> SrcSpanLess (LHsCmdTop (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsCmdTop (GhcPass p)
arg1)) Int
4 ([SDoc] -> SDoc
sep [ IdP (GhcPass p) -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc IdP (GhcPass p)
v
, HsCmdTop (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsCmdTop (GhcPass p) -> SDoc
pprCmdArg (LHsCmdTop (GhcPass p) -> SrcSpanLess (LHsCmdTop (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsCmdTop (GhcPass p)
arg2)])
ppr_cmd (HsCmdArrForm XCmdArrForm (GhcPass p)
_ (L SrcSpan
_ (HsVar XVar (GhcPass p)
_ (L SrcSpan
_ IdP (GhcPass p)
v))) LexicalFixity
Infix Maybe Fixity
_ [LHsCmdTop (GhcPass p)
arg1, LHsCmdTop (GhcPass p)
arg2])
= SDoc -> Int -> SDoc -> SDoc
hang (HsCmdTop (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsCmdTop (GhcPass p) -> SDoc
pprCmdArg (LHsCmdTop (GhcPass p) -> SrcSpanLess (LHsCmdTop (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsCmdTop (GhcPass p)
arg1)) Int
4 ([SDoc] -> SDoc
sep [ IdP (GhcPass p) -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc IdP (GhcPass p)
v
, HsCmdTop (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsCmdTop (GhcPass p) -> SDoc
pprCmdArg (LHsCmdTop (GhcPass p) -> SrcSpanLess (LHsCmdTop (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsCmdTop (GhcPass p)
arg2)])
ppr_cmd (HsCmdArrForm XCmdArrForm (GhcPass p)
_ (L SrcSpan
_ (HsConLikeOut XConLikeOut (GhcPass p)
_ ConLike
c)) LexicalFixity
_ (Just Fixity
_) [LHsCmdTop (GhcPass p)
arg1, LHsCmdTop (GhcPass p)
arg2])
= SDoc -> Int -> SDoc -> SDoc
hang (HsCmdTop (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsCmdTop (GhcPass p) -> SDoc
pprCmdArg (LHsCmdTop (GhcPass p) -> SrcSpanLess (LHsCmdTop (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsCmdTop (GhcPass p)
arg1)) Int
4 ([SDoc] -> SDoc
sep [ Name -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc (ConLike -> Name
conLikeName ConLike
c)
, HsCmdTop (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsCmdTop (GhcPass p) -> SDoc
pprCmdArg (LHsCmdTop (GhcPass p) -> SrcSpanLess (LHsCmdTop (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsCmdTop (GhcPass p)
arg2)])
ppr_cmd (HsCmdArrForm XCmdArrForm (GhcPass p)
_ (L SrcSpan
_ (HsConLikeOut XConLikeOut (GhcPass p)
_ ConLike
c)) LexicalFixity
Infix Maybe Fixity
_ [LHsCmdTop (GhcPass p)
arg1, LHsCmdTop (GhcPass p)
arg2])
= SDoc -> Int -> SDoc -> SDoc
hang (HsCmdTop (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsCmdTop (GhcPass p) -> SDoc
pprCmdArg (LHsCmdTop (GhcPass p) -> SrcSpanLess (LHsCmdTop (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsCmdTop (GhcPass p)
arg1)) Int
4 ([SDoc] -> SDoc
sep [ Name -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc (ConLike -> Name
conLikeName ConLike
c)
, HsCmdTop (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsCmdTop (GhcPass p) -> SDoc
pprCmdArg (LHsCmdTop (GhcPass p) -> SrcSpanLess (LHsCmdTop (GhcPass p))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsCmdTop (GhcPass p)
arg2)])
ppr_cmd (HsCmdArrForm XCmdArrForm (GhcPass p)
_ LHsExpr (GhcPass p)
op LexicalFixity
_ Maybe Fixity
_ [LHsCmdTop (GhcPass p)]
args)
= SDoc -> Int -> SDoc -> SDoc
hang (String -> SDoc
text String
"(|" SDoc -> SDoc -> SDoc
<+> LHsExpr (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsExpr (GhcPass p) -> SDoc
ppr_lexpr LHsExpr (GhcPass p)
op)
Int
4 ([SDoc] -> SDoc
sep ((LHsCmdTop (GhcPass p) -> SDoc)
-> [LHsCmdTop (GhcPass p)] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map (HsCmdTop (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsCmdTop (GhcPass p) -> SDoc
pprCmdArg(HsCmdTop (GhcPass p) -> SDoc)
-> (LHsCmdTop (GhcPass p) -> HsCmdTop (GhcPass p))
-> LHsCmdTop (GhcPass p)
-> SDoc
forall b c a. (b -> c) -> (a -> b) -> a -> c
.LHsCmdTop (GhcPass p) -> HsCmdTop (GhcPass p)
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc) [LHsCmdTop (GhcPass p)]
args) SDoc -> SDoc -> SDoc
<+> String -> SDoc
text String
"|)")
ppr_cmd (XCmd XXCmd (GhcPass p)
x) = NoExtCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXCmd (GhcPass p)
NoExtCon
x
pprCmdArg :: (OutputableBndrId p) => HsCmdTop (GhcPass p) -> SDoc
pprCmdArg :: HsCmdTop (GhcPass p) -> SDoc
pprCmdArg (HsCmdTop XCmdTop (GhcPass p)
_ LHsCmd (GhcPass p)
cmd)
= LHsCmd (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
LHsCmd (GhcPass p) -> SDoc
ppr_lcmd LHsCmd (GhcPass p)
cmd
pprCmdArg (XCmdTop XXCmdTop (GhcPass p)
x) = NoExtCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXCmdTop (GhcPass p)
NoExtCon
x
instance (OutputableBndrId p) => Outputable (HsCmdTop (GhcPass p)) where
ppr :: HsCmdTop (GhcPass p) -> SDoc
ppr = HsCmdTop (GhcPass p) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
HsCmdTop (GhcPass p) -> SDoc
pprCmdArg
type HsRecordBinds p = HsRecFields p (LHsExpr p)
data MatchGroup p body
= MG { MatchGroup p body -> XMG p body
mg_ext :: XMG p body
, MatchGroup p body -> Located [LMatch p body]
mg_alts :: Located [LMatch p body]
, MatchGroup p body -> Origin
mg_origin :: Origin }
| XMatchGroup (XXMatchGroup p body)
data MatchGroupTc
= MatchGroupTc
{ MatchGroupTc -> [Type]
mg_arg_tys :: [Type]
, MatchGroupTc -> Type
mg_res_ty :: Type
} deriving Typeable MatchGroupTc
DataType
Constr
Typeable MatchGroupTc
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> MatchGroupTc -> c MatchGroupTc)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c MatchGroupTc)
-> (MatchGroupTc -> Constr)
-> (MatchGroupTc -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c MatchGroupTc))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c MatchGroupTc))
-> ((forall b. Data b => b -> b) -> MatchGroupTc -> MatchGroupTc)
-> (forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> MatchGroupTc -> r)
-> (forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> MatchGroupTc -> r)
-> (forall u. (forall d. Data d => d -> u) -> MatchGroupTc -> [u])
-> (forall u.
Int -> (forall d. Data d => d -> u) -> MatchGroupTc -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc)
-> Data MatchGroupTc
MatchGroupTc -> DataType
MatchGroupTc -> Constr
(forall b. Data b => b -> b) -> MatchGroupTc -> MatchGroupTc
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> MatchGroupTc -> c MatchGroupTc
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c MatchGroupTc
forall a.
Typeable a
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> MatchGroupTc -> u
forall u. (forall d. Data d => d -> u) -> MatchGroupTc -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> MatchGroupTc -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> MatchGroupTc -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c MatchGroupTc
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> MatchGroupTc -> c MatchGroupTc
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c MatchGroupTc)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c MatchGroupTc)
$cMatchGroupTc :: Constr
$tMatchGroupTc :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc
gmapMp :: (forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc
gmapM :: (forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> MatchGroupTc -> m MatchGroupTc
gmapQi :: Int -> (forall d. Data d => d -> u) -> MatchGroupTc -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> MatchGroupTc -> u
gmapQ :: (forall d. Data d => d -> u) -> MatchGroupTc -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> MatchGroupTc -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> MatchGroupTc -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> MatchGroupTc -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> MatchGroupTc -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> MatchGroupTc -> r
gmapT :: (forall b. Data b => b -> b) -> MatchGroupTc -> MatchGroupTc
$cgmapT :: (forall b. Data b => b -> b) -> MatchGroupTc -> MatchGroupTc
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c MatchGroupTc)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c MatchGroupTc)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c MatchGroupTc)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c MatchGroupTc)
dataTypeOf :: MatchGroupTc -> DataType
$cdataTypeOf :: MatchGroupTc -> DataType
toConstr :: MatchGroupTc -> Constr
$ctoConstr :: MatchGroupTc -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c MatchGroupTc
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c MatchGroupTc
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> MatchGroupTc -> c MatchGroupTc
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> MatchGroupTc -> c MatchGroupTc
$cp1Data :: Typeable MatchGroupTc
Data
type instance XMG GhcPs b = NoExtField
type instance XMG GhcRn b = NoExtField
type instance XMG GhcTc b = MatchGroupTc
type instance XXMatchGroup (GhcPass _) b = NoExtCon
type LMatch id body = Located (Match id body)
data Match p body
= Match {
Match p body -> XCMatch p body
m_ext :: XCMatch p body,
Match p body -> HsMatchContext (NameOrRdrName (IdP p))
m_ctxt :: HsMatchContext (NameOrRdrName (IdP p)),
Match p body -> [LPat p]
m_pats :: [LPat p],
Match p body -> GRHSs p body
m_grhss :: (GRHSs p body)
}
| XMatch (XXMatch p body)
type instance XCMatch (GhcPass _) b = NoExtField
type instance XXMatch (GhcPass _) b = NoExtCon
instance (OutputableBndrId pr, Outputable body)
=> Outputable (Match (GhcPass pr) body) where
ppr :: Match (GhcPass pr) body -> SDoc
ppr = Match (GhcPass pr) body -> SDoc
forall (pr :: Pass) body.
(OutputableBndrId pr, Outputable body) =>
Match (GhcPass pr) body -> SDoc
pprMatch
isInfixMatch :: Match id body -> Bool
isInfixMatch :: Match id body -> Bool
isInfixMatch Match id body
match = case Match id body -> HsMatchContext (NameOrRdrName (IdP id))
forall p body.
Match p body -> HsMatchContext (NameOrRdrName (IdP p))
m_ctxt Match id body
match of
FunRhs {mc_fixity :: forall id. HsMatchContext id -> LexicalFixity
mc_fixity = LexicalFixity
Infix} -> Bool
True
HsMatchContext (NameOrRdrName (IdP id))
_ -> Bool
False
isEmptyMatchGroup :: MatchGroup id body -> Bool
isEmptyMatchGroup :: MatchGroup id body -> Bool
isEmptyMatchGroup (MG { mg_alts :: forall p body. MatchGroup p body -> Located [LMatch p body]
mg_alts = Located [LMatch id body]
ms }) = [LMatch id body] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null ([LMatch id body] -> Bool) -> [LMatch id body] -> Bool
forall a b. (a -> b) -> a -> b
$ Located [LMatch id body] -> SrcSpanLess (Located [LMatch id body])
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc Located [LMatch id body]
ms
isEmptyMatchGroup (XMatchGroup {}) = Bool
False
isSingletonMatchGroup :: [LMatch id body] -> Bool
isSingletonMatchGroup :: [LMatch id body] -> Bool
isSingletonMatchGroup [LMatch id body]
matches
| [L SrcSpan
_ Match id body
match] <- [LMatch id body]
matches
, Match { m_grhss :: forall p body. Match p body -> GRHSs p body
m_grhss = GRHSs { grhssGRHSs :: forall p body. GRHSs p body -> [LGRHS p body]
grhssGRHSs = [LGRHS id body
_] } } <- Match id body
match
= Bool
True
| Bool
otherwise
= Bool
False
matchGroupArity :: MatchGroup (GhcPass id) body -> Arity
matchGroupArity :: MatchGroup (GhcPass id) body -> Int
matchGroupArity (MG { mg_alts :: forall p body. MatchGroup p body -> Located [LMatch p body]
mg_alts = Located [LMatch (GhcPass id) body]
alts })
| L SrcSpan
_ (LMatch (GhcPass id) body
alt1:[LMatch (GhcPass id) body]
_) <- Located [LMatch (GhcPass id) body]
alts = [Located (Pat (GhcPass id))] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length (LMatch (GhcPass id) body -> [LPat (GhcPass id)]
forall (id :: Pass) body.
LMatch (GhcPass id) body -> [LPat (GhcPass id)]
hsLMatchPats LMatch (GhcPass id) body
alt1)
| Bool
otherwise = String -> Int
forall a. String -> a
panic String
"matchGroupArity"
matchGroupArity (XMatchGroup XXMatchGroup (GhcPass id) body
nec) = NoExtCon -> Int
forall a. NoExtCon -> a
noExtCon XXMatchGroup (GhcPass id) body
NoExtCon
nec
hsLMatchPats :: LMatch (GhcPass id) body -> [LPat (GhcPass id)]
hsLMatchPats :: LMatch (GhcPass id) body -> [LPat (GhcPass id)]
hsLMatchPats (L SrcSpan
_ (Match { m_pats :: forall p body. Match p body -> [LPat p]
m_pats = [LPat (GhcPass id)]
pats })) = [LPat (GhcPass id)]
pats
hsLMatchPats (L SrcSpan
_ (XMatch XXMatch (GhcPass id) body
nec)) = NoExtCon -> [Located (Pat (GhcPass id))]
forall a. NoExtCon -> a
noExtCon XXMatch (GhcPass id) body
NoExtCon
nec
data GRHSs p body
= GRHSs {
GRHSs p body -> XCGRHSs p body
grhssExt :: XCGRHSs p body,
GRHSs p body -> [LGRHS p body]
grhssGRHSs :: [LGRHS p body],
GRHSs p body -> LHsLocalBinds p
grhssLocalBinds :: LHsLocalBinds p
}
| XGRHSs (XXGRHSs p body)
type instance XCGRHSs (GhcPass _) b = NoExtField
type instance XXGRHSs (GhcPass _) b = NoExtCon
type LGRHS id body = Located (GRHS id body)
data GRHS p body = GRHS (XCGRHS p body)
[GuardLStmt p]
body
| XGRHS (XXGRHS p body)
type instance XCGRHS (GhcPass _) b = NoExtField
type instance XXGRHS (GhcPass _) b = NoExtCon
pprMatches :: (OutputableBndrId idR, Outputable body)
=> MatchGroup (GhcPass idR) body -> SDoc
pprMatches :: MatchGroup (GhcPass idR) body -> SDoc
pprMatches MG { mg_alts :: forall p body. MatchGroup p body -> Located [LMatch p body]
mg_alts = Located [LMatch (GhcPass idR) body]
matches }
= [SDoc] -> SDoc
vcat ((Match (GhcPass idR) body -> SDoc)
-> [Match (GhcPass idR) body] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map Match (GhcPass idR) body -> SDoc
forall (pr :: Pass) body.
(OutputableBndrId pr, Outputable body) =>
Match (GhcPass pr) body -> SDoc
pprMatch ((LMatch (GhcPass idR) body -> Match (GhcPass idR) body)
-> [LMatch (GhcPass idR) body] -> [Match (GhcPass idR) body]
forall a b. (a -> b) -> [a] -> [b]
map LMatch (GhcPass idR) body -> Match (GhcPass idR) body
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc (Located [LMatch (GhcPass idR) body]
-> SrcSpanLess (Located [LMatch (GhcPass idR) body])
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc Located [LMatch (GhcPass idR) body]
matches)))
pprMatches (XMatchGroup XXMatchGroup (GhcPass idR) body
x) = NoExtCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXMatchGroup (GhcPass idR) body
NoExtCon
x
pprFunBind :: (OutputableBndrId idR, Outputable body)
=> MatchGroup (GhcPass idR) body -> SDoc
pprFunBind :: MatchGroup (GhcPass idR) body -> SDoc
pprFunBind MatchGroup (GhcPass idR) body
matches = MatchGroup (GhcPass idR) body -> SDoc
forall (idR :: Pass) body.
(OutputableBndrId idR, Outputable body) =>
MatchGroup (GhcPass idR) body -> SDoc
pprMatches MatchGroup (GhcPass idR) body
matches
pprPatBind :: forall bndr p body. (OutputableBndrId bndr,
OutputableBndrId p,
Outputable body)
=> LPat (GhcPass bndr) -> GRHSs (GhcPass p) body -> SDoc
pprPatBind :: LPat (GhcPass bndr) -> GRHSs (GhcPass p) body -> SDoc
pprPatBind LPat (GhcPass bndr)
pat (GRHSs (GhcPass p) body
grhss)
= [SDoc] -> SDoc
sep [Located (Pat (GhcPass bndr)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Located (Pat (GhcPass bndr))
LPat (GhcPass bndr)
pat,
Int -> SDoc -> SDoc
nest Int
2 (HsMatchContext (IdP (GhcPass p)) -> GRHSs (GhcPass p) body -> SDoc
forall (idR :: Pass) body idL.
(OutputableBndrId idR, Outputable body) =>
HsMatchContext idL -> GRHSs (GhcPass idR) body -> SDoc
pprGRHSs (HsMatchContext (IdP (GhcPass p))
forall id. HsMatchContext id
PatBindRhs :: HsMatchContext (IdP (GhcPass p))) GRHSs (GhcPass p) body
grhss)]
pprMatch :: (OutputableBndrId idR, Outputable body)
=> Match (GhcPass idR) body -> SDoc
pprMatch :: Match (GhcPass idR) body -> SDoc
pprMatch Match (GhcPass idR) body
match
= [SDoc] -> SDoc
sep [ [SDoc] -> SDoc
sep (SDoc
herald SDoc -> [SDoc] -> [SDoc]
forall a. a -> [a] -> [a]
: (Located (Pat (GhcPass idR)) -> SDoc)
-> [Located (Pat (GhcPass idR))] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map (Int -> SDoc -> SDoc
nest Int
2 (SDoc -> SDoc)
-> (Located (Pat (GhcPass idR)) -> SDoc)
-> Located (Pat (GhcPass idR))
-> SDoc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PprPrec -> LPat (GhcPass idR) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
PprPrec -> LPat (GhcPass p) -> SDoc
pprParendLPat PprPrec
appPrec) [Located (Pat (GhcPass idR))]
other_pats)
, Int -> SDoc -> SDoc
nest Int
2 (HsMatchContext (NameOrRdrName (IdP (GhcPass idR)))
-> GRHSs (GhcPass idR) body -> SDoc
forall (idR :: Pass) body idL.
(OutputableBndrId idR, Outputable body) =>
HsMatchContext idL -> GRHSs (GhcPass idR) body -> SDoc
pprGRHSs HsMatchContext (NameOrRdrName (IdP (GhcPass idR)))
ctxt (Match (GhcPass idR) body -> GRHSs (GhcPass idR) body
forall p body. Match p body -> GRHSs p body
m_grhss Match (GhcPass idR) body
match)) ]
where
ctxt :: HsMatchContext (NameOrRdrName (IdP (GhcPass idR)))
ctxt = Match (GhcPass idR) body
-> HsMatchContext (NameOrRdrName (IdP (GhcPass idR)))
forall p body.
Match p body -> HsMatchContext (NameOrRdrName (IdP p))
m_ctxt Match (GhcPass idR) body
match
(SDoc
herald, [Located (Pat (GhcPass idR))]
other_pats)
= case HsMatchContext (NameOrRdrName (IdP (GhcPass idR)))
ctxt of
FunRhs {mc_fun :: forall id. HsMatchContext id -> Located id
mc_fun=L SrcSpan
_ NameOrRdrName (IdP (GhcPass idR))
fun, mc_fixity :: forall id. HsMatchContext id -> LexicalFixity
mc_fixity=LexicalFixity
fixity, mc_strictness :: forall id. HsMatchContext id -> SrcStrictness
mc_strictness=SrcStrictness
strictness}
| SrcStrictness
strictness SrcStrictness -> SrcStrictness -> Bool
forall a. Eq a => a -> a -> Bool
== SrcStrictness
SrcStrict -> ASSERT(null $ m_pats match)
(Char -> SDoc
char Char
'!'SDoc -> SDoc -> SDoc
<>NameOrRdrName (IdP (GhcPass idR)) -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprPrefixOcc NameOrRdrName (IdP (GhcPass idR))
fun, Match (GhcPass idR) body -> [LPat (GhcPass idR)]
forall p body. Match p body -> [LPat p]
m_pats Match (GhcPass idR) body
match)
| LexicalFixity
fixity LexicalFixity -> LexicalFixity -> Bool
forall a. Eq a => a -> a -> Bool
== LexicalFixity
Prefix -> (NameOrRdrName (IdP (GhcPass idR)) -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprPrefixOcc NameOrRdrName (IdP (GhcPass idR))
fun, Match (GhcPass idR) body -> [LPat (GhcPass idR)]
forall p body. Match p body -> [LPat p]
m_pats Match (GhcPass idR) body
match)
| [Located (Pat (GhcPass idR))] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [Located (Pat (GhcPass idR))]
pats2 -> (SDoc
pp_infix, [])
| Bool
otherwise -> (SDoc -> SDoc
parens SDoc
pp_infix, [Located (Pat (GhcPass idR))]
pats2)
where
pp_infix :: SDoc
pp_infix = PprPrec -> LPat (GhcPass idR) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
PprPrec -> LPat (GhcPass p) -> SDoc
pprParendLPat PprPrec
opPrec Located (Pat (GhcPass idR))
LPat (GhcPass idR)
pat1
SDoc -> SDoc -> SDoc
<+> NameOrRdrName (IdP (GhcPass idR)) -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc NameOrRdrName (IdP (GhcPass idR))
fun
SDoc -> SDoc -> SDoc
<+> PprPrec -> LPat (GhcPass idR) -> SDoc
forall (p :: Pass).
OutputableBndrId p =>
PprPrec -> LPat (GhcPass p) -> SDoc
pprParendLPat PprPrec
opPrec Located (Pat (GhcPass idR))
LPat (GhcPass idR)
pat2
HsMatchContext (NameOrRdrName (IdP (GhcPass idR)))
LambdaExpr -> (Char -> SDoc
char Char
'\\', Match (GhcPass idR) body -> [LPat (GhcPass idR)]
forall p body. Match p body -> [LPat p]
m_pats Match (GhcPass idR) body
match)
HsMatchContext (NameOrRdrName (IdP (GhcPass idR)))
_ -> if [Located (Pat (GhcPass idR))] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null (Match (GhcPass idR) body -> [LPat (GhcPass idR)]
forall p body. Match p body -> [LPat p]
m_pats Match (GhcPass idR) body
match)
then (SDoc
empty, [])
else ASSERT2( null pats1, ppr ctxt $$ ppr pat1 $$ ppr pats1 )
(Located (Pat (GhcPass idR)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Located (Pat (GhcPass idR))
pat1, [])
(Located (Pat (GhcPass idR))
pat1:[Located (Pat (GhcPass idR))]
pats1) = Match (GhcPass idR) body -> [LPat (GhcPass idR)]
forall p body. Match p body -> [LPat p]
m_pats Match (GhcPass idR) body
match
(Located (Pat (GhcPass idR))
pat2:[Located (Pat (GhcPass idR))]
pats2) = [Located (Pat (GhcPass idR))]
pats1
pprGRHSs :: (OutputableBndrId idR, Outputable body)
=> HsMatchContext idL -> GRHSs (GhcPass idR) body -> SDoc
pprGRHSs :: HsMatchContext idL -> GRHSs (GhcPass idR) body -> SDoc
pprGRHSs HsMatchContext idL
ctxt (GRHSs XCGRHSs (GhcPass idR) body
_ [LGRHS (GhcPass idR) body]
grhss (L SrcSpan
_ HsLocalBinds (GhcPass idR)
binds))
= [SDoc] -> SDoc
vcat ((LGRHS (GhcPass idR) body -> SDoc)
-> [LGRHS (GhcPass idR) body] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map (HsMatchContext idL -> GRHS (GhcPass idR) body -> SDoc
forall (idR :: Pass) body idL.
(OutputableBndrId idR, Outputable body) =>
HsMatchContext idL -> GRHS (GhcPass idR) body -> SDoc
pprGRHS HsMatchContext idL
ctxt (GRHS (GhcPass idR) body -> SDoc)
-> (LGRHS (GhcPass idR) body -> GRHS (GhcPass idR) body)
-> LGRHS (GhcPass idR) body
-> SDoc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LGRHS (GhcPass idR) body -> GRHS (GhcPass idR) body
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc) [LGRHS (GhcPass idR) body]
grhss)
SDoc -> SDoc -> SDoc
$$ Bool -> SDoc -> SDoc
ppUnless (HsLocalBinds (GhcPass idR) -> Bool
forall a b. HsLocalBindsLR a b -> Bool
eqEmptyLocalBinds HsLocalBinds (GhcPass idR)
binds)
(String -> SDoc
text String
"where" SDoc -> SDoc -> SDoc
$$ Int -> SDoc -> SDoc
nest Int
4 (HsLocalBinds (GhcPass idR) -> SDoc
forall (idL :: Pass) (idR :: Pass).
(OutputableBndrId idL, OutputableBndrId idR) =>
HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprBinds HsLocalBinds (GhcPass idR)
binds))
pprGRHSs HsMatchContext idL
_ (XGRHSs XXGRHSs (GhcPass idR) body
x) = NoExtCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXGRHSs (GhcPass idR) body
NoExtCon
x
pprGRHS :: (OutputableBndrId idR, Outputable body)
=> HsMatchContext idL -> GRHS (GhcPass idR) body -> SDoc
pprGRHS :: HsMatchContext idL -> GRHS (GhcPass idR) body -> SDoc
pprGRHS HsMatchContext idL
ctxt (GRHS XCGRHS (GhcPass idR) body
_ [] body
body)
= HsMatchContext idL -> body -> SDoc
forall body idL.
Outputable body =>
HsMatchContext idL -> body -> SDoc
pp_rhs HsMatchContext idL
ctxt body
body
pprGRHS HsMatchContext idL
ctxt (GRHS XCGRHS (GhcPass idR) body
_ [GuardLStmt (GhcPass idR)]
guards body
body)
= [SDoc] -> SDoc
sep [SDoc
vbar SDoc -> SDoc -> SDoc
<+> [GuardLStmt (GhcPass idR)] -> SDoc
forall a. Outputable a => [a] -> SDoc
interpp'SP [GuardLStmt (GhcPass idR)]
guards, HsMatchContext idL -> body -> SDoc
forall body idL.
Outputable body =>
HsMatchContext idL -> body -> SDoc
pp_rhs HsMatchContext idL
ctxt body
body]
pprGRHS HsMatchContext idL
_ (XGRHS XXGRHS (GhcPass idR) body
x) = NoExtCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXGRHS (GhcPass idR) body
NoExtCon
x
pp_rhs :: Outputable body => HsMatchContext idL -> body -> SDoc
pp_rhs :: HsMatchContext idL -> body -> SDoc
pp_rhs HsMatchContext idL
ctxt body
rhs = HsMatchContext idL -> SDoc
forall id. HsMatchContext id -> SDoc
matchSeparator HsMatchContext idL
ctxt SDoc -> SDoc -> SDoc
<+> SDoc -> SDoc
pprDeeper (body -> SDoc
forall a. Outputable a => a -> SDoc
ppr body
rhs)
type LStmt id body = Located (StmtLR id id body)
type LStmtLR idL idR body = Located (StmtLR idL idR body)
type Stmt id body = StmtLR id id body
type CmdLStmt id = LStmt id (LHsCmd id)
type CmdStmt id = Stmt id (LHsCmd id)
type ExprLStmt id = LStmt id (LHsExpr id)
type ExprStmt id = Stmt id (LHsExpr id)
type GuardLStmt id = LStmt id (LHsExpr id)
type GuardStmt id = Stmt id (LHsExpr id)
type GhciLStmt id = LStmt id (LHsExpr id)
type GhciStmt id = Stmt id (LHsExpr id)
data StmtLR idL idR body
= LastStmt
(XLastStmt idL idR body)
body
Bool
(SyntaxExpr idR)
| BindStmt (XBindStmt idL idR body)
(LPat idL)
body
(SyntaxExpr idR)
(SyntaxExpr idR)
| ApplicativeStmt
(XApplicativeStmt idL idR body)
[ ( SyntaxExpr idR
, ApplicativeArg idL) ]
(Maybe (SyntaxExpr idR))
| BodyStmt (XBodyStmt idL idR body)
body
(SyntaxExpr idR)
(SyntaxExpr idR)
| LetStmt (XLetStmt idL idR body) (LHsLocalBindsLR idL idR)
| ParStmt (XParStmt idL idR body)
[ParStmtBlock idL idR]
(HsExpr idR)
(SyntaxExpr idR)
| TransStmt {
StmtLR idL idR body -> XTransStmt idL idR body
trS_ext :: XTransStmt idL idR body,
StmtLR idL idR body -> TransForm
trS_form :: TransForm,
StmtLR idL idR body -> [ExprLStmt idL]
trS_stmts :: [ExprLStmt idL],
StmtLR idL idR body -> [(IdP idR, IdP idR)]
trS_bndrs :: [(IdP idR, IdP idR)],
StmtLR idL idR body -> LHsExpr idR
trS_using :: LHsExpr idR,
StmtLR idL idR body -> Maybe (LHsExpr idR)
trS_by :: Maybe (LHsExpr idR),
StmtLR idL idR body -> SyntaxExpr idR
trS_ret :: SyntaxExpr idR,
StmtLR idL idR body -> SyntaxExpr idR
trS_bind :: SyntaxExpr idR,
StmtLR idL idR body -> HsExpr idR
trS_fmap :: HsExpr idR
}
| RecStmt
{ StmtLR idL idR body -> XRecStmt idL idR body
recS_ext :: XRecStmt idL idR body
, StmtLR idL idR body -> [LStmtLR idL idR body]
recS_stmts :: [LStmtLR idL idR body]
, StmtLR idL idR body -> [IdP idR]
recS_later_ids :: [IdP idR]
, StmtLR idL idR body -> [IdP idR]
recS_rec_ids :: [IdP idR]
, StmtLR idL idR body -> SyntaxExpr idR
recS_bind_fn :: SyntaxExpr idR
, StmtLR idL idR body -> SyntaxExpr idR
recS_ret_fn :: SyntaxExpr idR
, StmtLR idL idR body -> SyntaxExpr idR
recS_mfix_fn :: SyntaxExpr idR
}
| XStmtLR (XXStmtLR idL idR body)
data RecStmtTc =
RecStmtTc
{ RecStmtTc -> Type
recS_bind_ty :: Type
, RecStmtTc -> [PostTcExpr]
recS_later_rets :: [PostTcExpr]
, RecStmtTc -> [PostTcExpr]
recS_rec_rets :: [PostTcExpr]
, RecStmtTc -> Type
recS_ret_ty :: Type
}
type instance XLastStmt (GhcPass _) (GhcPass _) b = NoExtField
type instance XBindStmt (GhcPass _) GhcPs b = NoExtField
type instance XBindStmt (GhcPass _) GhcRn b = NoExtField
type instance XBindStmt (GhcPass _) GhcTc b = Type
type instance XApplicativeStmt (GhcPass _) GhcPs b = NoExtField
type instance XApplicativeStmt (GhcPass _) GhcRn b = NoExtField
type instance XApplicativeStmt (GhcPass _) GhcTc b = Type
type instance XBodyStmt (GhcPass _) GhcPs b = NoExtField
type instance XBodyStmt (GhcPass _) GhcRn b = NoExtField
type instance XBodyStmt (GhcPass _) GhcTc b = Type
type instance XLetStmt (GhcPass _) (GhcPass _) b = NoExtField
type instance XParStmt (GhcPass _) GhcPs b = NoExtField
type instance XParStmt (GhcPass _) GhcRn b = NoExtField
type instance XParStmt (GhcPass _) GhcTc b = Type
type instance XTransStmt (GhcPass _) GhcPs b = NoExtField
type instance XTransStmt (GhcPass _) GhcRn b = NoExtField
type instance XTransStmt (GhcPass _) GhcTc b = Type
type instance XRecStmt (GhcPass _) GhcPs b = NoExtField
type instance XRecStmt (GhcPass _) GhcRn b = NoExtField
type instance XRecStmt (GhcPass _) GhcTc b = RecStmtTc
type instance XXStmtLR (GhcPass _) (GhcPass _) b = NoExtCon
data TransForm
= ThenForm
| GroupForm
deriving Typeable TransForm
DataType
Constr
Typeable TransForm
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TransForm -> c TransForm)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TransForm)
-> (TransForm -> Constr)
-> (TransForm -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c TransForm))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TransForm))
-> ((forall b. Data b => b -> b) -> TransForm -> TransForm)
-> (forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TransForm -> r)
-> (forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TransForm -> r)
-> (forall u. (forall d. Data d => d -> u) -> TransForm -> [u])
-> (forall u.
Int -> (forall d. Data d => d -> u) -> TransForm -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> TransForm -> m TransForm)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TransForm -> m TransForm)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TransForm -> m TransForm)
-> Data TransForm
TransForm -> DataType
TransForm -> Constr
(forall b. Data b => b -> b) -> TransForm -> TransForm
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TransForm -> c TransForm
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TransForm
forall a.
Typeable a
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> TransForm -> u
forall u. (forall d. Data d => d -> u) -> TransForm -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TransForm -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TransForm -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> TransForm -> m TransForm
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TransForm -> m TransForm
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TransForm
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TransForm -> c TransForm
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c TransForm)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TransForm)
$cGroupForm :: Constr
$cThenForm :: Constr
$tTransForm :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> TransForm -> m TransForm
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TransForm -> m TransForm
gmapMp :: (forall d. Data d => d -> m d) -> TransForm -> m TransForm
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TransForm -> m TransForm
gmapM :: (forall d. Data d => d -> m d) -> TransForm -> m TransForm
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> TransForm -> m TransForm
gmapQi :: Int -> (forall d. Data d => d -> u) -> TransForm -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> TransForm -> u
gmapQ :: (forall d. Data d => d -> u) -> TransForm -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> TransForm -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TransForm -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TransForm -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TransForm -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TransForm -> r
gmapT :: (forall b. Data b => b -> b) -> TransForm -> TransForm
$cgmapT :: (forall b. Data b => b -> b) -> TransForm -> TransForm
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TransForm)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TransForm)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c TransForm)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c TransForm)
dataTypeOf :: TransForm -> DataType
$cdataTypeOf :: TransForm -> DataType
toConstr :: TransForm -> Constr
$ctoConstr :: TransForm -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TransForm
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TransForm
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TransForm -> c TransForm
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TransForm -> c TransForm
$cp1Data :: Typeable TransForm
Data
data ParStmtBlock idL idR
= ParStmtBlock
(XParStmtBlock idL idR)
[ExprLStmt idL]
[IdP idR]
(SyntaxExpr idR)
| XParStmtBlock (XXParStmtBlock idL idR)
type instance XParStmtBlock (GhcPass pL) (GhcPass pR) = NoExtField
type instance XXParStmtBlock (GhcPass pL) (GhcPass pR) = NoExtCon
data ApplicativeArg idL
= ApplicativeArgOne
{ ApplicativeArg idL -> XApplicativeArgOne idL
xarg_app_arg_one :: (XApplicativeArgOne idL)
, ApplicativeArg idL -> LPat idL
app_arg_pattern :: (LPat idL)
, ApplicativeArg idL -> LHsExpr idL
arg_expr :: (LHsExpr idL)
, ApplicativeArg idL -> Bool
is_body_stmt :: Bool
, ApplicativeArg idL -> SyntaxExpr idL
fail_operator :: (SyntaxExpr idL)
}
| ApplicativeArgMany
{ ApplicativeArg idL -> XApplicativeArgMany idL
xarg_app_arg_many :: (XApplicativeArgMany idL)
, ApplicativeArg idL -> [ExprLStmt idL]
app_stmts :: [ExprLStmt idL]
, ApplicativeArg idL -> HsExpr idL
final_expr :: (HsExpr idL)
, ApplicativeArg idL -> LPat idL
bv_pattern :: (LPat idL)
}
| XApplicativeArg (XXApplicativeArg idL)
type instance XApplicativeArgOne (GhcPass _) = NoExtField
type instance XApplicativeArgMany (GhcPass _) = NoExtField
type instance XXApplicativeArg (GhcPass _) = NoExtCon
instance (Outputable (StmtLR idL idL (LHsExpr idL)),
Outputable (XXParStmtBlock idL idR))
=> Outputable (ParStmtBlock idL idR) where
ppr :: ParStmtBlock idL idR -> SDoc
ppr (ParStmtBlock XParStmtBlock idL idR
_ [ExprLStmt idL]
stmts [IdP idR]
_ SyntaxExpr idR
_) = [ExprLStmt idL] -> SDoc
forall a. Outputable a => [a] -> SDoc
interpp'SP [ExprLStmt idL]
stmts
ppr (XParStmtBlock XXParStmtBlock idL idR
x) = XXParStmtBlock idL idR -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXParStmtBlock idL idR
x
instance (OutputableBndrId pl, OutputableBndrId pr,
Outputable body)
=> Outputable (StmtLR (GhcPass pl) (GhcPass pr) body) where
ppr :: StmtLR (GhcPass pl) (GhcPass pr) body -> SDoc
ppr StmtLR (GhcPass pl) (GhcPass pr) body
stmt = StmtLR (GhcPass pl) (GhcPass pr) body -> SDoc
forall (pl :: Pass) (pr :: Pass) body.
(OutputableBndrId pl, OutputableBndrId pr, Outputable body) =>
StmtLR (GhcPass pl) (GhcPass pr) body -> SDoc
pprStmt StmtLR (GhcPass pl) (GhcPass pr) body
stmt
pprStmt :: forall idL idR body . (OutputableBndrId idL,
OutputableBndrId idR,
Outputable body)
=> (StmtLR (GhcPass idL) (GhcPass idR) body) -> SDoc
pprStmt :: StmtLR (GhcPass idL) (GhcPass idR) body -> SDoc
pprStmt (LastStmt XLastStmt (GhcPass idL) (GhcPass idR) body
_ body
expr Bool
ret_stripped SyntaxExpr (GhcPass idR)
_)
= SDoc -> SDoc
whenPprDebug (String -> SDoc
text String
"[last]") SDoc -> SDoc -> SDoc
<+>
(if Bool
ret_stripped then String -> SDoc
text String
"return" else SDoc
empty) SDoc -> SDoc -> SDoc
<+>
body -> SDoc
forall a. Outputable a => a -> SDoc
ppr body
expr
pprStmt (BindStmt XBindStmt (GhcPass idL) (GhcPass idR) body
_ LPat (GhcPass idL)
pat body
expr SyntaxExpr (GhcPass idR)
_ SyntaxExpr (GhcPass idR)
_) = [SDoc] -> SDoc
hsep [Located (Pat (GhcPass idL)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Located (Pat (GhcPass idL))
LPat (GhcPass idL)
pat, SDoc
larrow, body -> SDoc
forall a. Outputable a => a -> SDoc
ppr body
expr]
pprStmt (LetStmt XLetStmt (GhcPass idL) (GhcPass idR) body
_ (L SrcSpan
_ HsLocalBindsLR (GhcPass idL) (GhcPass idR)
binds)) = [SDoc] -> SDoc
hsep [String -> SDoc
text String
"let", HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
forall (idL :: Pass) (idR :: Pass).
(OutputableBndrId idL, OutputableBndrId idR) =>
HsLocalBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprBinds HsLocalBindsLR (GhcPass idL) (GhcPass idR)
binds]
pprStmt (BodyStmt XBodyStmt (GhcPass idL) (GhcPass idR) body
_ body
expr SyntaxExpr (GhcPass idR)
_ SyntaxExpr (GhcPass idR)
_) = body -> SDoc
forall a. Outputable a => a -> SDoc
ppr body
expr
pprStmt (ParStmt XParStmt (GhcPass idL) (GhcPass idR) body
_ [ParStmtBlock (GhcPass idL) (GhcPass idR)]
stmtss HsExpr (GhcPass idR)
_ SyntaxExpr (GhcPass idR)
_) = [SDoc] -> SDoc
sep (SDoc -> [SDoc] -> [SDoc]
punctuate (String -> SDoc
text String
" | ") ((ParStmtBlock (GhcPass idL) (GhcPass idR) -> SDoc)
-> [ParStmtBlock (GhcPass idL) (GhcPass idR)] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map ParStmtBlock (GhcPass idL) (GhcPass idR) -> SDoc
forall a. Outputable a => a -> SDoc
ppr [ParStmtBlock (GhcPass idL) (GhcPass idR)]
stmtss))
pprStmt (TransStmt { trS_stmts :: forall idL idR body. StmtLR idL idR body -> [ExprLStmt idL]
trS_stmts = [ExprLStmt (GhcPass idL)]
stmts, trS_by :: forall idL idR body. StmtLR idL idR body -> Maybe (LHsExpr idR)
trS_by = Maybe (LHsExpr (GhcPass idR))
by
, trS_using :: forall idL idR body. StmtLR idL idR body -> LHsExpr idR
trS_using = LHsExpr (GhcPass idR)
using, trS_form :: forall idL idR body. StmtLR idL idR body -> TransForm
trS_form = TransForm
form })
= [SDoc] -> SDoc
sep ([SDoc] -> SDoc) -> [SDoc] -> SDoc
forall a b. (a -> b) -> a -> b
$ SDoc -> [SDoc] -> [SDoc]
punctuate SDoc
comma ((ExprLStmt (GhcPass idL) -> SDoc)
-> [ExprLStmt (GhcPass idL)] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map ExprLStmt (GhcPass idL) -> SDoc
forall a. Outputable a => a -> SDoc
ppr [ExprLStmt (GhcPass idL)]
stmts [SDoc] -> [SDoc] -> [SDoc]
forall a. [a] -> [a] -> [a]
++ [Maybe (LHsExpr (GhcPass idR))
-> LHsExpr (GhcPass idR) -> TransForm -> SDoc
forall body.
Outputable body =>
Maybe body -> body -> TransForm -> SDoc
pprTransStmt Maybe (LHsExpr (GhcPass idR))
by LHsExpr (GhcPass idR)
using TransForm
form])
pprStmt (RecStmt { recS_stmts :: forall idL idR body. StmtLR idL idR body -> [LStmtLR idL idR body]
recS_stmts = [LStmtLR (GhcPass idL) (GhcPass idR) body]
segment, recS_rec_ids :: forall idL idR body. StmtLR idL idR body -> [IdP idR]
recS_rec_ids = [IdP (GhcPass idR)]
rec_ids
, recS_later_ids :: forall idL idR body. StmtLR idL idR body -> [IdP idR]
recS_later_ids = [IdP (GhcPass idR)]
later_ids })
= String -> SDoc
text String
"rec" SDoc -> SDoc -> SDoc
<+>
[SDoc] -> SDoc
vcat [ [LStmtLR (GhcPass idL) (GhcPass idR) body] -> SDoc
forall (idL :: Pass) (idR :: Pass) body.
(OutputableBndrId idL, OutputableBndrId idR, Outputable body) =>
[LStmtLR (GhcPass idL) (GhcPass idR) body] -> SDoc
ppr_do_stmts [LStmtLR (GhcPass idL) (GhcPass idR) body]
segment
, SDoc -> SDoc
whenPprDebug ([SDoc] -> SDoc
vcat [ String -> SDoc
text String
"rec_ids=" SDoc -> SDoc -> SDoc
<> [IdP (GhcPass idR)] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [IdP (GhcPass idR)]
rec_ids
, String -> SDoc
text String
"later_ids=" SDoc -> SDoc -> SDoc
<> [IdP (GhcPass idR)] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [IdP (GhcPass idR)]
later_ids])]
pprStmt (ApplicativeStmt XApplicativeStmt (GhcPass idL) (GhcPass idR) body
_ [(SyntaxExpr (GhcPass idR), ApplicativeArg (GhcPass idL))]
args Maybe (SyntaxExpr (GhcPass idR))
mb_join)
= (PprStyle -> SDoc) -> SDoc
getPprStyle ((PprStyle -> SDoc) -> SDoc) -> (PprStyle -> SDoc) -> SDoc
forall a b. (a -> b) -> a -> b
$ \PprStyle
style ->
if PprStyle -> Bool
userStyle PprStyle
style
then SDoc
pp_for_user
else SDoc
pp_debug
where
pp_for_user :: SDoc
pp_for_user = [SDoc] -> SDoc
vcat ([SDoc] -> SDoc) -> [SDoc] -> SDoc
forall a b. (a -> b) -> a -> b
$ ((SyntaxExpr (GhcPass idR), ApplicativeArg (GhcPass idL))
-> [SDoc])
-> [(SyntaxExpr (GhcPass idR), ApplicativeArg (GhcPass idL))]
-> [SDoc]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap (SyntaxExpr (GhcPass idR), ApplicativeArg (GhcPass idL)) -> [SDoc]
forall a. (a, ApplicativeArg (GhcPass idL)) -> [SDoc]
flattenArg [(SyntaxExpr (GhcPass idR), ApplicativeArg (GhcPass idL))]
args
flattenStmt :: ExprLStmt (GhcPass idL) -> [SDoc]
flattenStmt :: ExprLStmt (GhcPass idL) -> [SDoc]
flattenStmt (L SrcSpan
_ (ApplicativeStmt XApplicativeStmt
(GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
_ [(SyntaxExpr (GhcPass idL), ApplicativeArg (GhcPass idL))]
args Maybe (SyntaxExpr (GhcPass idL))
_)) = ((SyntaxExpr (GhcPass idL), ApplicativeArg (GhcPass idL))
-> [SDoc])
-> [(SyntaxExpr (GhcPass idL), ApplicativeArg (GhcPass idL))]
-> [SDoc]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap (SyntaxExpr (GhcPass idL), ApplicativeArg (GhcPass idL)) -> [SDoc]
forall a. (a, ApplicativeArg (GhcPass idL)) -> [SDoc]
flattenArg [(SyntaxExpr (GhcPass idL), ApplicativeArg (GhcPass idL))]
args
flattenStmt ExprLStmt (GhcPass idL)
stmt = [ExprLStmt (GhcPass idL) -> SDoc
forall a. Outputable a => a -> SDoc
ppr ExprLStmt (GhcPass idL)
stmt]
flattenArg :: forall a . (a, ApplicativeArg (GhcPass idL)) -> [SDoc]
flattenArg :: (a, ApplicativeArg (GhcPass idL)) -> [SDoc]
flattenArg (a
_, ApplicativeArgOne XApplicativeArgOne (GhcPass idL)
_ LPat (GhcPass idL)
pat LHsExpr (GhcPass idL)
expr Bool
isBody SyntaxExpr (GhcPass idL)
_)
| Bool
isBody =
[StmtLR (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr (XBodyStmt (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
-> LHsExpr (GhcPass idL)
-> SyntaxExpr (GhcPass idL)
-> SyntaxExpr (GhcPass idL)
-> StmtLR (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
forall idL idR body.
XBodyStmt idL idR body
-> body -> SyntaxExpr idR -> SyntaxExpr idR -> StmtLR idL idR body
BodyStmt (String
-> XBodyStmt (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
forall a. String -> a
panic String
"pprStmt") LHsExpr (GhcPass idL)
expr SyntaxExpr (GhcPass idL)
forall (p :: Pass). SyntaxExpr (GhcPass p)
noSyntaxExpr SyntaxExpr (GhcPass idL)
forall (p :: Pass). SyntaxExpr (GhcPass p)
noSyntaxExpr
:: ExprStmt (GhcPass idL))]
| Bool
otherwise =
[StmtLR (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr (XBindStmt (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
-> LPat (GhcPass idL)
-> LHsExpr (GhcPass idL)
-> SyntaxExpr (GhcPass idL)
-> SyntaxExpr (GhcPass idL)
-> StmtLR (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
forall idL idR body.
XBindStmt idL idR body
-> LPat idL
-> body
-> SyntaxExpr idR
-> SyntaxExpr idR
-> StmtLR idL idR body
BindStmt (String
-> XBindStmt (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
forall a. String -> a
panic String
"pprStmt") LPat (GhcPass idL)
pat LHsExpr (GhcPass idL)
expr SyntaxExpr (GhcPass idL)
forall (p :: Pass). SyntaxExpr (GhcPass p)
noSyntaxExpr SyntaxExpr (GhcPass idL)
forall (p :: Pass). SyntaxExpr (GhcPass p)
noSyntaxExpr
:: ExprStmt (GhcPass idL))]
flattenArg (a
_, ApplicativeArgMany XApplicativeArgMany (GhcPass idL)
_ [ExprLStmt (GhcPass idL)]
stmts HsExpr (GhcPass idL)
_ LPat (GhcPass idL)
_) =
(ExprLStmt (GhcPass idL) -> [SDoc])
-> [ExprLStmt (GhcPass idL)] -> [SDoc]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap ExprLStmt (GhcPass idL) -> [SDoc]
flattenStmt [ExprLStmt (GhcPass idL)]
stmts
flattenArg (a
_, XApplicativeArg XXApplicativeArg (GhcPass idL)
nec) = NoExtCon -> [SDoc]
forall a. NoExtCon -> a
noExtCon XXApplicativeArg (GhcPass idL)
NoExtCon
nec
pp_debug :: SDoc
pp_debug =
let
ap_expr :: SDoc
ap_expr = [SDoc] -> SDoc
sep (SDoc -> [SDoc] -> [SDoc]
punctuate (String -> SDoc
text String
" |") (((SyntaxExpr (GhcPass idR), ApplicativeArg (GhcPass idL)) -> SDoc)
-> [(SyntaxExpr (GhcPass idR), ApplicativeArg (GhcPass idL))]
-> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map (SyntaxExpr (GhcPass idR), ApplicativeArg (GhcPass idL)) -> SDoc
forall a. (a, ApplicativeArg (GhcPass idL)) -> SDoc
pp_arg [(SyntaxExpr (GhcPass idR), ApplicativeArg (GhcPass idL))]
args))
in
if Maybe (SyntaxExpr (GhcPass idR)) -> Bool
forall a. Maybe a -> Bool
isNothing Maybe (SyntaxExpr (GhcPass idR))
mb_join
then SDoc
ap_expr
else String -> SDoc
text String
"join" SDoc -> SDoc -> SDoc
<+> SDoc -> SDoc
parens SDoc
ap_expr
pp_arg :: (a, ApplicativeArg (GhcPass idL)) -> SDoc
pp_arg :: (a, ApplicativeArg (GhcPass idL)) -> SDoc
pp_arg (a
_, ApplicativeArg (GhcPass idL)
applicativeArg) = ApplicativeArg (GhcPass idL) -> SDoc
forall a. Outputable a => a -> SDoc
ppr ApplicativeArg (GhcPass idL)
applicativeArg
pprStmt (XStmtLR XXStmtLR (GhcPass idL) (GhcPass idR) body
x) = NoExtCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXStmtLR (GhcPass idL) (GhcPass idR) body
NoExtCon
x
instance (OutputableBndrId idL)
=> Outputable (ApplicativeArg (GhcPass idL)) where
ppr :: ApplicativeArg (GhcPass idL) -> SDoc
ppr = ApplicativeArg (GhcPass idL) -> SDoc
forall (idL :: Pass).
OutputableBndrId idL =>
ApplicativeArg (GhcPass idL) -> SDoc
pprArg
pprArg :: forall idL . (OutputableBndrId idL) => ApplicativeArg (GhcPass idL) -> SDoc
pprArg :: ApplicativeArg (GhcPass idL) -> SDoc
pprArg (ApplicativeArgOne XApplicativeArgOne (GhcPass idL)
_ LPat (GhcPass idL)
pat LHsExpr (GhcPass idL)
expr Bool
isBody SyntaxExpr (GhcPass idL)
_)
| Bool
isBody =
ExprStmt (GhcPass idL) -> SDoc
forall a. Outputable a => a -> SDoc
ppr (XBodyStmt (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
-> LHsExpr (GhcPass idL)
-> SyntaxExpr (GhcPass idL)
-> SyntaxExpr (GhcPass idL)
-> ExprStmt (GhcPass idL)
forall idL idR body.
XBodyStmt idL idR body
-> body -> SyntaxExpr idR -> SyntaxExpr idR -> StmtLR idL idR body
BodyStmt (String
-> XBodyStmt (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
forall a. String -> a
panic String
"pprStmt") LHsExpr (GhcPass idL)
expr SyntaxExpr (GhcPass idL)
forall (p :: Pass). SyntaxExpr (GhcPass p)
noSyntaxExpr SyntaxExpr (GhcPass idL)
forall (p :: Pass). SyntaxExpr (GhcPass p)
noSyntaxExpr
:: ExprStmt (GhcPass idL))
| Bool
otherwise =
ExprStmt (GhcPass idL) -> SDoc
forall a. Outputable a => a -> SDoc
ppr (XBindStmt (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
-> LPat (GhcPass idL)
-> LHsExpr (GhcPass idL)
-> SyntaxExpr (GhcPass idL)
-> SyntaxExpr (GhcPass idL)
-> ExprStmt (GhcPass idL)
forall idL idR body.
XBindStmt idL idR body
-> LPat idL
-> body
-> SyntaxExpr idR
-> SyntaxExpr idR
-> StmtLR idL idR body
BindStmt (String
-> XBindStmt (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
forall a. String -> a
panic String
"pprStmt") LPat (GhcPass idL)
pat LHsExpr (GhcPass idL)
expr SyntaxExpr (GhcPass idL)
forall (p :: Pass). SyntaxExpr (GhcPass p)
noSyntaxExpr SyntaxExpr (GhcPass idL)
forall (p :: Pass). SyntaxExpr (GhcPass p)
noSyntaxExpr
:: ExprStmt (GhcPass idL))
pprArg (ApplicativeArgMany XApplicativeArgMany (GhcPass idL)
_ [ExprLStmt (GhcPass idL)]
stmts HsExpr (GhcPass idL)
return LPat (GhcPass idL)
pat) =
Located (Pat (GhcPass idL)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Located (Pat (GhcPass idL))
LPat (GhcPass idL)
pat SDoc -> SDoc -> SDoc
<+>
String -> SDoc
text String
"<-" SDoc -> SDoc -> SDoc
<+>
HsExpr (GhcPass idL) -> SDoc
forall a. Outputable a => a -> SDoc
ppr (XDo (GhcPass idL)
-> HsStmtContext Name
-> Located [ExprLStmt (GhcPass idL)]
-> HsExpr (GhcPass idL)
forall p.
XDo p -> HsStmtContext Name -> Located [ExprLStmt p] -> HsExpr p
HsDo (String -> XDo (GhcPass idL)
forall a. String -> a
panic String
"pprStmt") HsStmtContext Name
forall id. HsStmtContext id
DoExpr (SrcSpanLess (Located [ExprLStmt (GhcPass idL)])
-> Located [ExprLStmt (GhcPass idL)]
forall a. HasSrcSpan a => SrcSpanLess a -> a
noLoc
([ExprLStmt (GhcPass idL)]
stmts [ExprLStmt (GhcPass idL)]
-> [ExprLStmt (GhcPass idL)] -> [ExprLStmt (GhcPass idL)]
forall a. [a] -> [a] -> [a]
++
[SrcSpanLess (ExprLStmt (GhcPass idL)) -> ExprLStmt (GhcPass idL)
forall a. HasSrcSpan a => SrcSpanLess a -> a
noLoc (XLastStmt (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
-> LHsExpr (GhcPass idL)
-> Bool
-> SyntaxExpr (GhcPass idL)
-> ExprStmt (GhcPass idL)
forall idL idR body.
XLastStmt idL idR body
-> body -> Bool -> SyntaxExpr idR -> StmtLR idL idR body
LastStmt XLastStmt (GhcPass idL) (GhcPass idL) (LHsExpr (GhcPass idL))
NoExtField
noExtField (SrcSpanLess (LHsExpr (GhcPass idL)) -> LHsExpr (GhcPass idL)
forall a. HasSrcSpan a => SrcSpanLess a -> a
noLoc SrcSpanLess (LHsExpr (GhcPass idL))
HsExpr (GhcPass idL)
return) Bool
False SyntaxExpr (GhcPass idL)
forall (p :: Pass). SyntaxExpr (GhcPass p)
noSyntaxExpr)])))
pprArg (XApplicativeArg XXApplicativeArg (GhcPass idL)
x) = NoExtCon -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXApplicativeArg (GhcPass idL)
NoExtCon
x
pprTransformStmt :: (OutputableBndrId p)
=> [IdP (GhcPass p)] -> LHsExpr (GhcPass p)
-> Maybe (LHsExpr (GhcPass p)) -> SDoc
pprTransformStmt :: [IdP (GhcPass p)]
-> LHsExpr (GhcPass p) -> Maybe (LHsExpr (GhcPass p)) -> SDoc
pprTransformStmt [IdP (GhcPass p)]
bndrs LHsExpr (GhcPass p)
using Maybe (LHsExpr (GhcPass p))
by
= [SDoc] -> SDoc
sep [ String -> SDoc
text String
"then" SDoc -> SDoc -> SDoc
<+> SDoc -> SDoc
whenPprDebug (SDoc -> SDoc
braces ([IdP (GhcPass p)] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [IdP (GhcPass p)]
bndrs))
, Int -> SDoc -> SDoc
nest Int
2 (LHsExpr (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsExpr (GhcPass p)
using)
, Int -> SDoc -> SDoc
nest Int
2 (Maybe (LHsExpr (GhcPass p)) -> SDoc
forall body. Outputable body => Maybe body -> SDoc
pprBy Maybe (LHsExpr (GhcPass p))
by)]
pprTransStmt :: Outputable body => Maybe body -> body -> TransForm -> SDoc
pprTransStmt :: Maybe body -> body -> TransForm -> SDoc
pprTransStmt Maybe body
by body
using TransForm
ThenForm
= [SDoc] -> SDoc
sep [ String -> SDoc
text String
"then", Int -> SDoc -> SDoc
nest Int
2 (body -> SDoc
forall a. Outputable a => a -> SDoc
ppr body
using), Int -> SDoc -> SDoc
nest Int
2 (Maybe body -> SDoc
forall body. Outputable body => Maybe body -> SDoc
pprBy Maybe body
by)]
pprTransStmt Maybe body
by body
using TransForm
GroupForm
= [SDoc] -> SDoc
sep [ String -> SDoc
text String
"then group", Int -> SDoc -> SDoc
nest Int
2 (Maybe body -> SDoc
forall body. Outputable body => Maybe body -> SDoc
pprBy Maybe body
by), Int -> SDoc -> SDoc
nest Int
2 (PtrString -> SDoc
ptext (String -> PtrString
sLit String
"using") SDoc -> SDoc -> SDoc
<+> body -> SDoc
forall a. Outputable a => a -> SDoc
ppr body
using)]
pprBy :: Outputable body => Maybe body -> SDoc
pprBy :: Maybe body -> SDoc
pprBy Maybe body
Nothing = SDoc
empty
pprBy (Just body
e) = String -> SDoc
text String
"by" SDoc -> SDoc -> SDoc
<+> body -> SDoc
forall a. Outputable a => a -> SDoc
ppr body
e
pprDo :: (OutputableBndrId p, Outputable body)
=> HsStmtContext any -> [LStmt (GhcPass p) body] -> SDoc
pprDo :: HsStmtContext any -> [LStmt (GhcPass p) body] -> SDoc
pprDo HsStmtContext any
DoExpr [LStmt (GhcPass p) body]
stmts = String -> SDoc
text String
"do" SDoc -> SDoc -> SDoc
<+> [LStmt (GhcPass p) body] -> SDoc
forall (idL :: Pass) (idR :: Pass) body.
(OutputableBndrId idL, OutputableBndrId idR, Outputable body) =>
[LStmtLR (GhcPass idL) (GhcPass idR) body] -> SDoc
ppr_do_stmts [LStmt (GhcPass p) body]
stmts
pprDo HsStmtContext any
GhciStmtCtxt [LStmt (GhcPass p) body]
stmts = String -> SDoc
text String
"do" SDoc -> SDoc -> SDoc
<+> [LStmt (GhcPass p) body] -> SDoc
forall (idL :: Pass) (idR :: Pass) body.
(OutputableBndrId idL, OutputableBndrId idR, Outputable body) =>
[LStmtLR (GhcPass idL) (GhcPass idR) body] -> SDoc
ppr_do_stmts [LStmt (GhcPass p) body]
stmts
pprDo HsStmtContext any
ArrowExpr [LStmt (GhcPass p) body]
stmts = String -> SDoc
text String
"do" SDoc -> SDoc -> SDoc
<+> [LStmt (GhcPass p) body] -> SDoc
forall (idL :: Pass) (idR :: Pass) body.
(OutputableBndrId idL, OutputableBndrId idR, Outputable body) =>
[LStmtLR (GhcPass idL) (GhcPass idR) body] -> SDoc
ppr_do_stmts [LStmt (GhcPass p) body]
stmts
pprDo HsStmtContext any
MDoExpr [LStmt (GhcPass p) body]
stmts = String -> SDoc
text String
"mdo" SDoc -> SDoc -> SDoc
<+> [LStmt (GhcPass p) body] -> SDoc
forall (idL :: Pass) (idR :: Pass) body.
(OutputableBndrId idL, OutputableBndrId idR, Outputable body) =>
[LStmtLR (GhcPass idL) (GhcPass idR) body] -> SDoc
ppr_do_stmts [LStmt (GhcPass p) body]
stmts
pprDo HsStmtContext any
ListComp [LStmt (GhcPass p) body]
stmts = SDoc -> SDoc
brackets (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$ [LStmt (GhcPass p) body] -> SDoc
forall (p :: Pass) body.
(OutputableBndrId p, Outputable body) =>
[LStmt (GhcPass p) body] -> SDoc
pprComp [LStmt (GhcPass p) body]
stmts
pprDo HsStmtContext any
MonadComp [LStmt (GhcPass p) body]
stmts = SDoc -> SDoc
brackets (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$ [LStmt (GhcPass p) body] -> SDoc
forall (p :: Pass) body.
(OutputableBndrId p, Outputable body) =>
[LStmt (GhcPass p) body] -> SDoc
pprComp [LStmt (GhcPass p) body]
stmts
pprDo HsStmtContext any
_ [LStmt (GhcPass p) body]
_ = String -> SDoc
forall a. String -> a
panic String
"pprDo"
ppr_do_stmts :: (OutputableBndrId idL, OutputableBndrId idR,
Outputable body)
=> [LStmtLR (GhcPass idL) (GhcPass idR) body] -> SDoc
ppr_do_stmts :: [LStmtLR (GhcPass idL) (GhcPass idR) body] -> SDoc
ppr_do_stmts [LStmtLR (GhcPass idL) (GhcPass idR) body]
stmts = ([SDoc] -> SDoc) -> [SDoc] -> SDoc
pprDeeperList [SDoc] -> SDoc
vcat ((LStmtLR (GhcPass idL) (GhcPass idR) body -> SDoc)
-> [LStmtLR (GhcPass idL) (GhcPass idR) body] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map LStmtLR (GhcPass idL) (GhcPass idR) body -> SDoc
forall a. Outputable a => a -> SDoc
ppr [LStmtLR (GhcPass idL) (GhcPass idR) body]
stmts)
pprComp :: (OutputableBndrId p, Outputable body)
=> [LStmt (GhcPass p) body] -> SDoc
pprComp :: [LStmt (GhcPass p) body] -> SDoc
pprComp [LStmt (GhcPass p) body]
quals
| Just ([LStmt (GhcPass p) body]
initStmts, L SrcSpan
_ (LastStmt XLastStmt (GhcPass p) (GhcPass p) body
_ body
body Bool
_ SyntaxExpr (GhcPass p)
_)) <- [LStmt (GhcPass p) body]
-> Maybe ([LStmt (GhcPass p) body], LStmt (GhcPass p) body)
forall a. [a] -> Maybe ([a], a)
snocView [LStmt (GhcPass p) body]
quals
= if [LStmt (GhcPass p) body] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [LStmt (GhcPass p) body]
initStmts
then body -> SDoc
forall a. Outputable a => a -> SDoc
ppr body
body
else SDoc -> Int -> SDoc -> SDoc
hang (body -> SDoc
forall a. Outputable a => a -> SDoc
ppr body
body SDoc -> SDoc -> SDoc
<+> SDoc
vbar) Int
2 ([LStmt (GhcPass p) body] -> SDoc
forall (p :: Pass) body.
(OutputableBndrId p, Outputable body) =>
[LStmt (GhcPass p) body] -> SDoc
pprQuals [LStmt (GhcPass p) body]
initStmts)
| Bool
otherwise
= String -> SDoc -> SDoc
forall a. HasCallStack => String -> SDoc -> a
pprPanic String
"pprComp" ([LStmt (GhcPass p) body] -> SDoc
forall (p :: Pass) body.
(OutputableBndrId p, Outputable body) =>
[LStmt (GhcPass p) body] -> SDoc
pprQuals [LStmt (GhcPass p) body]
quals)
pprQuals :: (OutputableBndrId p, Outputable body)
=> [LStmt (GhcPass p) body] -> SDoc
pprQuals :: [LStmt (GhcPass p) body] -> SDoc
pprQuals [LStmt (GhcPass p) body]
quals = [LStmt (GhcPass p) body] -> SDoc
forall a. Outputable a => [a] -> SDoc
interpp'SP [LStmt (GhcPass p) body]
quals
data HsSplice id
= HsTypedSplice
(XTypedSplice id)
SpliceDecoration
(IdP id)
(LHsExpr id)
| HsUntypedSplice
(XUntypedSplice id)
SpliceDecoration
(IdP id)
(LHsExpr id)
|