GHC.Hs.Lit

ghc-9.2.6: The GHC API

Safe Haskell | Safe-Inferred
Language | Haskell2010

GHC.Hs.Lit

Contents

- Orphan instances

Description

Source-language literals

Synopsis

- module Language.Haskell.Syntax.Lit
- convertLit :: HsLit (GhcPass p1) -> HsLit (GhcPass p2)
- overLitType :: HsOverLit GhcTc -> Type
- pmPprHsLit :: HsLit (GhcPass x) -> SDoc
- pp_st_suffix :: SourceText -> SDoc -> SDoc -> SDoc
- data OverLitTc = OverLitTc {
  - ol_rebindable :: Bool
  - ol_type :: Type
  }

# Documentation

module Language.Haskell.Syntax.Lit

convertLit :: HsLit (GhcPass p1) -> HsLit (GhcPass p2) Source #

Convert a literal from one index type to another

overLitType :: HsOverLit GhcTc -> Type Source #

pmPprHsLit :: HsLit (GhcPass x) -> SDoc Source #

pmPprHsLit pretty prints literals and is used when pretty printing pattern match warnings. All are printed the same (i.e., without hashes if they are primitive and not wrapped in constructors if they are boxed). This happens mainly for too reasons: * We do not want to expose their internal representation * The warnings become too messy

pp_st_suffix :: SourceText -> SDoc -> SDoc -> SDoc Source #

data OverLitTc Source #

Constructors

OverLitTc |
Fields ol_rebindable :: Bool ol_type :: Type

#### Instances

Instances details

Data OverLitTc Source # |
Instance details Defined in GHC.Hs.Lit Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OverLitTc -> c OverLitTc Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OverLitTc Source # toConstr :: OverLitTc -> Constr Source # dataTypeOf :: OverLitTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OverLitTc) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OverLitTc) Source # gmapT :: (forall b. Data b => b -> b) -> OverLitTc -> OverLitTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OverLitTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OverLitTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> OverLitTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> OverLitTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OverLitTc -> m OverLitTc Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OverLitTc -> m OverLitTc Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OverLitTc -> m OverLitTc Source #

# Orphan instances

Outputable (HsLit (GhcPass p)) Source # |
Instance details Methods ppr :: HsLit (GhcPass p) -> SDoc Source #
OutputableBndrId p => Outputable (HsOverLit (GhcPass p)) Source # |
Instance details Methods ppr :: HsOverLit (GhcPass p) -> SDoc Source #