Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
coreToStg_platform :: CoreToStgOpts -> Platformghc GHC.CoreToStg No documentation available.
cp_platform :: CorePrepConfig -> Platformghc GHC.CoreToStg.Prep No documentation available.
module GHC.Data.
BooleanFormula Boolean formulas without quantifiers and without negation. Such a formula consists of variables, conjunctions (and), and disjunctions (or). This module is used to represent minimal complete definitions for classes.
-
ghc GHC.Data.BooleanFormula No documentation available.
type
LBooleanFormula a = LocatedL BooleanFormula aghc GHC.Data.BooleanFormula No documentation available.
pprBooleanFormula :: (Rational -> a -> SDoc) -> Rational -> BooleanFormula a -> SDocghc GHC.Data.BooleanFormula No documentation available.
pprBooleanFormulaNice :: Outputable a => BooleanFormula a -> SDocghc GHC.Data.BooleanFormula No documentation available.
bidirectionalFormatChars :: [(Char, String)]ghc GHC.Data.StringBuffer No documentation available.
containsBidirectionalFormatChar :: StringBuffer -> Boolghc GHC.Data.StringBuffer Returns true if the buffer contains Unicode bi-directional formatting characters. https://www.unicode.org/reports/tr9/#Bidirectional_Character_Types Bidirectional format characters are one of 'x202a' : "U+202A LEFT-TO-RIGHT EMBEDDING (LRE)" 'x202b' : "U+202B RIGHT-TO-LEFT EMBEDDING (RLE)" 'x202c' : "U+202C POP DIRECTIONAL FORMATTING (PDF)" 'x202d' : "U+202D LEFT-TO-RIGHT OVERRIDE (LRO)" 'x202e' : "U+202E RIGHT-TO-LEFT OVERRIDE (RLO)" 'x2066' : "U+2066 LEFT-TO-RIGHT ISOLATE (LRI)" 'x2067' : "U+2067 RIGHT-TO-LEFT ISOLATE (RLI)" 'x2068' : "U+2068 FIRST STRONG ISOLATE (FSI)" 'x2069' : "U+2069 POP DIRECTIONAL ISOLATE (PDI)" This list is encoded in bidirectionalFormatChars
backendForcesOptimization0 :: Backend -> Boolghc GHC.Driver.Backend If this flag is set, then the driver forces the optimization level to 0, issuing a warning message if the command line requested a higher optimization level.