GHC.Hs.Lit

Source-language literals

Documentation

module Language.Haskell.Syntax.Lit

data OverLitRn

Constructors

OverLitRn

Fields

• ol_rebindable :: Bool
• ol_from_fun :: LIdP GhcRn

Instances

Data OverLitRn

Defined in GHC.Hs.Instances

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OverLitRn -> c OverLitRn

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OverLitRn

toConstr :: OverLitRn -> Constr

dataTypeOf :: OverLitRn -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OverLitRn)

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

gmapT :: (forall b. Data b => b -> b) -> OverLitRn -> OverLitRn

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OverLitRn -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OverLitRn -> r

gmapQ :: (forall d. Data d => d -> u) -> OverLitRn -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> OverLitRn -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OverLitRn -> m OverLitRn

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OverLitRn -> m OverLitRn

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OverLitRn -> m OverLitRn

data OverLitTc

Constructors

OverLitTc

Fields

• ol_rebindable :: Bool
• ol_witness :: HsExpr GhcTc
• ol_type :: Type

Instances

Data OverLitTc

Defined in GHC.Hs.Instances

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OverLitTc -> c OverLitTc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OverLitTc

toConstr :: OverLitTc -> Constr

dataTypeOf :: OverLitTc -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OverLitTc)

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

gmapT :: (forall b. Data b => b -> b) -> OverLitTc -> OverLitTc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OverLitTc -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OverLitTc -> r

gmapQ :: (forall d. Data d => d -> u) -> OverLitTc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> OverLitTc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OverLitTc -> m OverLitTc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OverLitTc -> m OverLitTc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OverLitTc -> m OverLitTc

pprXOverLit :: forall (p :: Pass). GhcPass p -> XOverLit (GhcPass p) -> SDoc

overLitType :: HsOverLit GhcTc -> Type

hsOverLitNeedsParens :: PprPrec -> HsOverLit x -> Bool

hsOverLitNeedsParens p ol returns True if an overloaded literal ol needs to be parenthesized under precedence p.

hsLitNeedsParens :: PprPrec -> HsLit x -> Bool

hsLitNeedsParens p l returns True if a literal l needs to be parenthesized under precedence p.

See Note [Printing of literals in Core] in GHC.Types.Literal for the reasoning.

convertLit :: forall (p1 :: Pass) (p2 :: Pass). HsLit (GhcPass p1) -> HsLit (GhcPass p2)

Convert a literal from one index type to another

pmPprHsLit :: forall (x :: Pass). HsLit (GhcPass x) -> SDoc

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

Orphan instances

Outputable OverLitVal

Methods

ppr :: OverLitVal -> SDoc

Outputable (HsLit (GhcPass p))

Methods

ppr :: HsLit (GhcPass p) -> SDoc

OutputableBndrId p => Outputable (HsOverLit (GhcPass p))

Methods

ppr :: HsOverLit (GhcPass p) -> SDoc