Safe Haskell | None |
---|---|
Language | GHC2021 |
GHC.Tc.Types.TH
Synopsis
- data SpliceType
- data SpliceOrBracket
- data ThLevel where
- Splice SpliceType ThLevel
- RunSplice (TcRef [ForeignRef (Q ())])
- Comp
- Brack ThLevel PendingStuff
- pattern TypedBrack :: ThLevel -> ThLevel
- pattern UntypedBrack :: ThLevel -> TcRef [PendingRnSplice] -> ThLevel
- data PendingStuff
- data ThLevelIndex
- topLevel :: ThLevel
- topAnnLevel :: ThLevel
- topSpliceLevel :: ThLevel
- thLevelIndex :: ThLevel -> ThLevelIndex
- topLevelIndex :: ThLevelIndex
- spliceLevelIndex :: ThLevelIndex
- quoteLevelIndex :: ThLevelIndex
- thLevelIndexFromImportLevel :: ImportLevel -> ThLevelIndex
Documentation
data SpliceType Source #
data SpliceOrBracket Source #
Constructors
Splice SpliceType ThLevel | |
RunSplice (TcRef [ForeignRef (Q ())]) | |
Comp | |
Brack ThLevel PendingStuff |
Bundled Patterns
pattern TypedBrack :: ThLevel -> ThLevel | |
pattern UntypedBrack :: ThLevel -> TcRef [PendingRnSplice] -> ThLevel |
Instances
data PendingStuff Source #
Constructors
RnPending (TcRef [PendingRnSplice]) | |
RnPendingTyped | |
TcPending (TcRef [PendingTcSplice]) (TcRef WantedConstraints) QuoteWrapper |
data ThLevelIndex Source #
The integer which represents the level
Instances
thLevelIndex :: ThLevel -> ThLevelIndex Source #
thLevelIndexFromImportLevel :: ImportLevel -> ThLevelIndex Source #
Convert a ImportLevel
to a ThLevelIndex