{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE TypeFamilies #-}
module HsBinds where
import GhcPrelude
import {-# SOURCE #-} HsExpr ( pprExpr, LHsExpr,
MatchGroup, pprFunBind,
GRHSs, pprPatBind )
import {-# SOURCE #-} HsPat ( LPat )
import HsExtension
import HsTypes
import PprCore ()
import CoreSyn
import TcEvidence
import Type
import NameSet
import BasicTypes
import Outputable
import SrcLoc
import Var
import Bag
import FastString
import BooleanFormula (LBooleanFormula)
import DynFlags
import Data.Data hiding ( Fixity )
import Data.List hiding ( foldr )
import Data.Ord
type HsLocalBinds id = HsLocalBindsLR id id
type LHsLocalBinds id = Located (HsLocalBinds id)
data HsLocalBindsLR idL idR
= HsValBinds
(XHsValBinds idL idR)
(HsValBindsLR idL idR)
| HsIPBinds
(XHsIPBinds idL idR)
(HsIPBinds idR)
| EmptyLocalBinds (XEmptyLocalBinds idL idR)
| XHsLocalBindsLR
(XXHsLocalBindsLR idL idR)
type instance XHsValBinds (GhcPass pL) (GhcPass pR) = NoExt
type instance XHsIPBinds (GhcPass pL) (GhcPass pR) = NoExt
type instance XEmptyLocalBinds (GhcPass pL) (GhcPass pR) = NoExt
type instance XXHsLocalBindsLR (GhcPass pL) (GhcPass pR) = NoExt
type LHsLocalBindsLR idL idR = Located (HsLocalBindsLR idL idR)
type HsValBinds id = HsValBindsLR id id
data HsValBindsLR idL idR
=
ValBinds
(XValBinds idL idR)
(LHsBindsLR idL idR) [LSig idR]
| XValBindsLR
(XXValBindsLR idL idR)
data NHsValBindsLR idL
= NValBinds
[(RecFlag, LHsBinds idL)]
[LSig GhcRn]
type instance XValBinds (GhcPass pL) (GhcPass pR) = NoExt
type instance XXValBindsLR (GhcPass pL) (GhcPass pR)
= NHsValBindsLR (GhcPass pL)
type LHsBind id = LHsBindLR id id
type LHsBinds id = LHsBindsLR id id
type HsBind id = HsBindLR id id
type LHsBindsLR idL idR = Bag (LHsBindLR idL idR)
type LHsBindLR idL idR = Located (HsBindLR idL idR)
data HsBindLR idL idR
=
FunBind {
HsBindLR idL idR -> XFunBind idL idR
fun_ext :: XFunBind idL idR,
HsBindLR idL idR -> Located (IdP idL)
fun_id :: Located (IdP idL),
HsBindLR idL idR -> MatchGroup idR (LHsExpr idR)
fun_matches :: MatchGroup idR (LHsExpr idR),
HsBindLR idL idR -> HsWrapper
fun_co_fn :: HsWrapper,
HsBindLR idL idR -> [Tickish Id]
fun_tick :: [Tickish Id]
}
| PatBind {
HsBindLR idL idR -> XPatBind idL idR
pat_ext :: XPatBind idL idR,
HsBindLR idL idR -> LPat idL
pat_lhs :: LPat idL,
HsBindLR idL idR -> GRHSs idR (LHsExpr idR)
pat_rhs :: GRHSs idR (LHsExpr idR),
HsBindLR idL idR -> ([Tickish Id], [[Tickish Id]])
pat_ticks :: ([Tickish Id], [[Tickish Id]])
}
| VarBind {
HsBindLR idL idR -> XVarBind idL idR
var_ext :: XVarBind idL idR,
HsBindLR idL idR -> IdP idL
var_id :: IdP idL,
HsBindLR idL idR -> LHsExpr idR
var_rhs :: LHsExpr idR,
HsBindLR idL idR -> Bool
var_inline :: Bool
}
| AbsBinds {
HsBindLR idL idR -> XAbsBinds idL idR
abs_ext :: XAbsBinds idL idR,
HsBindLR idL idR -> [Id]
abs_tvs :: [TyVar],
HsBindLR idL idR -> [Id]
abs_ev_vars :: [EvVar],
HsBindLR idL idR -> [ABExport idL]
abs_exports :: [ABExport idL],
HsBindLR idL idR -> [TcEvBinds]
abs_ev_binds :: [TcEvBinds],
HsBindLR idL idR -> LHsBinds idL
abs_binds :: LHsBinds idL,
HsBindLR idL idR -> Bool
abs_sig :: Bool
}
| PatSynBind
(XPatSynBind idL idR)
(PatSynBind idL idR)
| XHsBindsLR (XXHsBindsLR idL idR)
data NPatBindTc = NPatBindTc {
NPatBindTc -> NameSet
pat_fvs :: NameSet,
NPatBindTc -> Type
pat_rhs_ty :: Type
} deriving Typeable NPatBindTc
DataType
Constr
Typeable NPatBindTc
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> NPatBindTc -> c NPatBindTc)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c NPatBindTc)
-> (NPatBindTc -> Constr)
-> (NPatBindTc -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c NPatBindTc))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c NPatBindTc))
-> ((forall b. Data b => b -> b) -> NPatBindTc -> NPatBindTc)
-> (forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> NPatBindTc -> r)
-> (forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> NPatBindTc -> r)
-> (forall u. (forall d. Data d => d -> u) -> NPatBindTc -> [u])
-> (forall u.
Int -> (forall d. Data d => d -> u) -> NPatBindTc -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc)
-> Data NPatBindTc
NPatBindTc -> DataType
NPatBindTc -> Constr
(forall b. Data b => b -> b) -> NPatBindTc -> NPatBindTc
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> NPatBindTc -> c NPatBindTc
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c NPatBindTc
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) -> NPatBindTc -> u
forall u. (forall d. Data d => d -> u) -> NPatBindTc -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> NPatBindTc -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> NPatBindTc -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c NPatBindTc
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> NPatBindTc -> c NPatBindTc
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c NPatBindTc)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NPatBindTc)
$cNPatBindTc :: Constr
$tNPatBindTc :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc
gmapMp :: (forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc
gmapM :: (forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> NPatBindTc -> m NPatBindTc
gmapQi :: Int -> (forall d. Data d => d -> u) -> NPatBindTc -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> NPatBindTc -> u
gmapQ :: (forall d. Data d => d -> u) -> NPatBindTc -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> NPatBindTc -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> NPatBindTc -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> NPatBindTc -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> NPatBindTc -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> NPatBindTc -> r
gmapT :: (forall b. Data b => b -> b) -> NPatBindTc -> NPatBindTc
$cgmapT :: (forall b. Data b => b -> b) -> NPatBindTc -> NPatBindTc
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NPatBindTc)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NPatBindTc)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c NPatBindTc)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c NPatBindTc)
dataTypeOf :: NPatBindTc -> DataType
$cdataTypeOf :: NPatBindTc -> DataType
toConstr :: NPatBindTc -> Constr
$ctoConstr :: NPatBindTc -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c NPatBindTc
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c NPatBindTc
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> NPatBindTc -> c NPatBindTc
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> NPatBindTc -> c NPatBindTc
$cp1Data :: Typeable NPatBindTc
Data
type instance XFunBind (GhcPass pL) GhcPs = NoExt
type instance XFunBind (GhcPass pL) GhcRn = NameSet
type instance XFunBind (GhcPass pL) GhcTc = NameSet
type instance XPatBind GhcPs (GhcPass pR) = NoExt
type instance XPatBind GhcRn (GhcPass pR) = NameSet
type instance XPatBind GhcTc (GhcPass pR) = NPatBindTc
type instance XVarBind (GhcPass pL) (GhcPass pR) = NoExt
type instance XAbsBinds (GhcPass pL) (GhcPass pR) = NoExt
type instance XPatSynBind (GhcPass pL) (GhcPass pR) = NoExt
type instance XXHsBindsLR (GhcPass pL) (GhcPass pR) = NoExt
data ABExport p
= ABE { ABExport p -> XABE p
abe_ext :: XABE p
, ABExport p -> IdP p
abe_poly :: IdP p
, ABExport p -> IdP p
abe_mono :: IdP p
, ABExport p -> HsWrapper
abe_wrap :: HsWrapper
, ABExport p -> TcSpecPrags
abe_prags :: TcSpecPrags
}
| XABExport (XXABExport p)
type instance XABE (GhcPass p) = NoExt
type instance XXABExport (GhcPass p) = NoExt
data PatSynBind idL idR
= PSB { PatSynBind idL idR -> XPSB idL idR
psb_ext :: XPSB idL idR,
PatSynBind idL idR -> Located (IdP idL)
psb_id :: Located (IdP idL),
PatSynBind idL idR -> HsPatSynDetails (Located (IdP idR))
psb_args :: HsPatSynDetails (Located (IdP idR)),
PatSynBind idL idR -> LPat idR
psb_def :: LPat idR,
PatSynBind idL idR -> HsPatSynDir idR
psb_dir :: HsPatSynDir idR
}
| XPatSynBind (XXPatSynBind idL idR)
type instance XPSB (GhcPass idL) GhcPs = NoExt
type instance XPSB (GhcPass idL) GhcRn = NameSet
type instance XPSB (GhcPass idL) GhcTc = NameSet
type instance XXPatSynBind (GhcPass idL) (GhcPass idR) = NoExt
instance (idL ~ GhcPass pl, idR ~ GhcPass pr,
OutputableBndrId idL, OutputableBndrId idR)
=> Outputable (HsLocalBindsLR idL idR) where
ppr :: HsLocalBindsLR idL idR -> SDoc
ppr (HsValBinds XHsValBinds idL idR
_ HsValBindsLR idL idR
bs) = HsValBindsLR idL idR -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsValBindsLR idL idR
bs
ppr (HsIPBinds XHsIPBinds idL idR
_ HsIPBinds idR
bs) = HsIPBinds idR -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsIPBinds idR
bs
ppr (EmptyLocalBinds XEmptyLocalBinds idL idR
_) = SDoc
empty
ppr (XHsLocalBindsLR XXHsLocalBindsLR idL idR
x) = NoExt -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXHsLocalBindsLR idL idR
NoExt
x
instance (idL ~ GhcPass pl, idR ~ GhcPass pr,
OutputableBndrId idL, OutputableBndrId idR)
=> Outputable (HsValBindsLR idL idR) where
ppr :: HsValBindsLR idL idR -> SDoc
ppr (ValBinds XValBinds idL idR
_ LHsBindsLR idL idR
binds [LSig idR]
sigs)
= [SDoc] -> SDoc
pprDeclList (LHsBindsLR (GhcPass pl) (GhcPass pr)
-> [LSig (GhcPass pr)] -> [SDoc]
forall (idL :: Pass) (idR :: Pass) (id2 :: Pass).
(OutputableBndrId (GhcPass idL), OutputableBndrId (GhcPass idR),
OutputableBndrId (GhcPass id2)) =>
LHsBindsLR (GhcPass idL) (GhcPass idR)
-> [LSig (GhcPass id2)] -> [SDoc]
pprLHsBindsForUser LHsBindsLR idL idR
LHsBindsLR (GhcPass pl) (GhcPass pr)
binds [LSig idR]
[LSig (GhcPass pr)]
sigs)
ppr (XValBindsLR (NValBinds sccs sigs))
= (PprStyle -> SDoc) -> SDoc
getPprStyle ((PprStyle -> SDoc) -> SDoc) -> (PprStyle -> SDoc) -> SDoc
forall a b. (a -> b) -> a -> b
$ \ PprStyle
sty ->
if PprStyle -> Bool
debugStyle PprStyle
sty then
[SDoc] -> SDoc
vcat ((LSig GhcRn -> SDoc) -> [LSig GhcRn] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map LSig GhcRn -> SDoc
forall a. Outputable a => a -> SDoc
ppr [LSig GhcRn]
sigs) SDoc -> SDoc -> SDoc
$$ [SDoc] -> SDoc
vcat (((RecFlag, LHsBindsLR (GhcPass pl) (GhcPass pl)) -> SDoc)
-> [(RecFlag, LHsBindsLR (GhcPass pl) (GhcPass pl))] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map (RecFlag, LHsBindsLR (GhcPass pl) (GhcPass pl)) -> SDoc
forall (idR :: Pass) (idL :: Pass).
(OutputableBndr (IdP (GhcPass (NoGhcTcPass idR))),
OutputableBndr (NameOrRdrName (IdP (GhcPass (NoGhcTcPass idR)))),
OutputableBndr (IdP (GhcPass idR)),
OutputableBndr (NameOrRdrName (IdP (GhcPass idR))),
OutputableBndr (NameOrRdrName (IdP (GhcPass idL))),
OutputableBndr (IdP (GhcPass idL)),
OutputableBndr (IdP (GhcPass (NoGhcTcPass idL))),
OutputableBndr (NameOrRdrName (IdP (GhcPass (NoGhcTcPass idL)))),
Outputable (XViaStrategy (GhcPass (NoGhcTcPass idL))),
Outputable (XIPBinds (GhcPass (NoGhcTcPass idL))),
Outputable (XViaStrategy (GhcPass idL)),
Outputable (XIPBinds (GhcPass idL)),
Outputable (XIPBinds (GhcPass idR)),
Outputable (XViaStrategy (GhcPass idR)),
Outputable (XIPBinds (GhcPass (NoGhcTcPass idR))),
Outputable (XViaStrategy (GhcPass (NoGhcTcPass idR))),
NoGhcTcPass idL ~ NoGhcTcPass (NoGhcTcPass idL),
NoGhcTcPass idR ~ NoGhcTcPass (NoGhcTcPass idR)) =>
(RecFlag, LHsBindsLR (GhcPass idL) (GhcPass idR)) -> SDoc
ppr_scc [(RecFlag, LHsBindsLR (GhcPass pl) (GhcPass pl))]
sccs)
else
[SDoc] -> SDoc
pprDeclList (LHsBindsLR (GhcPass pl) (GhcPass pl) -> [LSig GhcRn] -> [SDoc]
forall (idL :: Pass) (idR :: Pass) (id2 :: Pass).
(OutputableBndrId (GhcPass idL), OutputableBndrId (GhcPass idR),
OutputableBndrId (GhcPass id2)) =>
LHsBindsLR (GhcPass idL) (GhcPass idR)
-> [LSig (GhcPass id2)] -> [SDoc]
pprLHsBindsForUser ([LHsBindsLR (GhcPass pl) (GhcPass pl)]
-> LHsBindsLR (GhcPass pl) (GhcPass pl)
forall a. [Bag a] -> Bag a
unionManyBags (((RecFlag, LHsBindsLR (GhcPass pl) (GhcPass pl))
-> LHsBindsLR (GhcPass pl) (GhcPass pl))
-> [(RecFlag, LHsBindsLR (GhcPass pl) (GhcPass pl))]
-> [LHsBindsLR (GhcPass pl) (GhcPass pl)]
forall a b. (a -> b) -> [a] -> [b]
map (RecFlag, LHsBindsLR (GhcPass pl) (GhcPass pl))
-> LHsBindsLR (GhcPass pl) (GhcPass pl)
forall a b. (a, b) -> b
snd [(RecFlag, LHsBindsLR (GhcPass pl) (GhcPass pl))]
sccs)) [LSig GhcRn]
sigs)
where
ppr_scc :: (RecFlag, LHsBindsLR (GhcPass idL) (GhcPass idR)) -> SDoc
ppr_scc (RecFlag
rec_flag, LHsBindsLR (GhcPass idL) (GhcPass idR)
binds) = RecFlag -> SDoc
pp_rec RecFlag
rec_flag SDoc -> SDoc -> SDoc
<+> LHsBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
forall (idL :: Pass) (idR :: Pass).
(OutputableBndrId (GhcPass idL), OutputableBndrId (GhcPass idR)) =>
LHsBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprLHsBinds LHsBindsLR (GhcPass idL) (GhcPass idR)
binds
pp_rec :: RecFlag -> SDoc
pp_rec RecFlag
Recursive = String -> SDoc
text String
"rec"
pp_rec RecFlag
NonRecursive = String -> SDoc
text String
"nonrec"
pprLHsBinds :: (OutputableBndrId (GhcPass idL), OutputableBndrId (GhcPass idR))
=> LHsBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprLHsBinds :: LHsBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprLHsBinds LHsBindsLR (GhcPass idL) (GhcPass idR)
binds
| LHsBindsLR (GhcPass idL) (GhcPass idR) -> Bool
forall idL idR. LHsBindsLR idL idR -> Bool
isEmptyLHsBinds LHsBindsLR (GhcPass idL) (GhcPass idR)
binds = SDoc
empty
| Bool
otherwise = [SDoc] -> SDoc
pprDeclList ((LHsBindLR (GhcPass idL) (GhcPass idR) -> SDoc)
-> [LHsBindLR (GhcPass idL) (GhcPass idR)] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map LHsBindLR (GhcPass idL) (GhcPass idR) -> SDoc
forall a. Outputable a => a -> SDoc
ppr (LHsBindsLR (GhcPass idL) (GhcPass idR)
-> [LHsBindLR (GhcPass idL) (GhcPass idR)]
forall a. Bag a -> [a]
bagToList LHsBindsLR (GhcPass idL) (GhcPass idR)
binds))
pprLHsBindsForUser :: (OutputableBndrId (GhcPass idL),
OutputableBndrId (GhcPass idR),
OutputableBndrId (GhcPass id2))
=> LHsBindsLR (GhcPass idL) (GhcPass idR) -> [LSig (GhcPass id2)] -> [SDoc]
pprLHsBindsForUser :: LHsBindsLR (GhcPass idL) (GhcPass idR)
-> [LSig (GhcPass id2)] -> [SDoc]
pprLHsBindsForUser LHsBindsLR (GhcPass idL) (GhcPass idR)
binds [LSig (GhcPass id2)]
sigs
= ((SrcSpan, SDoc) -> SDoc) -> [(SrcSpan, SDoc)] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map (SrcSpan, SDoc) -> SDoc
forall a b. (a, b) -> b
snd ([(SrcSpan, SDoc)] -> [(SrcSpan, SDoc)]
forall a b. Ord a => [(a, b)] -> [(a, b)]
sort_by_loc [(SrcSpan, SDoc)]
decls)
where
decls :: [(SrcSpan, SDoc)]
decls :: [(SrcSpan, SDoc)]
decls = [(SrcSpan
loc, Sig (GhcPass id2) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Sig (GhcPass id2)
sig) | L SrcSpan
loc Sig (GhcPass id2)
sig <- [LSig (GhcPass id2)]
sigs] [(SrcSpan, SDoc)] -> [(SrcSpan, SDoc)] -> [(SrcSpan, SDoc)]
forall a. [a] -> [a] -> [a]
++
[(SrcSpan
loc, HsBindLR (GhcPass idL) (GhcPass idR) -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsBindLR (GhcPass idL) (GhcPass idR)
bind) | L SrcSpan
loc HsBindLR (GhcPass idL) (GhcPass idR)
bind <- LHsBindsLR (GhcPass idL) (GhcPass idR)
-> [GenLocated SrcSpan (HsBindLR (GhcPass idL) (GhcPass idR))]
forall a. Bag a -> [a]
bagToList LHsBindsLR (GhcPass idL) (GhcPass idR)
binds]
sort_by_loc :: [(a, b)] -> [(a, b)]
sort_by_loc [(a, b)]
decls = ((a, b) -> (a, b) -> Ordering) -> [(a, b)] -> [(a, b)]
forall a. (a -> a -> Ordering) -> [a] -> [a]
sortBy (((a, b) -> a) -> (a, b) -> (a, b) -> Ordering
forall a b. Ord a => (b -> a) -> b -> b -> Ordering
comparing (a, b) -> a
forall a b. (a, b) -> a
fst) [(a, b)]
decls
pprDeclList :: [SDoc] -> SDoc
pprDeclList :: [SDoc] -> SDoc
pprDeclList [SDoc]
ds = ([SDoc] -> SDoc) -> [SDoc] -> SDoc
pprDeeperList [SDoc] -> SDoc
vcat [SDoc]
ds
emptyLocalBinds :: HsLocalBindsLR (GhcPass a) (GhcPass b)
emptyLocalBinds :: HsLocalBindsLR (GhcPass a) (GhcPass b)
emptyLocalBinds = XEmptyLocalBinds (GhcPass a) (GhcPass b)
-> HsLocalBindsLR (GhcPass a) (GhcPass b)
forall idL idR. XEmptyLocalBinds idL idR -> HsLocalBindsLR idL idR
EmptyLocalBinds XEmptyLocalBinds (GhcPass a) (GhcPass b)
NoExt
noExt
isEmptyLocalBindsTc :: HsLocalBindsLR (GhcPass a) GhcTc -> Bool
isEmptyLocalBindsTc :: HsLocalBindsLR (GhcPass a) GhcTc -> Bool
isEmptyLocalBindsTc (HsValBinds XHsValBinds (GhcPass a) GhcTc
_ HsValBindsLR (GhcPass a) GhcTc
ds) = HsValBindsLR (GhcPass a) GhcTc -> Bool
forall (a :: Pass) (b :: Pass).
HsValBindsLR (GhcPass a) (GhcPass b) -> Bool
isEmptyValBinds HsValBindsLR (GhcPass a) GhcTc
ds
isEmptyLocalBindsTc (HsIPBinds XHsIPBinds (GhcPass a) GhcTc
_ HsIPBinds GhcTc
ds) = HsIPBinds GhcTc -> Bool
isEmptyIPBindsTc HsIPBinds GhcTc
ds
isEmptyLocalBindsTc (EmptyLocalBinds XEmptyLocalBinds (GhcPass a) GhcTc
_) = Bool
True
isEmptyLocalBindsTc (XHsLocalBindsLR XXHsLocalBindsLR (GhcPass a) GhcTc
_) = Bool
True
isEmptyLocalBindsPR :: HsLocalBindsLR (GhcPass a) (GhcPass b) -> Bool
isEmptyLocalBindsPR :: HsLocalBindsLR (GhcPass a) (GhcPass b) -> Bool
isEmptyLocalBindsPR (HsValBinds XHsValBinds (GhcPass a) (GhcPass b)
_ HsValBindsLR (GhcPass a) (GhcPass b)
ds) = HsValBindsLR (GhcPass a) (GhcPass b) -> Bool
forall (a :: Pass) (b :: Pass).
HsValBindsLR (GhcPass a) (GhcPass b) -> Bool
isEmptyValBinds HsValBindsLR (GhcPass a) (GhcPass b)
ds
isEmptyLocalBindsPR (HsIPBinds XHsIPBinds (GhcPass a) (GhcPass b)
_ HsIPBinds (GhcPass b)
ds) = HsIPBinds (GhcPass b) -> Bool
forall (p :: Pass). HsIPBinds (GhcPass p) -> Bool
isEmptyIPBindsPR HsIPBinds (GhcPass b)
ds
isEmptyLocalBindsPR (EmptyLocalBinds XEmptyLocalBinds (GhcPass a) (GhcPass b)
_) = Bool
True
isEmptyLocalBindsPR (XHsLocalBindsLR XXHsLocalBindsLR (GhcPass a) (GhcPass b)
_) = Bool
True
eqEmptyLocalBinds :: HsLocalBindsLR a b -> Bool
eqEmptyLocalBinds :: HsLocalBindsLR a b -> Bool
eqEmptyLocalBinds (EmptyLocalBinds XEmptyLocalBinds a b
_) = Bool
True
eqEmptyLocalBinds HsLocalBindsLR a b
_ = Bool
False
isEmptyValBinds :: HsValBindsLR (GhcPass a) (GhcPass b) -> Bool
isEmptyValBinds :: HsValBindsLR (GhcPass a) (GhcPass b) -> Bool
isEmptyValBinds (ValBinds XValBinds (GhcPass a) (GhcPass b)
_ LHsBindsLR (GhcPass a) (GhcPass b)
ds [LSig (GhcPass b)]
sigs) = LHsBindsLR (GhcPass a) (GhcPass b) -> Bool
forall idL idR. LHsBindsLR idL idR -> Bool
isEmptyLHsBinds LHsBindsLR (GhcPass a) (GhcPass b)
ds Bool -> Bool -> Bool
&& [LSig (GhcPass b)] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [LSig (GhcPass b)]
sigs
isEmptyValBinds (XValBindsLR (NValBinds ds sigs)) = [(RecFlag, LHsBinds (GhcPass a))] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [(RecFlag, LHsBinds (GhcPass a))]
ds Bool -> Bool -> Bool
&& [LSig GhcRn] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [LSig GhcRn]
sigs
emptyValBindsIn, emptyValBindsOut :: HsValBindsLR (GhcPass a) (GhcPass b)
emptyValBindsIn :: HsValBindsLR (GhcPass a) (GhcPass b)
emptyValBindsIn = XValBinds (GhcPass a) (GhcPass b)
-> LHsBindsLR (GhcPass a) (GhcPass b)
-> [LSig (GhcPass b)]
-> HsValBindsLR (GhcPass a) (GhcPass b)
forall idL idR.
XValBinds idL idR
-> LHsBindsLR idL idR -> [LSig idR] -> HsValBindsLR idL idR
ValBinds XValBinds (GhcPass a) (GhcPass b)
NoExt
noExt LHsBindsLR (GhcPass a) (GhcPass b)
forall a. Bag a
emptyBag []
emptyValBindsOut :: HsValBindsLR (GhcPass a) (GhcPass b)
emptyValBindsOut = XXValBindsLR (GhcPass a) (GhcPass b)
-> HsValBindsLR (GhcPass a) (GhcPass b)
forall idL idR. XXValBindsLR idL idR -> HsValBindsLR idL idR
XValBindsLR ([(RecFlag, LHsBinds (GhcPass a))]
-> [LSig GhcRn] -> NHsValBindsLR (GhcPass a)
forall idL.
[(RecFlag, LHsBinds idL)] -> [LSig GhcRn] -> NHsValBindsLR idL
NValBinds [] [])
emptyLHsBinds :: LHsBindsLR idL idR
emptyLHsBinds :: LHsBindsLR idL idR
emptyLHsBinds = LHsBindsLR idL idR
forall a. Bag a
emptyBag
isEmptyLHsBinds :: LHsBindsLR idL idR -> Bool
isEmptyLHsBinds :: LHsBindsLR idL idR -> Bool
isEmptyLHsBinds = LHsBindsLR idL idR -> Bool
forall a. Bag a -> Bool
isEmptyBag
plusHsValBinds :: HsValBinds (GhcPass a) -> HsValBinds (GhcPass a)
-> HsValBinds(GhcPass a)
plusHsValBinds :: HsValBinds (GhcPass a)
-> HsValBinds (GhcPass a) -> HsValBinds (GhcPass a)
plusHsValBinds (ValBinds XValBinds (GhcPass a) (GhcPass a)
_ LHsBindsLR (GhcPass a) (GhcPass a)
ds1 [LSig (GhcPass a)]
sigs1) (ValBinds XValBinds (GhcPass a) (GhcPass a)
_ LHsBindsLR (GhcPass a) (GhcPass a)
ds2 [LSig (GhcPass a)]
sigs2)
= XValBinds (GhcPass a) (GhcPass a)
-> LHsBindsLR (GhcPass a) (GhcPass a)
-> [LSig (GhcPass a)]
-> HsValBinds (GhcPass a)
forall idL idR.
XValBinds idL idR
-> LHsBindsLR idL idR -> [LSig idR] -> HsValBindsLR idL idR
ValBinds XValBinds (GhcPass a) (GhcPass a)
NoExt
noExt (LHsBindsLR (GhcPass a) (GhcPass a)
ds1 LHsBindsLR (GhcPass a) (GhcPass a)
-> LHsBindsLR (GhcPass a) (GhcPass a)
-> LHsBindsLR (GhcPass a) (GhcPass a)
forall a. Bag a -> Bag a -> Bag a
`unionBags` LHsBindsLR (GhcPass a) (GhcPass a)
ds2) ([LSig (GhcPass a)]
sigs1 [LSig (GhcPass a)] -> [LSig (GhcPass a)] -> [LSig (GhcPass a)]
forall a. [a] -> [a] -> [a]
++ [LSig (GhcPass a)]
sigs2)
plusHsValBinds (XValBindsLR (NValBinds ds1 sigs1))
(XValBindsLR (NValBinds ds2 sigs2))
= XXValBindsLR (GhcPass a) (GhcPass a) -> HsValBinds (GhcPass a)
forall idL idR. XXValBindsLR idL idR -> HsValBindsLR idL idR
XValBindsLR ([(RecFlag, LHsBindsLR (GhcPass a) (GhcPass a))]
-> [LSig GhcRn] -> NHsValBindsLR (GhcPass a)
forall idL.
[(RecFlag, LHsBinds idL)] -> [LSig GhcRn] -> NHsValBindsLR idL
NValBinds ([(RecFlag, LHsBindsLR (GhcPass a) (GhcPass a))]
ds1 [(RecFlag, LHsBindsLR (GhcPass a) (GhcPass a))]
-> [(RecFlag, LHsBindsLR (GhcPass a) (GhcPass a))]
-> [(RecFlag, LHsBindsLR (GhcPass a) (GhcPass a))]
forall a. [a] -> [a] -> [a]
++ [(RecFlag, LHsBindsLR (GhcPass a) (GhcPass a))]
ds2) ([LSig GhcRn]
sigs1 [LSig GhcRn] -> [LSig GhcRn] -> [LSig GhcRn]
forall a. [a] -> [a] -> [a]
++ [LSig GhcRn]
sigs2))
plusHsValBinds HsValBinds (GhcPass a)
_ HsValBinds (GhcPass a)
_
= String -> HsValBinds (GhcPass a)
forall a. String -> a
panic String
"HsBinds.plusHsValBinds"
instance (idL ~ GhcPass pl, idR ~ GhcPass pr,
OutputableBndrId idL, OutputableBndrId idR)
=> Outputable (HsBindLR idL idR) where
ppr :: HsBindLR idL idR -> SDoc
ppr HsBindLR idL idR
mbind = HsBindLR (GhcPass pl) (GhcPass pr) -> SDoc
forall (idL :: Pass) (idR :: Pass).
(OutputableBndrId (GhcPass idL), OutputableBndrId (GhcPass idR)) =>
HsBindLR (GhcPass idL) (GhcPass idR) -> SDoc
ppr_monobind HsBindLR idL idR
HsBindLR (GhcPass pl) (GhcPass pr)
mbind
ppr_monobind :: (OutputableBndrId (GhcPass idL), OutputableBndrId (GhcPass idR))
=> HsBindLR (GhcPass idL) (GhcPass idR) -> SDoc
ppr_monobind :: HsBindLR (GhcPass idL) (GhcPass idR) -> SDoc
ppr_monobind (PatBind { pat_lhs :: forall idL idR. HsBindLR idL idR -> LPat idL
pat_lhs = LPat (GhcPass idL)
pat, pat_rhs :: forall idL idR. HsBindLR idL idR -> GRHSs idR (LHsExpr idR)
pat_rhs = GRHSs (GhcPass idR) (LHsExpr (GhcPass idR))
grhss })
= LPat (GhcPass idL)
-> GRHSs (GhcPass idR) (LHsExpr (GhcPass idR)) -> SDoc
forall (bndr :: Pass) (p :: Pass) body.
(OutputableBndrId (GhcPass bndr), OutputableBndrId (GhcPass p),
Outputable body) =>
LPat (GhcPass bndr) -> GRHSs (GhcPass p) body -> SDoc
pprPatBind LPat (GhcPass idL)
pat GRHSs (GhcPass idR) (LHsExpr (GhcPass idR))
grhss
ppr_monobind (VarBind { var_id :: forall idL idR. HsBindLR idL idR -> IdP idL
var_id = IdP (GhcPass idL)
var, var_rhs :: forall idL idR. HsBindLR idL idR -> LHsExpr idR
var_rhs = LHsExpr (GhcPass idR)
rhs })
= [SDoc] -> SDoc
sep [BindingSite -> IdP (GhcPass idL) -> SDoc
forall a. OutputableBndr a => BindingSite -> a -> SDoc
pprBndr BindingSite
CasePatBind IdP (GhcPass idL)
var, Int -> SDoc -> SDoc
nest Int
2 (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$ SDoc
equals SDoc -> SDoc -> SDoc
<+> HsExpr (GhcPass idR) -> SDoc
forall (p :: Pass).
OutputableBndrId (GhcPass p) =>
HsExpr (GhcPass p) -> SDoc
pprExpr (LHsExpr (GhcPass idR) -> SrcSpanLess (LHsExpr (GhcPass idR))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsExpr (GhcPass idR)
rhs)]
ppr_monobind (FunBind { fun_id :: forall idL idR. HsBindLR idL idR -> Located (IdP idL)
fun_id = Located (IdP (GhcPass idL))
fun,
fun_co_fn :: forall idL idR. HsBindLR idL idR -> HsWrapper
fun_co_fn = HsWrapper
wrap,
fun_matches :: forall idL idR. HsBindLR idL idR -> MatchGroup idR (LHsExpr idR)
fun_matches = MatchGroup (GhcPass idR) (LHsExpr (GhcPass idR))
matches,
fun_tick :: forall idL idR. HsBindLR idL idR -> [Tickish Id]
fun_tick = [Tickish Id]
ticks })
= SDoc -> SDoc -> SDoc
pprTicks SDoc
empty (if [Tickish Id] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [Tickish Id]
ticks then SDoc
empty
else String -> SDoc
text String
"-- ticks = " SDoc -> SDoc -> SDoc
<> [Tickish Id] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [Tickish Id]
ticks)
SDoc -> SDoc -> SDoc
$$ SDoc -> SDoc
whenPprDebug (BindingSite -> IdP (GhcPass idL) -> SDoc
forall a. OutputableBndr a => BindingSite -> a -> SDoc
pprBndr BindingSite
LetBind (Located (IdP (GhcPass idL))
-> SrcSpanLess (Located (IdP (GhcPass idL)))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc Located (IdP (GhcPass idL))
fun))
SDoc -> SDoc -> SDoc
$$ MatchGroup (GhcPass idR) (LHsExpr (GhcPass idR)) -> SDoc
forall (idR :: Pass) body.
(OutputableBndrId (GhcPass idR), Outputable body) =>
MatchGroup (GhcPass idR) body -> SDoc
pprFunBind MatchGroup (GhcPass idR) (LHsExpr (GhcPass idR))
matches
SDoc -> SDoc -> SDoc
$$ SDoc -> SDoc
whenPprDebug (HsWrapper -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsWrapper
wrap)
ppr_monobind (PatSynBind XPatSynBind (GhcPass idL) (GhcPass idR)
_ PatSynBind (GhcPass idL) (GhcPass idR)
psb) = PatSynBind (GhcPass idL) (GhcPass idR) -> SDoc
forall a. Outputable a => a -> SDoc
ppr PatSynBind (GhcPass idL) (GhcPass idR)
psb
ppr_monobind (AbsBinds { abs_tvs :: forall idL idR. HsBindLR idL idR -> [Id]
abs_tvs = [Id]
tyvars, abs_ev_vars :: forall idL idR. HsBindLR idL idR -> [Id]
abs_ev_vars = [Id]
dictvars
, abs_exports :: forall idL idR. HsBindLR idL idR -> [ABExport idL]
abs_exports = [ABExport (GhcPass idL)]
exports, abs_binds :: forall idL idR. HsBindLR idL idR -> LHsBinds idL
abs_binds = LHsBinds (GhcPass idL)
val_binds
, abs_ev_binds :: forall idL idR. HsBindLR idL idR -> [TcEvBinds]
abs_ev_binds = [TcEvBinds]
ev_binds })
= (DynFlags -> SDoc) -> SDoc
sdocWithDynFlags ((DynFlags -> SDoc) -> SDoc) -> (DynFlags -> SDoc) -> SDoc
forall a b. (a -> b) -> a -> b
$ \ DynFlags
dflags ->
if GeneralFlag -> DynFlags -> Bool
gopt GeneralFlag
Opt_PrintTypecheckerElaboration DynFlags
dflags then
SDoc -> Int -> SDoc -> SDoc
hang (String -> SDoc
text String
"AbsBinds" SDoc -> SDoc -> SDoc
<+> SDoc -> SDoc
brackets ([Id] -> SDoc
forall a. Outputable a => [a] -> SDoc
interpp'SP [Id]
tyvars)
SDoc -> SDoc -> SDoc
<+> SDoc -> SDoc
brackets ([Id] -> SDoc
forall a. Outputable a => [a] -> SDoc
interpp'SP [Id]
dictvars))
Int
2 (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$ SDoc -> SDoc
braces (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$ [SDoc] -> SDoc
vcat
[ String -> SDoc
text String
"Exports:" SDoc -> SDoc -> SDoc
<+>
SDoc -> SDoc
brackets ([SDoc] -> SDoc
sep (SDoc -> [SDoc] -> [SDoc]
punctuate SDoc
comma ((ABExport (GhcPass idL) -> SDoc)
-> [ABExport (GhcPass idL)] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map ABExport (GhcPass idL) -> SDoc
forall a. Outputable a => a -> SDoc
ppr [ABExport (GhcPass idL)]
exports)))
, String -> SDoc
text String
"Exported types:" SDoc -> SDoc -> SDoc
<+>
[SDoc] -> SDoc
vcat [BindingSite -> IdP (GhcPass idL) -> SDoc
forall a. OutputableBndr a => BindingSite -> a -> SDoc
pprBndr BindingSite
LetBind (ABExport (GhcPass idL) -> IdP (GhcPass idL)
forall p. ABExport p -> IdP p
abe_poly ABExport (GhcPass idL)
ex) | ABExport (GhcPass idL)
ex <- [ABExport (GhcPass idL)]
exports]
, String -> SDoc
text String
"Binds:" SDoc -> SDoc -> SDoc
<+> LHsBinds (GhcPass idL) -> SDoc
forall (idL :: Pass) (idR :: Pass).
(OutputableBndrId (GhcPass idL), OutputableBndrId (GhcPass idR)) =>
LHsBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprLHsBinds LHsBinds (GhcPass idL)
val_binds
, String -> SDoc
text String
"Evidence:" SDoc -> SDoc -> SDoc
<+> [TcEvBinds] -> SDoc
forall a. Outputable a => a -> SDoc
ppr [TcEvBinds]
ev_binds ]
else
LHsBinds (GhcPass idL) -> SDoc
forall (idL :: Pass) (idR :: Pass).
(OutputableBndrId (GhcPass idL), OutputableBndrId (GhcPass idR)) =>
LHsBindsLR (GhcPass idL) (GhcPass idR) -> SDoc
pprLHsBinds LHsBinds (GhcPass idL)
val_binds
ppr_monobind (XHsBindsLR XXHsBindsLR (GhcPass idL) (GhcPass idR)
x) = NoExt -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXHsBindsLR (GhcPass idL) (GhcPass idR)
NoExt
x
instance (p ~ GhcPass pass, OutputableBndrId p) => Outputable (ABExport p) where
ppr :: ABExport p -> SDoc
ppr (ABE { abe_wrap :: forall p. ABExport p -> HsWrapper
abe_wrap = HsWrapper
wrap, abe_poly :: forall p. ABExport p -> IdP p
abe_poly = IdP p
gbl, abe_mono :: forall p. ABExport p -> IdP p
abe_mono = IdP p
lcl, abe_prags :: forall p. ABExport p -> TcSpecPrags
abe_prags = TcSpecPrags
prags })
= [SDoc] -> SDoc
vcat [ IdP (GhcPass pass) -> SDoc
forall a. Outputable a => a -> SDoc
ppr IdP p
IdP (GhcPass pass)
gbl SDoc -> SDoc -> SDoc
<+> String -> SDoc
text String
"<=" SDoc -> SDoc -> SDoc
<+> IdP (GhcPass pass) -> SDoc
forall a. Outputable a => a -> SDoc
ppr IdP p
IdP (GhcPass pass)
lcl
, Int -> SDoc -> SDoc
nest Int
2 (TcSpecPrags -> SDoc
pprTcSpecPrags TcSpecPrags
prags)
, Int -> SDoc -> SDoc
nest Int
2 (String -> SDoc
text String
"wrap:" SDoc -> SDoc -> SDoc
<+> HsWrapper -> SDoc
forall a. Outputable a => a -> SDoc
ppr HsWrapper
wrap)]
ppr (XABExport XXABExport p
x) = NoExt -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXABExport p
NoExt
x
instance (idR ~ GhcPass pr,OutputableBndrId idL, OutputableBndrId idR,
Outputable (XXPatSynBind idL idR))
=> Outputable (PatSynBind idL idR) where
ppr :: PatSynBind idL idR -> SDoc
ppr (PSB{ psb_id :: forall idL idR. PatSynBind idL idR -> Located (IdP idL)
psb_id = (L SrcSpan
_ IdP idL
psyn), psb_args :: forall idL idR.
PatSynBind idL idR -> HsPatSynDetails (Located (IdP idR))
psb_args = HsPatSynDetails (Located (IdP idR))
details, psb_def :: forall idL idR. PatSynBind idL idR -> LPat idR
psb_def = LPat idR
pat,
psb_dir :: forall idL idR. PatSynBind idL idR -> HsPatSynDir idR
psb_dir = HsPatSynDir idR
dir })
= SDoc
ppr_lhs SDoc -> SDoc -> SDoc
<+> SDoc
ppr_rhs
where
ppr_lhs :: SDoc
ppr_lhs = String -> SDoc
text String
"pattern" SDoc -> SDoc -> SDoc
<+> SDoc
ppr_details
ppr_simple :: SDoc -> SDoc
ppr_simple SDoc
syntax = SDoc
syntax SDoc -> SDoc -> SDoc
<+> LPat idR -> SDoc
forall a. Outputable a => a -> SDoc
ppr LPat idR
pat
ppr_details :: SDoc
ppr_details = case HsPatSynDetails (Located (IdP idR))
details of
InfixCon Located (IdP idR)
v1 Located (IdP idR)
v2 -> [SDoc] -> SDoc
hsep [Located (IdP (GhcPass pr)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Located (IdP idR)
Located (IdP (GhcPass pr))
v1, IdP idL -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc IdP idL
psyn, Located (IdP (GhcPass pr)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Located (IdP idR)
Located (IdP (GhcPass pr))
v2]
PrefixCon [Located (IdP idR)]
vs -> [SDoc] -> SDoc
hsep (IdP idL -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprPrefixOcc IdP idL
psyn SDoc -> [SDoc] -> [SDoc]
forall a. a -> [a] -> [a]
: (Located (IdP (GhcPass pr)) -> SDoc)
-> [Located (IdP (GhcPass pr))] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map Located (IdP (GhcPass pr)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr [Located (IdP idR)]
[Located (IdP (GhcPass pr))]
vs)
RecCon [RecordPatSynField (Located (IdP idR))]
vs -> IdP idL -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprPrefixOcc IdP idL
psyn
SDoc -> SDoc -> SDoc
<> SDoc -> SDoc
braces ([SDoc] -> SDoc
sep (SDoc -> [SDoc] -> [SDoc]
punctuate SDoc
comma ((RecordPatSynField (Located (IdP (GhcPass pr))) -> SDoc)
-> [RecordPatSynField (Located (IdP (GhcPass pr)))] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map RecordPatSynField (Located (IdP (GhcPass pr))) -> SDoc
forall a. Outputable a => a -> SDoc
ppr [RecordPatSynField (Located (IdP idR))]
[RecordPatSynField (Located (IdP (GhcPass pr)))]
vs)))
ppr_rhs :: SDoc
ppr_rhs = case HsPatSynDir idR
dir of
HsPatSynDir idR
Unidirectional -> SDoc -> SDoc
ppr_simple (String -> SDoc
text String
"<-")
HsPatSynDir idR
ImplicitBidirectional -> SDoc -> SDoc
ppr_simple SDoc
equals
ExplicitBidirectional MatchGroup idR (LHsExpr idR)
mg -> SDoc -> SDoc
ppr_simple (String -> SDoc
text String
"<-") SDoc -> SDoc -> SDoc
<+> PtrString -> SDoc
ptext (String -> PtrString
sLit String
"where") SDoc -> SDoc -> SDoc
$$
(Int -> SDoc -> SDoc
nest Int
2 (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$ MatchGroup (GhcPass pr) (LHsExpr idR) -> SDoc
forall (idR :: Pass) body.
(OutputableBndrId (GhcPass idR), Outputable body) =>
MatchGroup (GhcPass idR) body -> SDoc
pprFunBind MatchGroup idR (LHsExpr idR)
MatchGroup (GhcPass pr) (LHsExpr idR)
mg)
ppr (XPatSynBind XXPatSynBind idL idR
x) = XXPatSynBind idL (GhcPass pr) -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXPatSynBind idL idR
XXPatSynBind idL (GhcPass pr)
x
pprTicks :: SDoc -> SDoc -> SDoc
pprTicks :: SDoc -> SDoc -> SDoc
pprTicks SDoc
pp_no_debug SDoc
pp_when_debug
= (PprStyle -> SDoc) -> SDoc
getPprStyle (\ PprStyle
sty -> if PprStyle -> Bool
debugStyle PprStyle
sty Bool -> Bool -> Bool
|| PprStyle -> Bool
dumpStyle PprStyle
sty
then SDoc
pp_when_debug
else SDoc
pp_no_debug)
data HsIPBinds id
= IPBinds
(XIPBinds id)
[LIPBind id]
| XHsIPBinds (XXHsIPBinds id)
type instance XIPBinds GhcPs = NoExt
type instance XIPBinds GhcRn = NoExt
type instance XIPBinds GhcTc = TcEvBinds
type instance XXHsIPBinds (GhcPass p) = NoExt
isEmptyIPBindsPR :: HsIPBinds (GhcPass p) -> Bool
isEmptyIPBindsPR :: HsIPBinds (GhcPass p) -> Bool
isEmptyIPBindsPR (IPBinds XIPBinds (GhcPass p)
_ [LIPBind (GhcPass p)]
is) = [LIPBind (GhcPass p)] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [LIPBind (GhcPass p)]
is
isEmptyIPBindsPR (XHsIPBinds XXHsIPBinds (GhcPass p)
_) = Bool
True
isEmptyIPBindsTc :: HsIPBinds GhcTc -> Bool
isEmptyIPBindsTc :: HsIPBinds GhcTc -> Bool
isEmptyIPBindsTc (IPBinds XIPBinds GhcTc
ds [LIPBind GhcTc]
is) = [LIPBind GhcTc] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [LIPBind GhcTc]
is Bool -> Bool -> Bool
&& TcEvBinds -> Bool
isEmptyTcEvBinds XIPBinds GhcTc
TcEvBinds
ds
isEmptyIPBindsTc (XHsIPBinds XXHsIPBinds GhcTc
_) = Bool
True
type LIPBind id = Located (IPBind id)
data IPBind id
= IPBind
(XCIPBind id)
(Either (Located HsIPName) (IdP id))
(LHsExpr id)
| XIPBind (XXIPBind id)
type instance XCIPBind (GhcPass p) = NoExt
type instance XXIPBind (GhcPass p) = NoExt
instance (p ~ GhcPass pass, OutputableBndrId p)
=> Outputable (HsIPBinds p) where
ppr :: HsIPBinds p -> SDoc
ppr (IPBinds XIPBinds p
ds [LIPBind p]
bs) = ([SDoc] -> SDoc) -> [SDoc] -> SDoc
pprDeeperList [SDoc] -> SDoc
vcat ((LIPBind p -> SDoc) -> [LIPBind p] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map LIPBind p -> SDoc
forall a. Outputable a => a -> SDoc
ppr [LIPBind p]
bs)
SDoc -> SDoc -> SDoc
$$ SDoc -> SDoc
whenPprDebug (XIPBinds (GhcPass pass) -> SDoc
forall a. Outputable a => a -> SDoc
ppr XIPBinds p
XIPBinds (GhcPass pass)
ds)
ppr (XHsIPBinds XXHsIPBinds p
x) = NoExt -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXHsIPBinds p
NoExt
x
instance (p ~ GhcPass pass, OutputableBndrId p) => Outputable (IPBind p) where
ppr :: IPBind p -> SDoc
ppr (IPBind XCIPBind p
_ Either (Located HsIPName) (IdP p)
lr LHsExpr p
rhs) = SDoc
name SDoc -> SDoc -> SDoc
<+> SDoc
equals SDoc -> SDoc -> SDoc
<+> HsExpr (GhcPass pass) -> SDoc
forall (p :: Pass).
OutputableBndrId (GhcPass p) =>
HsExpr (GhcPass p) -> SDoc
pprExpr (LHsExpr p -> SrcSpanLess (LHsExpr p)
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc LHsExpr p
rhs)
where name :: SDoc
name = case Either (Located HsIPName) (IdP p)
lr of
Left (L SrcSpan
_ HsIPName
ip) -> BindingSite -> HsIPName -> SDoc
forall a. OutputableBndr a => BindingSite -> a -> SDoc
pprBndr BindingSite
LetBind HsIPName
ip
Right IdP p
id -> BindingSite -> IdP (GhcPass pass) -> SDoc
forall a. OutputableBndr a => BindingSite -> a -> SDoc
pprBndr BindingSite
LetBind IdP p
IdP (GhcPass pass)
id
ppr (XIPBind XXIPBind p
x) = NoExt -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXIPBind p
NoExt
x
type LSig pass = Located (Sig pass)
data Sig pass
=
TypeSig
(XTypeSig pass)
[Located (IdP pass)]
(LHsSigWcType pass)
| PatSynSig (XPatSynSig pass) [Located (IdP pass)] (LHsSigType pass)
| ClassOpSig (XClassOpSig pass) Bool [Located (IdP pass)] (LHsSigType pass)
| IdSig (XIdSig pass) Id
| FixSig (XFixSig pass) (FixitySig pass)
| InlineSig (XInlineSig pass)
(Located (IdP pass))
InlinePragma
| SpecSig (XSpecSig pass)
(Located (IdP pass))
[LHsSigType pass]
InlinePragma
| SpecInstSig (XSpecInstSig pass) SourceText (LHsSigType pass)
| MinimalSig (XMinimalSig pass)
SourceText (LBooleanFormula (Located (IdP pass)))
| SCCFunSig (XSCCFunSig pass)
SourceText
(Located (IdP pass))
(Maybe (Located StringLiteral))
| CompleteMatchSig (XCompleteMatchSig pass)
SourceText
(Located [Located (IdP pass)])
(Maybe (Located (IdP pass)))
| XSig (XXSig pass)
type instance XTypeSig (GhcPass p) = NoExt
type instance XPatSynSig (GhcPass p) = NoExt
type instance XClassOpSig (GhcPass p) = NoExt
type instance XIdSig (GhcPass p) = NoExt
type instance XFixSig (GhcPass p) = NoExt
type instance XInlineSig (GhcPass p) = NoExt
type instance XSpecSig (GhcPass p) = NoExt
type instance XSpecInstSig (GhcPass p) = NoExt
type instance XMinimalSig (GhcPass p) = NoExt
type instance XSCCFunSig (GhcPass p) = NoExt
type instance XCompleteMatchSig (GhcPass p) = NoExt
type instance XXSig (GhcPass p) = NoExt
type LFixitySig pass = Located (FixitySig pass)
data FixitySig pass = FixitySig (XFixitySig pass) [Located (IdP pass)] Fixity
| XFixitySig (XXFixitySig pass)
type instance XFixitySig (GhcPass p) = NoExt
type instance XXFixitySig (GhcPass p) = NoExt
data TcSpecPrags
= IsDefaultMethod
| SpecPrags [LTcSpecPrag]
deriving Typeable TcSpecPrags
DataType
Constr
Typeable TcSpecPrags
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TcSpecPrags -> c TcSpecPrags)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TcSpecPrags)
-> (TcSpecPrags -> Constr)
-> (TcSpecPrags -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c TcSpecPrags))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c TcSpecPrags))
-> ((forall b. Data b => b -> b) -> TcSpecPrags -> TcSpecPrags)
-> (forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrags -> r)
-> (forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrags -> r)
-> (forall u. (forall d. Data d => d -> u) -> TcSpecPrags -> [u])
-> (forall u.
Int -> (forall d. Data d => d -> u) -> TcSpecPrags -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags)
-> Data TcSpecPrags
TcSpecPrags -> DataType
TcSpecPrags -> Constr
(forall b. Data b => b -> b) -> TcSpecPrags -> TcSpecPrags
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TcSpecPrags -> c TcSpecPrags
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TcSpecPrags
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) -> TcSpecPrags -> u
forall u. (forall d. Data d => d -> u) -> TcSpecPrags -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrags -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrags -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TcSpecPrags
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TcSpecPrags -> c TcSpecPrags
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c TcSpecPrags)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c TcSpecPrags)
$cSpecPrags :: Constr
$cIsDefaultMethod :: Constr
$tTcSpecPrags :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags
gmapMp :: (forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags
gmapM :: (forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> TcSpecPrags -> m TcSpecPrags
gmapQi :: Int -> (forall d. Data d => d -> u) -> TcSpecPrags -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> TcSpecPrags -> u
gmapQ :: (forall d. Data d => d -> u) -> TcSpecPrags -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> TcSpecPrags -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrags -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrags -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrags -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrags -> r
gmapT :: (forall b. Data b => b -> b) -> TcSpecPrags -> TcSpecPrags
$cgmapT :: (forall b. Data b => b -> b) -> TcSpecPrags -> TcSpecPrags
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c TcSpecPrags)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c TcSpecPrags)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c TcSpecPrags)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c TcSpecPrags)
dataTypeOf :: TcSpecPrags -> DataType
$cdataTypeOf :: TcSpecPrags -> DataType
toConstr :: TcSpecPrags -> Constr
$ctoConstr :: TcSpecPrags -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TcSpecPrags
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TcSpecPrags
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TcSpecPrags -> c TcSpecPrags
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TcSpecPrags -> c TcSpecPrags
$cp1Data :: Typeable TcSpecPrags
Data
type LTcSpecPrag = Located TcSpecPrag
data TcSpecPrag
= SpecPrag
Id
HsWrapper
InlinePragma
deriving Typeable TcSpecPrag
DataType
Constr
Typeable TcSpecPrag
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TcSpecPrag -> c TcSpecPrag)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TcSpecPrag)
-> (TcSpecPrag -> Constr)
-> (TcSpecPrag -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c TcSpecPrag))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c TcSpecPrag))
-> ((forall b. Data b => b -> b) -> TcSpecPrag -> TcSpecPrag)
-> (forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrag -> r)
-> (forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrag -> r)
-> (forall u. (forall d. Data d => d -> u) -> TcSpecPrag -> [u])
-> (forall u.
Int -> (forall d. Data d => d -> u) -> TcSpecPrag -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag)
-> Data TcSpecPrag
TcSpecPrag -> DataType
TcSpecPrag -> Constr
(forall b. Data b => b -> b) -> TcSpecPrag -> TcSpecPrag
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TcSpecPrag -> c TcSpecPrag
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TcSpecPrag
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) -> TcSpecPrag -> u
forall u. (forall d. Data d => d -> u) -> TcSpecPrag -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrag -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrag -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TcSpecPrag
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TcSpecPrag -> c TcSpecPrag
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c TcSpecPrag)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TcSpecPrag)
$cSpecPrag :: Constr
$tTcSpecPrag :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag
gmapMp :: (forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag
gmapM :: (forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> TcSpecPrag -> m TcSpecPrag
gmapQi :: Int -> (forall d. Data d => d -> u) -> TcSpecPrag -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> TcSpecPrag -> u
gmapQ :: (forall d. Data d => d -> u) -> TcSpecPrag -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> TcSpecPrag -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrag -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrag -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrag -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> TcSpecPrag -> r
gmapT :: (forall b. Data b => b -> b) -> TcSpecPrag -> TcSpecPrag
$cgmapT :: (forall b. Data b => b -> b) -> TcSpecPrag -> TcSpecPrag
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TcSpecPrag)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TcSpecPrag)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c TcSpecPrag)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c TcSpecPrag)
dataTypeOf :: TcSpecPrag -> DataType
$cdataTypeOf :: TcSpecPrag -> DataType
toConstr :: TcSpecPrag -> Constr
$ctoConstr :: TcSpecPrag -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TcSpecPrag
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c TcSpecPrag
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TcSpecPrag -> c TcSpecPrag
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> TcSpecPrag -> c TcSpecPrag
$cp1Data :: Typeable TcSpecPrag
Data
noSpecPrags :: TcSpecPrags
noSpecPrags :: TcSpecPrags
noSpecPrags = [LTcSpecPrag] -> TcSpecPrags
SpecPrags []
hasSpecPrags :: TcSpecPrags -> Bool
hasSpecPrags :: TcSpecPrags -> Bool
hasSpecPrags (SpecPrags [LTcSpecPrag]
ps) = Bool -> Bool
not ([LTcSpecPrag] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [LTcSpecPrag]
ps)
hasSpecPrags TcSpecPrags
IsDefaultMethod = Bool
False
isDefaultMethod :: TcSpecPrags -> Bool
isDefaultMethod :: TcSpecPrags -> Bool
isDefaultMethod TcSpecPrags
IsDefaultMethod = Bool
True
isDefaultMethod (SpecPrags {}) = Bool
False
isFixityLSig :: LSig name -> Bool
isFixityLSig :: LSig name -> Bool
isFixityLSig (L SrcSpan
_ (FixSig {})) = Bool
True
isFixityLSig LSig name
_ = Bool
False
isTypeLSig :: LSig name -> Bool
isTypeLSig :: LSig name -> Bool
isTypeLSig (L SrcSpan
_(TypeSig {})) = Bool
True
isTypeLSig (L SrcSpan
_(ClassOpSig {})) = Bool
True
isTypeLSig (L SrcSpan
_(IdSig {})) = Bool
True
isTypeLSig LSig name
_ = Bool
False
isSpecLSig :: LSig name -> Bool
isSpecLSig :: LSig name -> Bool
isSpecLSig (L SrcSpan
_(SpecSig {})) = Bool
True
isSpecLSig LSig name
_ = Bool
False
isSpecInstLSig :: LSig name -> Bool
isSpecInstLSig :: LSig name -> Bool
isSpecInstLSig (L SrcSpan
_ (SpecInstSig {})) = Bool
True
isSpecInstLSig LSig name
_ = Bool
False
isPragLSig :: LSig name -> Bool
isPragLSig :: LSig name -> Bool
isPragLSig (L SrcSpan
_ (SpecSig {})) = Bool
True
isPragLSig (L SrcSpan
_ (InlineSig {})) = Bool
True
isPragLSig (L SrcSpan
_ (SCCFunSig {})) = Bool
True
isPragLSig (L SrcSpan
_ (CompleteMatchSig {})) = Bool
True
isPragLSig LSig name
_ = Bool
False
isInlineLSig :: LSig name -> Bool
isInlineLSig :: LSig name -> Bool
isInlineLSig (L SrcSpan
_ (InlineSig {})) = Bool
True
isInlineLSig LSig name
_ = Bool
False
isMinimalLSig :: LSig name -> Bool
isMinimalLSig :: LSig name -> Bool
isMinimalLSig (L SrcSpan
_ (MinimalSig {})) = Bool
True
isMinimalLSig LSig name
_ = Bool
False
isSCCFunSig :: LSig name -> Bool
isSCCFunSig :: LSig name -> Bool
isSCCFunSig (L SrcSpan
_ (SCCFunSig {})) = Bool
True
isSCCFunSig LSig name
_ = Bool
False
isCompleteMatchSig :: LSig name -> Bool
isCompleteMatchSig :: LSig name -> Bool
isCompleteMatchSig (L SrcSpan
_ (CompleteMatchSig {} )) = Bool
True
isCompleteMatchSig LSig name
_ = Bool
False
hsSigDoc :: Sig name -> SDoc
hsSigDoc :: Sig name -> SDoc
hsSigDoc (TypeSig {}) = String -> SDoc
text String
"type signature"
hsSigDoc (PatSynSig {}) = String -> SDoc
text String
"pattern synonym signature"
hsSigDoc (ClassOpSig XClassOpSig name
_ Bool
is_deflt [Located (IdP name)]
_ LHsSigType name
_)
| Bool
is_deflt = String -> SDoc
text String
"default type signature"
| Bool
otherwise = String -> SDoc
text String
"class method signature"
hsSigDoc (IdSig {}) = String -> SDoc
text String
"id signature"
hsSigDoc (SpecSig {}) = String -> SDoc
text String
"SPECIALISE pragma"
hsSigDoc (InlineSig XInlineSig name
_ Located (IdP name)
_ InlinePragma
prag) = InlineSpec -> SDoc
forall a. Outputable a => a -> SDoc
ppr (InlinePragma -> InlineSpec
inlinePragmaSpec InlinePragma
prag) SDoc -> SDoc -> SDoc
<+> String -> SDoc
text String
"pragma"
hsSigDoc (SpecInstSig {}) = String -> SDoc
text String
"SPECIALISE instance pragma"
hsSigDoc (FixSig {}) = String -> SDoc
text String
"fixity declaration"
hsSigDoc (MinimalSig {}) = String -> SDoc
text String
"MINIMAL pragma"
hsSigDoc (SCCFunSig {}) = String -> SDoc
text String
"SCC pragma"
hsSigDoc (CompleteMatchSig {}) = String -> SDoc
text String
"COMPLETE pragma"
hsSigDoc (XSig {}) = String -> SDoc
text String
"XSIG TTG extension"
instance (p ~ GhcPass pass, OutputableBndrId p) => Outputable (Sig p) where
ppr :: Sig p -> SDoc
ppr Sig p
sig = Sig (GhcPass pass) -> SDoc
forall (p :: Pass).
OutputableBndrId (GhcPass p) =>
Sig (GhcPass p) -> SDoc
ppr_sig Sig p
Sig (GhcPass pass)
sig
ppr_sig :: (OutputableBndrId (GhcPass p)) => Sig (GhcPass p) -> SDoc
ppr_sig :: Sig (GhcPass p) -> SDoc
ppr_sig (TypeSig XTypeSig (GhcPass p)
_ [Located (IdP (GhcPass p))]
vars LHsSigWcType (GhcPass p)
ty) = [IdP (GhcPass p)] -> SDoc -> SDoc
forall id. OutputableBndr id => [id] -> SDoc -> SDoc
pprVarSig ((Located (IdP (GhcPass p)) -> IdP (GhcPass p))
-> [Located (IdP (GhcPass p))] -> [IdP (GhcPass p)]
forall a b. (a -> b) -> [a] -> [b]
map Located (IdP (GhcPass p)) -> IdP (GhcPass p)
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc [Located (IdP (GhcPass p))]
vars) (LHsSigWcType (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsSigWcType (GhcPass p)
ty)
ppr_sig (ClassOpSig XClassOpSig (GhcPass p)
_ Bool
is_deflt [Located (IdP (GhcPass p))]
vars LHsSigType (GhcPass p)
ty)
| Bool
is_deflt = String -> SDoc
text String
"default" SDoc -> SDoc -> SDoc
<+> [IdP (GhcPass p)] -> SDoc -> SDoc
forall id. OutputableBndr id => [id] -> SDoc -> SDoc
pprVarSig ((Located (IdP (GhcPass p)) -> IdP (GhcPass p))
-> [Located (IdP (GhcPass p))] -> [IdP (GhcPass p)]
forall a b. (a -> b) -> [a] -> [b]
map Located (IdP (GhcPass p)) -> IdP (GhcPass p)
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc [Located (IdP (GhcPass p))]
vars) (LHsSigType (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsSigType (GhcPass p)
ty)
| Bool
otherwise = [IdP (GhcPass p)] -> SDoc -> SDoc
forall id. OutputableBndr id => [id] -> SDoc -> SDoc
pprVarSig ((Located (IdP (GhcPass p)) -> IdP (GhcPass p))
-> [Located (IdP (GhcPass p))] -> [IdP (GhcPass p)]
forall a b. (a -> b) -> [a] -> [b]
map Located (IdP (GhcPass p)) -> IdP (GhcPass p)
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc [Located (IdP (GhcPass p))]
vars) (LHsSigType (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsSigType (GhcPass p)
ty)
ppr_sig (IdSig XIdSig (GhcPass p)
_ Id
id) = [Id] -> SDoc -> SDoc
forall id. OutputableBndr id => [id] -> SDoc -> SDoc
pprVarSig [Id
id] (Type -> SDoc
forall a. Outputable a => a -> SDoc
ppr (Id -> Type
varType Id
id))
ppr_sig (FixSig XFixSig (GhcPass p)
_ FixitySig (GhcPass p)
fix_sig) = FixitySig (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr FixitySig (GhcPass p)
fix_sig
ppr_sig (SpecSig XSpecSig (GhcPass p)
_ Located (IdP (GhcPass p))
var [LHsSigType (GhcPass p)]
ty inl :: InlinePragma
inl@(InlinePragma { inl_inline :: InlinePragma -> InlineSpec
inl_inline = InlineSpec
spec }))
= SourceText -> String -> SDoc -> SDoc
pragSrcBrackets (InlinePragma -> SourceText
inl_src InlinePragma
inl) String
pragmaSrc (IdP (GhcPass p) -> SDoc -> InlinePragma -> SDoc
forall id. OutputableBndr id => id -> SDoc -> InlinePragma -> SDoc
pprSpec (Located (IdP (GhcPass p))
-> SrcSpanLess (Located (IdP (GhcPass p)))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc Located (IdP (GhcPass p))
var)
([LHsSigType (GhcPass p)] -> SDoc
forall a. Outputable a => [a] -> SDoc
interpp'SP [LHsSigType (GhcPass p)]
ty) InlinePragma
inl)
where
pragmaSrc :: String
pragmaSrc = case InlineSpec
spec of
InlineSpec
NoUserInline -> String
"{-# SPECIALISE"
InlineSpec
_ -> String
"{-# SPECIALISE_INLINE"
ppr_sig (InlineSig XInlineSig (GhcPass p)
_ Located (IdP (GhcPass p))
var InlinePragma
inl)
= SourceText -> String -> SDoc -> SDoc
pragSrcBrackets (InlinePragma -> SourceText
inl_src InlinePragma
inl) String
"{-# INLINE" (InlinePragma -> SDoc
pprInline InlinePragma
inl
SDoc -> SDoc -> SDoc
<+> IdP (GhcPass p) -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprPrefixOcc (Located (IdP (GhcPass p))
-> SrcSpanLess (Located (IdP (GhcPass p)))
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc Located (IdP (GhcPass p))
var))
ppr_sig (SpecInstSig XSpecInstSig (GhcPass p)
_ SourceText
src LHsSigType (GhcPass p)
ty)
= SourceText -> String -> SDoc -> SDoc
pragSrcBrackets SourceText
src String
"{-# SPECIALISE" (String -> SDoc
text String
"instance" SDoc -> SDoc -> SDoc
<+> LHsSigType (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsSigType (GhcPass p)
ty)
ppr_sig (MinimalSig XMinimalSig (GhcPass p)
_ SourceText
src LBooleanFormula (Located (IdP (GhcPass p)))
bf)
= SourceText -> String -> SDoc -> SDoc
pragSrcBrackets SourceText
src String
"{-# MINIMAL" (LBooleanFormula (Located (IdP (GhcPass p))) -> SDoc
forall name.
OutputableBndr name =>
LBooleanFormula (Located name) -> SDoc
pprMinimalSig LBooleanFormula (Located (IdP (GhcPass p)))
bf)
ppr_sig (PatSynSig XPatSynSig (GhcPass p)
_ [Located (IdP (GhcPass p))]
names LHsSigType (GhcPass p)
sig_ty)
= String -> SDoc
text String
"pattern" SDoc -> SDoc -> SDoc
<+> [IdP (GhcPass p)] -> SDoc -> SDoc
forall id. OutputableBndr id => [id] -> SDoc -> SDoc
pprVarSig ((Located (IdP (GhcPass p)) -> IdP (GhcPass p))
-> [Located (IdP (GhcPass p))] -> [IdP (GhcPass p)]
forall a b. (a -> b) -> [a] -> [b]
map Located (IdP (GhcPass p)) -> IdP (GhcPass p)
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc [Located (IdP (GhcPass p))]
names) (LHsSigType (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr LHsSigType (GhcPass p)
sig_ty)
ppr_sig (SCCFunSig XSCCFunSig (GhcPass p)
_ SourceText
src Located (IdP (GhcPass p))
fn Maybe (Located StringLiteral)
mlabel)
= SourceText -> String -> SDoc -> SDoc
pragSrcBrackets SourceText
src String
"{-# SCC" (Located (IdP (GhcPass p)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr Located (IdP (GhcPass p))
fn SDoc -> SDoc -> SDoc
<+> SDoc
-> (Located StringLiteral -> SDoc)
-> Maybe (Located StringLiteral)
-> SDoc
forall b a. b -> (a -> b) -> Maybe a -> b
maybe SDoc
empty Located StringLiteral -> SDoc
forall a. Outputable a => a -> SDoc
ppr Maybe (Located StringLiteral)
mlabel )
ppr_sig (CompleteMatchSig XCompleteMatchSig (GhcPass p)
_ SourceText
src Located [Located (IdP (GhcPass p))]
cs Maybe (Located (IdP (GhcPass p)))
mty)
= SourceText -> String -> SDoc -> SDoc
pragSrcBrackets SourceText
src String
"{-# COMPLETE"
(([SDoc] -> SDoc
hsep (SDoc -> [SDoc] -> [SDoc]
punctuate SDoc
comma ((Located (IdP (GhcPass p)) -> SDoc)
-> [Located (IdP (GhcPass p))] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map Located (IdP (GhcPass p)) -> SDoc
forall a. Outputable a => a -> SDoc
ppr (Located [Located (IdP (GhcPass p))]
-> SrcSpanLess (Located [Located (IdP (GhcPass p))])
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc Located [Located (IdP (GhcPass p))]
cs))))
SDoc -> SDoc -> SDoc
<+> SDoc
opt_sig)
where
opt_sig :: SDoc
opt_sig = SDoc
-> (Located (IdP (GhcPass p)) -> SDoc)
-> Maybe (Located (IdP (GhcPass p)))
-> SDoc
forall b a. b -> (a -> b) -> Maybe a -> b
maybe SDoc
empty ((\IdP (GhcPass p)
t -> SDoc
dcolon SDoc -> SDoc -> SDoc
<+> IdP (GhcPass p) -> SDoc
forall a. Outputable a => a -> SDoc
ppr IdP (GhcPass p)
t) (IdP (GhcPass p) -> SDoc)
-> (Located (IdP (GhcPass p)) -> IdP (GhcPass p))
-> Located (IdP (GhcPass p))
-> SDoc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Located (IdP (GhcPass p)) -> IdP (GhcPass p)
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc) Maybe (Located (IdP (GhcPass p)))
mty
ppr_sig (XSig XXSig (GhcPass p)
x) = NoExt -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXSig (GhcPass p)
NoExt
x
instance (p ~ GhcPass pass, OutputableBndrId p)
=> Outputable (FixitySig p) where
ppr :: FixitySig p -> SDoc
ppr (FixitySig XFixitySig p
_ [Located (IdP p)]
names Fixity
fixity) = [SDoc] -> SDoc
sep [Fixity -> SDoc
forall a. Outputable a => a -> SDoc
ppr Fixity
fixity, SDoc
pprops]
where
pprops :: SDoc
pprops = [SDoc] -> SDoc
hsep ([SDoc] -> SDoc) -> [SDoc] -> SDoc
forall a b. (a -> b) -> a -> b
$ SDoc -> [SDoc] -> [SDoc]
punctuate SDoc
comma ((Located (IdP (GhcPass pass)) -> SDoc)
-> [Located (IdP (GhcPass pass))] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map (IdP (GhcPass pass) -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprInfixOcc (IdP (GhcPass pass) -> SDoc)
-> (Located (IdP (GhcPass pass)) -> IdP (GhcPass pass))
-> Located (IdP (GhcPass pass))
-> SDoc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Located (IdP (GhcPass pass)) -> IdP (GhcPass pass)
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc) [Located (IdP p)]
[Located (IdP (GhcPass pass))]
names)
ppr (XFixitySig XXFixitySig p
x) = NoExt -> SDoc
forall a. Outputable a => a -> SDoc
ppr XXFixitySig p
NoExt
x
pragBrackets :: SDoc -> SDoc
pragBrackets :: SDoc -> SDoc
pragBrackets SDoc
doc = String -> SDoc
text String
"{-#" SDoc -> SDoc -> SDoc
<+> SDoc
doc SDoc -> SDoc -> SDoc
<+> String -> SDoc
text String
"#-}"
pragSrcBrackets :: SourceText -> String -> SDoc -> SDoc
pragSrcBrackets :: SourceText -> String -> SDoc -> SDoc
pragSrcBrackets (SourceText String
src) String
_ SDoc
doc = String -> SDoc
text String
src SDoc -> SDoc -> SDoc
<+> SDoc
doc SDoc -> SDoc -> SDoc
<+> String -> SDoc
text String
"#-}"
pragSrcBrackets SourceText
NoSourceText String
alt SDoc
doc = String -> SDoc
text String
alt SDoc -> SDoc -> SDoc
<+> SDoc
doc SDoc -> SDoc -> SDoc
<+> String -> SDoc
text String
"#-}"
pprVarSig :: (OutputableBndr id) => [id] -> SDoc -> SDoc
pprVarSig :: [id] -> SDoc -> SDoc
pprVarSig [id]
vars SDoc
pp_ty = [SDoc] -> SDoc
sep [SDoc
pprvars SDoc -> SDoc -> SDoc
<+> SDoc
dcolon, Int -> SDoc -> SDoc
nest Int
2 SDoc
pp_ty]
where
pprvars :: SDoc
pprvars = [SDoc] -> SDoc
hsep ([SDoc] -> SDoc) -> [SDoc] -> SDoc
forall a b. (a -> b) -> a -> b
$ SDoc -> [SDoc] -> [SDoc]
punctuate SDoc
comma ((id -> SDoc) -> [id] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map id -> SDoc
forall a. OutputableBndr a => a -> SDoc
pprPrefixOcc [id]
vars)
pprSpec :: (OutputableBndr id) => id -> SDoc -> InlinePragma -> SDoc
pprSpec :: id -> SDoc -> InlinePragma -> SDoc
pprSpec id
var SDoc
pp_ty InlinePragma
inl = SDoc
pp_inl SDoc -> SDoc -> SDoc
<+> [id] -> SDoc -> SDoc
forall id. OutputableBndr id => [id] -> SDoc -> SDoc
pprVarSig [id
var] SDoc
pp_ty
where
pp_inl :: SDoc
pp_inl | InlinePragma -> Bool
isDefaultInlinePragma InlinePragma
inl = SDoc
empty
| Bool
otherwise = InlinePragma -> SDoc
pprInline InlinePragma
inl
pprTcSpecPrags :: TcSpecPrags -> SDoc
pprTcSpecPrags :: TcSpecPrags -> SDoc
pprTcSpecPrags TcSpecPrags
IsDefaultMethod = String -> SDoc
text String
"<default method>"
pprTcSpecPrags (SpecPrags [LTcSpecPrag]
ps) = [SDoc] -> SDoc
vcat ((LTcSpecPrag -> SDoc) -> [LTcSpecPrag] -> [SDoc]
forall a b. (a -> b) -> [a] -> [b]
map (TcSpecPrag -> SDoc
forall a. Outputable a => a -> SDoc
ppr (TcSpecPrag -> SDoc)
-> (LTcSpecPrag -> TcSpecPrag) -> LTcSpecPrag -> SDoc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LTcSpecPrag -> TcSpecPrag
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc) [LTcSpecPrag]
ps)
instance Outputable TcSpecPrag where
ppr :: TcSpecPrag -> SDoc
ppr (SpecPrag Id
var HsWrapper
_ InlinePragma
inl)
= String -> SDoc
text String
"SPECIALIZE" SDoc -> SDoc -> SDoc
<+> Id -> SDoc -> InlinePragma -> SDoc
forall id. OutputableBndr id => id -> SDoc -> InlinePragma -> SDoc
pprSpec Id
var (String -> SDoc
text String
"<type>") InlinePragma
inl
pprMinimalSig :: (OutputableBndr name)
=> LBooleanFormula (Located name) -> SDoc
pprMinimalSig :: LBooleanFormula (Located name) -> SDoc
pprMinimalSig (L SrcSpan
_ BooleanFormula (Located name)
bf) = BooleanFormula name -> SDoc
forall a. Outputable a => a -> SDoc
ppr ((Located name -> name)
-> BooleanFormula (Located name) -> BooleanFormula name
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Located name -> name
forall a. HasSrcSpan a => a -> SrcSpanLess a
unLoc BooleanFormula (Located name)
bf)
type HsPatSynDetails arg = HsConDetails arg [RecordPatSynField arg]
data RecordPatSynField a
= RecordPatSynField {
RecordPatSynField a -> a
recordPatSynSelectorId :: a
, RecordPatSynField a -> a
recordPatSynPatVar :: a
} deriving Typeable (RecordPatSynField a)
DataType
Constr
Typeable (RecordPatSynField a)
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> RecordPatSynField a
-> c (RecordPatSynField a))
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (RecordPatSynField a))
-> (RecordPatSynField a -> Constr)
-> (RecordPatSynField a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c (RecordPatSynField a)))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c (RecordPatSynField a)))
-> ((forall b. Data b => b -> b)
-> RecordPatSynField a -> RecordPatSynField a)
-> (forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> RecordPatSynField a -> r)
-> (forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> RecordPatSynField a -> r)
-> (forall u.
(forall d. Data d => d -> u) -> RecordPatSynField a -> [u])
-> (forall u.
Int -> (forall d. Data d => d -> u) -> RecordPatSynField a -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a))
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a))
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a))
-> Data (RecordPatSynField a)
RecordPatSynField a -> DataType
RecordPatSynField a -> Constr
(forall d. Data d => c (t d)) -> Maybe (c (RecordPatSynField a))
(forall b. Data b => b -> b)
-> RecordPatSynField a -> RecordPatSynField a
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> RecordPatSynField a
-> c (RecordPatSynField a)
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (RecordPatSynField a)
forall a. Data a => Typeable (RecordPatSynField a)
forall a. Data a => RecordPatSynField a -> DataType
forall a. Data a => RecordPatSynField a -> Constr
forall a.
Data a =>
(forall b. Data b => b -> b)
-> RecordPatSynField a -> RecordPatSynField a
forall a u.
Data a =>
Int -> (forall d. Data d => d -> u) -> RecordPatSynField a -> u
forall a u.
Data a =>
(forall d. Data d => d -> u) -> RecordPatSynField a -> [u]
forall a r r'.
Data a =>
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> RecordPatSynField a -> r
forall a r r'.
Data a =>
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> RecordPatSynField a -> r
forall a (m :: * -> *).
(Data a, Monad m) =>
(forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a)
forall a (m :: * -> *).
(Data a, MonadPlus m) =>
(forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a)
forall a (c :: * -> *).
Data a =>
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (RecordPatSynField a)
forall a (c :: * -> *).
Data a =>
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> RecordPatSynField a
-> c (RecordPatSynField a)
forall a (t :: * -> *) (c :: * -> *).
(Data a, Typeable t) =>
(forall d. Data d => c (t d)) -> Maybe (c (RecordPatSynField a))
forall a (t :: * -> * -> *) (c :: * -> *).
(Data a, Typeable t) =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c (RecordPatSynField a))
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) -> RecordPatSynField a -> u
forall u.
(forall d. Data d => d -> u) -> RecordPatSynField a -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> RecordPatSynField a -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> RecordPatSynField a -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a)
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a)
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (RecordPatSynField a)
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> RecordPatSynField a
-> c (RecordPatSynField a)
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c (RecordPatSynField a))
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c (RecordPatSynField a))
$cRecordPatSynField :: Constr
$tRecordPatSynField :: DataType
gmapMo :: (forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a)
$cgmapMo :: forall a (m :: * -> *).
(Data a, MonadPlus m) =>
(forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a)
gmapMp :: (forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a)
$cgmapMp :: forall a (m :: * -> *).
(Data a, MonadPlus m) =>
(forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a)
gmapM :: (forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a)
$cgmapM :: forall a (m :: * -> *).
(Data a, Monad m) =>
(forall d. Data d => d -> m d)
-> RecordPatSynField a -> m (RecordPatSynField a)
gmapQi :: Int -> (forall d. Data d => d -> u) -> RecordPatSynField a -> u
$cgmapQi :: forall a u.
Data a =>
Int -> (forall d. Data d => d -> u) -> RecordPatSynField a -> u
gmapQ :: (forall d. Data d => d -> u) -> RecordPatSynField a -> [u]
$cgmapQ :: forall a u.
Data a =>
(forall d. Data d => d -> u) -> RecordPatSynField a -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> RecordPatSynField a -> r
$cgmapQr :: forall a r r'.
Data a =>
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> RecordPatSynField a -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> RecordPatSynField a -> r
$cgmapQl :: forall a r r'.
Data a =>
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> RecordPatSynField a -> r
gmapT :: (forall b. Data b => b -> b)
-> RecordPatSynField a -> RecordPatSynField a
$cgmapT :: forall a.
Data a =>
(forall b. Data b => b -> b)
-> RecordPatSynField a -> RecordPatSynField a
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c (RecordPatSynField a))
$cdataCast2 :: forall a (t :: * -> * -> *) (c :: * -> *).
(Data a, Typeable t) =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c (RecordPatSynField a))
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c (RecordPatSynField a))
$cdataCast1 :: forall a (t :: * -> *) (c :: * -> *).
(Data a, Typeable t) =>
(forall d. Data d => c (t d)) -> Maybe (c (RecordPatSynField a))
dataTypeOf :: RecordPatSynField a -> DataType
$cdataTypeOf :: forall a. Data a => RecordPatSynField a -> DataType
toConstr :: RecordPatSynField a -> Constr
$ctoConstr :: forall a. Data a => RecordPatSynField a -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (RecordPatSynField a)
$cgunfold :: forall a (c :: * -> *).
Data a =>
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (RecordPatSynField a)
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> RecordPatSynField a
-> c (RecordPatSynField a)
$cgfoldl :: forall a (c :: * -> *).
Data a =>
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g)
-> RecordPatSynField a
-> c (RecordPatSynField a)
$cp1Data :: forall a. Data a => Typeable (RecordPatSynField a)
Data
instance Functor RecordPatSynField where
fmap :: (a -> b) -> RecordPatSynField a -> RecordPatSynField b
fmap a -> b
f (RecordPatSynField { recordPatSynSelectorId :: forall a. RecordPatSynField a -> a
recordPatSynSelectorId = a
visible
, recordPatSynPatVar :: forall a. RecordPatSynField a -> a
recordPatSynPatVar = a
hidden })
= RecordPatSynField :: forall a. a -> a -> RecordPatSynField a
RecordPatSynField { recordPatSynSelectorId :: b
recordPatSynSelectorId = a -> b
f a
visible
, recordPatSynPatVar :: b
recordPatSynPatVar = a -> b
f a
hidden }
instance Outputable a => Outputable (RecordPatSynField a) where
ppr :: RecordPatSynField a -> SDoc
ppr (RecordPatSynField { recordPatSynSelectorId :: forall a. RecordPatSynField a -> a
recordPatSynSelectorId = a
v }) = a -> SDoc
forall a. Outputable a => a -> SDoc
ppr a
v
instance Foldable RecordPatSynField where
foldMap :: (a -> m) -> RecordPatSynField a -> m
foldMap a -> m
f (RecordPatSynField { recordPatSynSelectorId :: forall a. RecordPatSynField a -> a
recordPatSynSelectorId = a
visible
, recordPatSynPatVar :: forall a. RecordPatSynField a -> a
recordPatSynPatVar = a
hidden })
= a -> m
f a
visible m -> m -> m
forall a. Monoid a => a -> a -> a
`mappend` a -> m
f a
hidden
instance Traversable RecordPatSynField where
traverse :: (a -> f b) -> RecordPatSynField a -> f (RecordPatSynField b)
traverse a -> f b
f (RecordPatSynField { recordPatSynSelectorId :: forall a. RecordPatSynField a -> a
recordPatSynSelectorId =a
visible
, recordPatSynPatVar :: forall a. RecordPatSynField a -> a
recordPatSynPatVar = a
hidden })
= (\ b
sel_id b
pat_var -> RecordPatSynField :: forall a. a -> a -> RecordPatSynField a
RecordPatSynField { recordPatSynSelectorId :: b
recordPatSynSelectorId = b
sel_id
, recordPatSynPatVar :: b
recordPatSynPatVar = b
pat_var })
(b -> b -> RecordPatSynField b)
-> f b -> f (b -> RecordPatSynField b)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> a -> f b
f a
visible f (b -> RecordPatSynField b) -> f b -> f (RecordPatSynField b)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> a -> f b
f a
hidden
data HsPatSynDir id
= Unidirectional
| ImplicitBidirectional
| ExplicitBidirectional (MatchGroup id (LHsExpr id))