| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
IfaceSyn
Contents
Synopsis
- module IfaceType
- data IfaceDecl
- = IfaceId { }
- | IfaceData { }
- | IfaceSynonym {
- ifName :: IfaceTopBndr
- ifRoles :: [Role]
- ifBinders :: [IfaceTyConBinder]
- ifResKind :: IfaceKind
- ifSynRhs :: IfaceType
- | IfaceFamily { }
- | IfaceClass {
- ifName :: IfaceTopBndr
- ifRoles :: [Role]
- ifBinders :: [IfaceTyConBinder]
- ifFDs :: [FunDep IfLclName]
- ifBody :: IfaceClassBody
- | IfaceAxiom {
- ifName :: IfaceTopBndr
- ifTyCon :: IfaceTyCon
- ifRole :: Role
- ifAxBranches :: [IfaceAxBranch]
- | IfacePatSyn {
- ifName :: IfaceTopBndr
- ifPatIsInfix :: Bool
- ifPatMatcher :: (IfExtName, Bool)
- ifPatBuilder :: Maybe (IfExtName, Bool)
- ifPatUnivBndrs :: [IfaceForAllBndr]
- ifPatExBndrs :: [IfaceForAllBndr]
- ifPatProvCtxt :: IfaceContext
- ifPatReqCtxt :: IfaceContext
- ifPatArgs :: [IfaceType]
- ifPatTy :: IfaceType
- ifFieldLabels :: [FieldLabel]
- data IfaceFamTyConFlav
- data IfaceClassOp = IfaceClassOp IfaceTopBndr IfaceType (Maybe (DefMethSpec IfaceType))
- data IfaceAT = IfaceAT IfaceDecl (Maybe IfaceType)
- data IfaceConDecl = IfCon {}
- data IfaceConDecls
- type IfaceEqSpec = [(IfLclName, IfaceType)]
- data IfaceExpr
- = IfaceLcl IfLclName
- | IfaceExt IfExtName
- | IfaceType IfaceType
- | IfaceCo IfaceCoercion
- | IfaceTuple TupleSort [IfaceExpr]
- | IfaceLam IfaceLamBndr IfaceExpr
- | IfaceApp IfaceExpr IfaceExpr
- | IfaceCase IfaceExpr IfLclName [IfaceAlt]
- | IfaceECase IfaceExpr IfaceType
- | IfaceLet IfaceBinding IfaceExpr
- | IfaceCast IfaceExpr IfaceCoercion
- | IfaceLit Literal
- | IfaceFCall ForeignCall IfaceType
- | IfaceTick IfaceTickish IfaceExpr
- type IfaceAlt = (IfaceConAlt, [IfLclName], IfaceExpr)
- data IfaceLetBndr = IfLetBndr IfLclName IfaceType IfaceIdInfo IfaceJoinInfo
- data IfaceJoinInfo
- data IfaceBinding
- data IfaceConAlt
- data IfaceIdInfo
- = NoInfo
- | HasInfo [IfaceInfoItem]
- data IfaceIdDetails
- data IfaceUnfolding
- data IfaceInfoItem
- data IfaceRule = IfaceRule {}
- data IfaceAnnotation = IfaceAnnotation {}
- type IfaceAnnTarget = AnnTarget OccName
- data IfaceClsInst = IfaceClsInst {}
- data IfaceFamInst = IfaceFamInst {}
- data IfaceTickish
- data IfaceClassBody
- = IfAbstractClass
- | IfConcreteClass {
- ifClassCtxt :: IfaceContext
- ifATs :: [IfaceAT]
- ifSigs :: [IfaceClassOp]
- ifMinDef :: BooleanFormula IfLclName
- data IfaceBang
- data IfaceSrcBang = IfSrcBang SrcUnpackedness SrcStrictness
- data SrcUnpackedness
- data SrcStrictness
- data IfaceAxBranch = IfaceAxBranch {
- ifaxbTyVars :: [IfaceTvBndr]
- ifaxbEtaTyVars :: [IfaceTvBndr]
- ifaxbCoVars :: [IfaceIdBndr]
- ifaxbLHS :: IfaceAppArgs
- ifaxbRoles :: [Role]
- ifaxbRHS :: IfaceType
- ifaxbIncomps :: [BranchIndex]
- data IfaceTyConParent
- data IfaceCompleteMatch = IfaceCompleteMatch [IfExtName] IfExtName
- type IfaceTopBndr = Name
- putIfaceTopBndr :: BinHandle -> IfaceTopBndr -> IO ()
- getIfaceTopBndr :: BinHandle -> IO IfaceTopBndr
- ifaceDeclImplicitBndrs :: IfaceDecl -> [OccName]
- visibleIfConDecls :: IfaceConDecls -> [IfaceConDecl]
- ifaceDeclFingerprints :: Fingerprint -> IfaceDecl -> [(OccName, Fingerprint)]
- freeNamesIfDecl :: IfaceDecl -> NameSet
- freeNamesIfRule :: IfaceRule -> NameSet
- freeNamesIfFamInst :: IfaceFamInst -> NameSet
- pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDoc
- pprIfaceDecl :: ShowSub -> IfaceDecl -> SDoc
- newtype AltPpr = AltPpr (Maybe (OccName -> SDoc))
- data ShowSub = ShowSub {}
- data ShowHowMuch
- showToIface :: ShowSub
- showToHeader :: ShowSub
Documentation
module IfaceType
Constructors
Instances
data IfaceFamTyConFlav Source #
Constructors
| IfaceDataFamilyTyCon | |
| IfaceOpenSynFamilyTyCon | |
| IfaceClosedSynFamilyTyCon (Maybe (IfExtName, [IfaceAxBranch])) | Name of associated axiom and branches for pretty printing purposes,
or |
| IfaceAbstractClosedSynFamilyTyCon | |
| IfaceBuiltInSynFamTyCon |
Instances
| NFData IfaceFamTyConFlav # | |
Defined in IfaceSyn Methods rnf :: IfaceFamTyConFlav -> () Source # | |
| Binary IfaceFamTyConFlav # | |
data IfaceClassOp Source #
Constructors
| IfaceClassOp IfaceTopBndr IfaceType (Maybe (DefMethSpec IfaceType)) |
Instances
| NFData IfaceClassOp # | |
Defined in IfaceSyn Methods rnf :: IfaceClassOp -> () Source # | |
| Outputable IfaceClassOp # | |
| Binary IfaceClassOp # | |
| HasOccName IfaceClassOp # | |
| NamedThing IfaceClassOp # | |
Defined in IfaceSyn | |
data IfaceConDecl Source #
Constructors
| IfCon | |
Fields
| |
Instances
| NFData IfaceConDecl # | |
Defined in IfaceSyn Methods rnf :: IfaceConDecl -> () Source # | |
| Binary IfaceConDecl # | |
| HasOccName IfaceConDecl # | |
| NamedThing IfaceConDecl # | |
Defined in IfaceSyn | |
data IfaceConDecls Source #
Constructors
| IfAbstractTyCon | |
| IfDataTyCon [IfaceConDecl] | |
| IfNewTyCon IfaceConDecl |
Instances
| NFData IfaceConDecls # | |
Defined in IfaceSyn Methods rnf :: IfaceConDecls -> () Source # | |
| Binary IfaceConDecls # | |
type IfaceEqSpec = [(IfLclName, IfaceType)] Source #
Constructors
data IfaceLetBndr Source #
Constructors
| IfLetBndr IfLclName IfaceType IfaceIdInfo IfaceJoinInfo |
Instances
| NFData IfaceLetBndr # | |
Defined in IfaceSyn Methods rnf :: IfaceLetBndr -> () Source # | |
| Binary IfaceLetBndr # | |
data IfaceJoinInfo Source #
Constructors
| IfaceNotJoinPoint | |
| IfaceJoinPoint JoinArity |
Instances
| NFData IfaceJoinInfo # | |
Defined in IfaceSyn Methods rnf :: IfaceJoinInfo -> () Source # | |
| Outputable IfaceJoinInfo # | |
| Binary IfaceJoinInfo # | |
data IfaceBinding Source #
Constructors
| IfaceNonRec IfaceLetBndr IfaceExpr | |
| IfaceRec [(IfaceLetBndr, IfaceExpr)] |
Instances
| NFData IfaceBinding # | |
Defined in IfaceSyn Methods rnf :: IfaceBinding -> () Source # | |
| Binary IfaceBinding # | |
data IfaceConAlt Source #
Constructors
| IfaceDefault | |
| IfaceDataAlt IfExtName | |
| IfaceLitAlt Literal |
Instances
| NFData IfaceConAlt # | |
Defined in IfaceSyn Methods rnf :: IfaceConAlt -> () Source # | |
| Outputable IfaceConAlt # | |
| Binary IfaceConAlt # | |
data IfaceIdInfo Source #
Constructors
| NoInfo | |
| HasInfo [IfaceInfoItem] |
Instances
| NFData IfaceIdInfo # | |
Defined in IfaceSyn Methods rnf :: IfaceIdInfo -> () Source # | |
| Outputable IfaceIdInfo # | |
| Binary IfaceIdInfo # | |
data IfaceIdDetails Source #
Constructors
| IfVanillaId | |
| IfRecSelId (Either IfaceTyCon IfaceDecl) Bool | |
| IfDFunId |
Instances
| NFData IfaceIdDetails # | |
Defined in IfaceSyn Methods rnf :: IfaceIdDetails -> () Source # | |
| Outputable IfaceIdDetails # | |
| Binary IfaceIdDetails # | |
data IfaceUnfolding Source #
Constructors
| IfCoreUnfold Bool IfaceExpr | |
| IfCompulsory IfaceExpr | |
| IfInlineRule Arity Bool Bool IfaceExpr | |
| IfDFunUnfold [IfaceBndr] [IfaceExpr] |
Instances
| NFData IfaceUnfolding # | |
Defined in IfaceSyn Methods rnf :: IfaceUnfolding -> () Source # | |
| Outputable IfaceUnfolding # | |
| Binary IfaceUnfolding # | |
data IfaceInfoItem Source #
Constructors
| HsArity Arity | |
| HsStrictness StrictSig | |
| HsInline InlinePragma | |
| HsUnfold Bool IfaceUnfolding | |
| HsNoCafRefs | |
| HsLevity |
Instances
| NFData IfaceInfoItem # | |
Defined in IfaceSyn Methods rnf :: IfaceInfoItem -> () Source # | |
| Outputable IfaceInfoItem # | |
| Binary IfaceInfoItem # | |
Constructors
| IfaceRule | |
Fields
| |
data IfaceAnnotation Source #
Constructors
| IfaceAnnotation | |
Fields | |
Instances
| NFData IfaceAnnotation # | |
Defined in IfaceSyn Methods rnf :: IfaceAnnotation -> () Source # | |
| Outputable IfaceAnnotation # | |
| Binary IfaceAnnotation # | |
type IfaceAnnTarget = AnnTarget OccName Source #
data IfaceClsInst Source #
Constructors
| IfaceClsInst | |
Fields
| |
Instances
| NFData IfaceClsInst # | |
Defined in IfaceSyn Methods rnf :: IfaceClsInst -> () Source # | |
| Outputable IfaceClsInst # | |
| Binary IfaceClsInst # | |
data IfaceFamInst Source #
Constructors
| IfaceFamInst | |
Fields | |
Instances
| NFData IfaceFamInst # | |
Defined in IfaceSyn Methods rnf :: IfaceFamInst -> () Source # | |
| Outputable IfaceFamInst # | |
| Binary IfaceFamInst # | |
data IfaceTickish Source #
Constructors
| IfaceHpcTick Module Int | |
| IfaceSCC CostCentre Bool Bool | |
| IfaceSource RealSrcSpan String |
Instances
| NFData IfaceTickish # | |
Defined in IfaceSyn Methods rnf :: IfaceTickish -> () Source # | |
| Binary IfaceTickish # | |
data IfaceClassBody Source #
Constructors
| IfAbstractClass | |
| IfConcreteClass | |
Fields
| |
Instances
| NFData IfaceClassBody # | |
Defined in IfaceSyn Methods rnf :: IfaceClassBody -> () Source # | |
This corresponds to an HsImplBang; that is, the final implementation decision about the data constructor arg
Constructors
| IfNoBang | |
| IfStrict | |
| IfUnpack | |
| IfUnpackCo IfaceCoercion |
data IfaceSrcBang Source #
This corresponds to HsSrcBang
Constructors
| IfSrcBang SrcUnpackedness SrcStrictness |
Instances
| NFData IfaceSrcBang # | |
Defined in IfaceSyn Methods rnf :: IfaceSrcBang -> () Source # | |
| Binary IfaceSrcBang # | |
data SrcUnpackedness Source #
Source Unpackedness
What unpackedness the user requested
Constructors
| SrcUnpack | {-# UNPACK #-} specified |
| SrcNoUnpack | {-# NOUNPACK #-} specified |
| NoSrcUnpack | no unpack pragma |
Instances
data SrcStrictness Source #
Source Strictness
What strictness annotation the user wrote
Constructors
| SrcLazy | Lazy, ie '~' |
| SrcStrict | Strict, ie |
| NoSrcStrict | no strictness annotation |
Instances
| Eq SrcStrictness # | |
Defined in DataCon Methods (==) :: SrcStrictness -> SrcStrictness -> Bool # (/=) :: SrcStrictness -> SrcStrictness -> Bool # | |
| Data SrcStrictness # | |
Defined in 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 # | |
| Outputable SrcStrictness # | |
| Binary SrcStrictness # | |
data IfaceAxBranch Source #
Constructors
| IfaceAxBranch | |
Fields
| |
Instances
| NFData IfaceAxBranch # | |
Defined in IfaceSyn Methods rnf :: IfaceAxBranch -> () Source # | |
| Binary IfaceAxBranch # | |
data IfaceTyConParent Source #
Constructors
| IfNoParent | |
| IfDataInstance IfExtName IfaceTyCon IfaceAppArgs |
Instances
| NFData IfaceTyConParent # | |
Defined in IfaceSyn Methods rnf :: IfaceTyConParent -> () Source # | |
| Outputable IfaceTyConParent # | |
| Binary IfaceTyConParent # | |
data IfaceCompleteMatch Source #
Constructors
| IfaceCompleteMatch [IfExtName] IfExtName |
Instances
| NFData IfaceCompleteMatch # | |
Defined in IfaceSyn Methods rnf :: IfaceCompleteMatch -> () Source # | |
| Outputable IfaceCompleteMatch # | |
| Binary IfaceCompleteMatch # | |
Binding names
type IfaceTopBndr = Name Source #
putIfaceTopBndr :: BinHandle -> IfaceTopBndr -> IO () Source #
ifaceDeclImplicitBndrs :: IfaceDecl -> [OccName] Source #
ifaceDeclFingerprints :: Fingerprint -> IfaceDecl -> [(OccName, Fingerprint)] Source #
freeNamesIfDecl :: IfaceDecl -> NameSet Source #
freeNamesIfRule :: IfaceRule -> NameSet Source #
pprIfaceExpr :: (SDoc -> SDoc) -> IfaceExpr -> SDoc Source #
Pretty Print an IfaceExpre
The first argument should be a function that adds parens in context that need an atomic value (e.g. function args)
Constructors
| ShowSub | |
Fields | |
data ShowHowMuch Source #
Constructors
| ShowHeader AltPpr | Header information only, not rhs |
| ShowSome [OccName] AltPpr | Show only some sub-components. Specifically,
|
| ShowIface | Everything including GHC-internal information (used in --show-iface) |