ghc-9.2.0.20210331: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Iface.Syntax

Synopsis

Documentation

data IfaceDecl Source #

Instances

Instances details
NFData IfaceDecl # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceDecl -> () Source #

NamedThing IfaceDecl # 
Instance details

Defined in GHC.Iface.Syntax

HasOccName IfaceDecl # 
Instance details

Defined in GHC.Iface.Syntax

Binary IfaceDecl # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceDecl # 
Instance details

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceDecl -> SDoc Source #

data IfaceFamTyConFlav Source #

Constructors

IfaceDataFamilyTyCon 
IfaceOpenSynFamilyTyCon 
IfaceClosedSynFamilyTyCon (Maybe (IfExtName, [IfaceAxBranch]))

Name of associated axiom and branches for pretty printing purposes, or Nothing for an empty closed family without an axiom See Note [Pretty printing via Iface syntax] in GHC.Types.TyThing.Ppr

IfaceAbstractClosedSynFamilyTyCon 
IfaceBuiltInSynFamTyCon 

Instances

Instances details
NFData IfaceFamTyConFlav # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceFamTyConFlav -> () Source #

Binary IfaceFamTyConFlav # 
Instance details

Defined in GHC.Iface.Syntax

data IfaceClassOp Source #

Instances

Instances details
NFData IfaceClassOp # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceClassOp -> () Source #

NamedThing IfaceClassOp # 
Instance details

Defined in GHC.Iface.Syntax

HasOccName IfaceClassOp # 
Instance details

Defined in GHC.Iface.Syntax

Binary IfaceClassOp # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceClassOp # 
Instance details

Defined in GHC.Iface.Syntax

data IfaceAT Source #

Instances

Instances details
NFData IfaceAT # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceAT -> () Source #

Binary IfaceAT # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceAT # 
Instance details

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceAT -> SDoc Source #

data IfaceAlt Source #

Instances

Instances details
NFData IfaceAlt # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceAlt -> () Source #

Binary IfaceAlt # 
Instance details

Defined in GHC.Iface.Syntax

data IfaceLetBndr Source #

Instances

Instances details
NFData IfaceLetBndr # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceLetBndr -> () Source #

Binary IfaceLetBndr # 
Instance details

Defined in GHC.Iface.Syntax

data IfaceJoinInfo Source #

Instances

Instances details
NFData IfaceJoinInfo # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceJoinInfo -> () Source #

Binary IfaceJoinInfo # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceJoinInfo # 
Instance details

Defined in GHC.Iface.Syntax

data IfaceBinding Source #

Instances

Instances details
NFData IfaceBinding # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceBinding -> () Source #

Binary IfaceBinding # 
Instance details

Defined in GHC.Iface.Syntax

data IfaceConAlt Source #

Instances

Instances details
NFData IfaceConAlt # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceConAlt -> () Source #

Binary IfaceConAlt # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceConAlt # 
Instance details

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceConAlt -> SDoc Source #

data IfaceRule Source #

Instances

Instances details
NFData IfaceRule # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceRule -> () Source #

Binary IfaceRule # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceRule # 
Instance details

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceRule -> SDoc Source #

data IfaceClsInst Source #

Instances

Instances details
NFData IfaceClsInst # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceClsInst -> () Source #

Binary IfaceClsInst # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceClsInst # 
Instance details

Defined in GHC.Iface.Syntax

data IfaceFamInst Source #

Instances

Instances details
NFData IfaceFamInst # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceFamInst -> () Source #

Binary IfaceFamInst # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceFamInst # 
Instance details

Defined in GHC.Iface.Syntax

data IfaceClassBody Source #

Instances

Instances details
NFData IfaceClassBody # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceClassBody -> () Source #

data IfaceBang Source #

This corresponds to an HsImplBang; that is, the final implementation decision about the data constructor arg

Instances

Instances details
NFData IfaceBang # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceBang -> () Source #

Binary IfaceBang # 
Instance details

Defined in GHC.Iface.Syntax

data IfaceSrcBang Source #

This corresponds to HsSrcBang

Instances

Instances details
NFData IfaceSrcBang # 
Instance details

Defined in GHC.Iface.Syntax

Methods

rnf :: IfaceSrcBang -> () Source #

Binary IfaceSrcBang # 
Instance details

Defined in GHC.Iface.Syntax

data SrcUnpackedness Source #

Source Unpackedness

What unpackedness the user requested

Constructors

SrcUnpack

{-# UNPACK #-} specified

SrcNoUnpack

{-# NOUNPACK #-} specified

NoSrcUnpack

no unpack pragma

Instances

Instances details
Data SrcUnpackedness # 
Instance details

Defined in GHC.Core.DataCon

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcUnpackedness -> c SrcUnpackedness Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcUnpackedness Source #

toConstr :: SrcUnpackedness -> Constr Source #

dataTypeOf :: SrcUnpackedness -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcUnpackedness) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcUnpackedness) Source #

gmapT :: (forall b. Data b => b -> b) -> SrcUnpackedness -> SrcUnpackedness Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcUnpackedness -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcUnpackedness -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> SrcUnpackedness -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcUnpackedness -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcUnpackedness -> m SrcUnpackedness Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcUnpackedness -> m SrcUnpackedness Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcUnpackedness -> m SrcUnpackedness Source #

Binary SrcUnpackedness # 
Instance details

Defined in GHC.Core.DataCon

Outputable SrcUnpackedness # 
Instance details

Defined in GHC.Core.DataCon

Eq SrcUnpackedness # 
Instance details

Defined in GHC.Core.DataCon

data SrcStrictness Source #

Source Strictness

What strictness annotation the user wrote

Constructors

SrcLazy

Lazy, ie ~

SrcStrict

Strict, ie !

NoSrcStrict

no strictness annotation

Instances

Instances details
Data SrcStrictness # 
Instance details

Defined in GHC.Core.DataCon

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcStrictness -> c SrcStrictness Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcStrictness Source #

toConstr :: SrcStrictness -> Constr Source #

dataTypeOf :: SrcStrictness -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcStrictness) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcStrictness) Source #

gmapT :: (forall b. Data b => b -> b) -> SrcStrictness -> SrcStrictness Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcStrictness -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcStrictness -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> SrcStrictness -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcStrictness -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcStrictness -> m SrcStrictness Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcStrictness -> m SrcStrictness Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcStrictness -> m SrcStrictness Source #

Binary SrcStrictness # 
Instance details

Defined in GHC.Core.DataCon

Outputable SrcStrictness # 
Instance details

Defined in GHC.Core.DataCon

Eq SrcStrictness # 
Instance details

Defined in GHC.Core.DataCon

data IfaceLFInfo Source #

Iface type for LambdaFormInfo. Fields not relevant for imported Ids are omitted in this type.

Instances

Instances details
Binary IfaceLFInfo # 
Instance details

Defined in GHC.Iface.Syntax

Outputable IfaceLFInfo # 
Instance details

Defined in GHC.Iface.Syntax

Methods

ppr :: IfaceLFInfo -> SDoc Source #

Binding names

type IfaceTopBndr = Name Source #

A binding top-level Name in an interface file (e.g. the name of an IfaceDecl).

pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDoc Source #

Pretty Print an IfaceExpr

The first argument should be a function that adds parens in context that need an atomic value (e.g. function args)

newtype AltPpr Source #

Constructors

AltPpr (Maybe (OccName -> SDoc)) 

data ShowHowMuch Source #

Constructors

ShowHeader AltPpr

Header information only, not rhs

ShowSome [OccName] AltPpr

Show only some sub-components. Specifically,

[]
Print all sub-components.
(n:ns)
Print sub-component n with ShowSub = ns; elide other sub-components to ... May 14: the list is max 1 element long at the moment
ShowIface

Everything including GHC-internal information (used in --show-iface)

Instances

Instances details
Outputable ShowHowMuch # 
Instance details

Defined in GHC.Iface.Syntax

Methods

ppr :: ShowHowMuch -> SDoc Source #