Safe Haskell	None
Language	GHC2024

Language.Haskell.Syntax.Lit

Description

Source-language literals

Synopsis

data HsLit x
- = HsChar (XHsChar x) Char
- | HsCharPrim (XHsCharPrim x) Char
- | HsString (XHsString x) FastString
- | HsStringPrim (XHsStringPrim x) !ByteString
- | HsNatural (XHsNatural x) IntegralLit
- | HsDouble (XHsDouble x) FractionalLit
- | HsInt (XHsInt x) IntegralLit
- | HsIntPrim (XHsIntPrim x) Integer
- | HsWordPrim (XHsWordPrim x) Integer
- | HsInt8Prim (XHsInt8Prim x) Integer
- | HsInt16Prim (XHsInt16Prim x) Integer
- | HsInt32Prim (XHsInt32Prim x) Integer
- | HsInt64Prim (XHsInt64Prim x) Integer
- | HsWord8Prim (XHsWord8Prim x) Integer
- | HsWord16Prim (XHsWord16Prim x) Integer
- | HsWord32Prim (XHsWord32Prim x) Integer
- | HsWord64Prim (XHsWord64Prim x) Integer
- | HsFloatPrim (XHsFloatPrim x) FractionalLit
- | HsDoublePrim (XHsDoublePrim x) FractionalLit
- | XLit !(XXLit x)
data HsOverLit p
- = OverLit {
  - ol_ext :: XOverLit p
  - ol_val :: OverLitVal
  }
- | XOverLit !(XXOverLit p)
data OverLitVal
- = HsIntegral !IntegralLit
- | HsFractional !FractionalLit
- | HsIsString !SourceText !FastString
data HsQualLit p
- = QualLit {
  - ql_ext :: !(XQualLit p)
  - ql_mod :: !ModuleName
  - ql_val :: !QualLitVal
  }
- | XQualLit !(XXQualLit p)
data QualLitVal = HsQualString !SourceText !FastString

Documentation

data HsLit x Source #

Haskell Literal

Constructors

HsChar (XHsChar x) Char	Character
HsCharPrim (XHsCharPrim x) Char	Unboxed character
HsString (XHsString x) FastString	String
HsStringPrim (XHsStringPrim x) !ByteString	Packed bytes
HsNatural (XHsNatural x) IntegralLit	Genuinely a `Natural`; used in types only
HsDouble (XHsDouble x) FractionalLit	Genuinely a `Double`; used in type errors only
HsInt (XHsInt x) IntegralLit	Genuinely an Int; arises from GHC.Tc.Deriv.Generate, and from TRANSLATION
HsIntPrim (XHsIntPrim x) Integer	literal `Int#`
HsWordPrim (XHsWordPrim x) Integer	literal `Word#`
HsInt8Prim (XHsInt8Prim x) Integer	literal `Int8#`
HsInt16Prim (XHsInt16Prim x) Integer	literal `Int16#`
HsInt32Prim (XHsInt32Prim x) Integer	literal `Int32#`
HsInt64Prim (XHsInt64Prim x) Integer	literal `Int64#`
HsWord8Prim (XHsWord8Prim x) Integer	literal `Word8#`
HsWord16Prim (XHsWord16Prim x) Integer	literal `Word16#`
HsWord32Prim (XHsWord32Prim x) Integer	literal `Word32#`
HsWord64Prim (XHsWord64Prim x) Integer	literal `Word64#`
HsFloatPrim (XHsFloatPrim x) FractionalLit	Unboxed Float
HsDoublePrim (XHsDoublePrim x) FractionalLit	Unboxed Double
XLit !(XXLit x)

Instances

Instances details

IsPass p => Outputable (HsLit (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Lit Methods ppr :: HsLit (GhcPass p) -> SDoc Source #
Eq (XXLit x) => Eq (HsLit x) Source #
Instance details Defined in Language.Haskell.Syntax.Lit Methods (==) :: HsLit x -> HsLit x -> Bool Source # (/=) :: HsLit x -> HsLit x -> Bool Source #
Data (HsLit GhcPs) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsLit GhcPs -> c (HsLit GhcPs) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsLit GhcPs) Source # toConstr :: HsLit GhcPs -> Constr Source # dataTypeOf :: HsLit GhcPs -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsLit GhcPs)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsLit GhcPs)) Source # gmapT :: (forall b. Data b => b -> b) -> HsLit GhcPs -> HsLit GhcPs Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsLit GhcPs -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsLit GhcPs -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HsLit GhcPs -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HsLit GhcPs -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsLit GhcPs -> m (HsLit GhcPs) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsLit GhcPs -> m (HsLit GhcPs) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsLit GhcPs -> m (HsLit GhcPs) Source #
Data (HsLit GhcRn) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsLit GhcRn -> c (HsLit GhcRn) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsLit GhcRn) Source # toConstr :: HsLit GhcRn -> Constr Source # dataTypeOf :: HsLit GhcRn -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsLit GhcRn)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsLit GhcRn)) Source # gmapT :: (forall b. Data b => b -> b) -> HsLit GhcRn -> HsLit GhcRn Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsLit GhcRn -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsLit GhcRn -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HsLit GhcRn -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HsLit GhcRn -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsLit GhcRn -> m (HsLit GhcRn) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsLit GhcRn -> m (HsLit GhcRn) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsLit GhcRn -> m (HsLit GhcRn) Source #
Data (HsLit GhcTc) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsLit GhcTc -> c (HsLit GhcTc) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsLit GhcTc) Source # toConstr :: HsLit GhcTc -> Constr Source # dataTypeOf :: HsLit GhcTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsLit GhcTc)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsLit GhcTc)) Source # gmapT :: (forall b. Data b => b -> b) -> HsLit GhcTc -> HsLit GhcTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsLit GhcTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsLit GhcTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HsLit GhcTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HsLit GhcTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsLit GhcTc -> m (HsLit GhcTc) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsLit GhcTc -> m (HsLit GhcTc) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsLit GhcTc -> m (HsLit GhcTc) Source #

data HsOverLit p Source #

Haskell Overloaded Literal

Constructors

OverLit
Fields ol_ext :: XOverLit p ol_val :: OverLitVal
XOverLit !(XXOverLit p)

Instances

Instances details

OutputableBndrId p => Outputable (HsOverLit (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Lit Methods ppr :: HsOverLit (GhcPass p) -> SDoc Source #
Eq (XXOverLit p) => Eq (HsOverLit p) Source #
Instance details Defined in GHC.Hs.Lit Methods (==) :: HsOverLit p -> HsOverLit p -> Bool Source # (/=) :: HsOverLit p -> HsOverLit p -> Bool Source #
Ord (XXOverLit p) => Ord (HsOverLit p) Source #
Instance details Defined in GHC.Hs.Lit Methods compare :: HsOverLit p -> HsOverLit p -> Ordering Source # (<) :: HsOverLit p -> HsOverLit p -> Bool Source # (<=) :: HsOverLit p -> HsOverLit p -> Bool Source # (>) :: HsOverLit p -> HsOverLit p -> Bool Source # (>=) :: HsOverLit p -> HsOverLit p -> Bool Source # max :: HsOverLit p -> HsOverLit p -> HsOverLit p Source # min :: HsOverLit p -> HsOverLit p -> HsOverLit p Source #
Data (HsOverLit GhcPs) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsOverLit GhcPs -> c (HsOverLit GhcPs) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsOverLit GhcPs) Source # toConstr :: HsOverLit GhcPs -> Constr Source # dataTypeOf :: HsOverLit GhcPs -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsOverLit GhcPs)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsOverLit GhcPs)) Source # gmapT :: (forall b. Data b => b -> b) -> HsOverLit GhcPs -> HsOverLit GhcPs Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsOverLit GhcPs -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsOverLit GhcPs -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HsOverLit GhcPs -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HsOverLit GhcPs -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsOverLit GhcPs -> m (HsOverLit GhcPs) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsOverLit GhcPs -> m (HsOverLit GhcPs) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsOverLit GhcPs -> m (HsOverLit GhcPs) Source #
Data (HsOverLit GhcRn) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsOverLit GhcRn -> c (HsOverLit GhcRn) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsOverLit GhcRn) Source # toConstr :: HsOverLit GhcRn -> Constr Source # dataTypeOf :: HsOverLit GhcRn -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsOverLit GhcRn)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsOverLit GhcRn)) Source # gmapT :: (forall b. Data b => b -> b) -> HsOverLit GhcRn -> HsOverLit GhcRn Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsOverLit GhcRn -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsOverLit GhcRn -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HsOverLit GhcRn -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HsOverLit GhcRn -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsOverLit GhcRn -> m (HsOverLit GhcRn) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsOverLit GhcRn -> m (HsOverLit GhcRn) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsOverLit GhcRn -> m (HsOverLit GhcRn) Source #
Data (HsOverLit GhcTc) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsOverLit GhcTc -> c (HsOverLit GhcTc) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsOverLit GhcTc) Source # toConstr :: HsOverLit GhcTc -> Constr Source # dataTypeOf :: HsOverLit GhcTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsOverLit GhcTc)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsOverLit GhcTc)) Source # gmapT :: (forall b. Data b => b -> b) -> HsOverLit GhcTc -> HsOverLit GhcTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsOverLit GhcTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsOverLit GhcTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HsOverLit GhcTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HsOverLit GhcTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsOverLit GhcTc -> m (HsOverLit GhcTc) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsOverLit GhcTc -> m (HsOverLit GhcTc) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsOverLit GhcTc -> m (HsOverLit GhcTc) Source #
type Anno (HsOverLit (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Pat type Anno (HsOverLit (GhcPass p)) = EpAnnCO

data OverLitVal Source #

Overloaded Literal Value

Constructors

HsIntegral !IntegralLit	Integer-looking literals;
HsFractional !FractionalLit	Frac-looking literals
HsIsString !SourceText !FastString	String-looking literals

Instances

Instances details

Outputable OverLitVal Source #
Instance details Defined in GHC.Hs.Lit Methods ppr :: OverLitVal -> SDoc Source #
Eq OverLitVal Source #
Instance details Defined in Language.Haskell.Syntax.Lit Methods (==) :: OverLitVal -> OverLitVal -> Bool Source # (/=) :: OverLitVal -> OverLitVal -> Bool Source #
Ord OverLitVal Source #
Instance details Defined in Language.Haskell.Syntax.Lit Methods compare :: OverLitVal -> OverLitVal -> Ordering Source # (<) :: OverLitVal -> OverLitVal -> Bool Source # (<=) :: OverLitVal -> OverLitVal -> Bool Source # (>) :: OverLitVal -> OverLitVal -> Bool Source # (>=) :: OverLitVal -> OverLitVal -> Bool Source # max :: OverLitVal -> OverLitVal -> OverLitVal Source # min :: OverLitVal -> OverLitVal -> OverLitVal Source #
Data OverLitVal Source #
Instance details Defined in Language.Haskell.Syntax.Lit Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OverLitVal -> c OverLitVal Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OverLitVal Source # toConstr :: OverLitVal -> Constr Source # dataTypeOf :: OverLitVal -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OverLitVal) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OverLitVal) Source # gmapT :: (forall b. Data b => b -> b) -> OverLitVal -> OverLitVal Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OverLitVal -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OverLitVal -> r Source # gmapQ :: (forall d. Data d => d -> u) -> OverLitVal -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> OverLitVal -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OverLitVal -> m OverLitVal Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OverLitVal -> m OverLitVal Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OverLitVal -> m OverLitVal Source #

data HsQualLit p Source #

Haskell Qualified Literal

Constructors

QualLit
Fields ql_ext :: !(XQualLit p) ql_mod :: !ModuleName ql_val :: !QualLitVal
XQualLit !(XXQualLit p)

Instances

Instances details

OutputableBndrId p => Outputable (HsQualLit (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Lit Methods ppr :: HsQualLit (GhcPass p) -> SDoc Source #
Eq (XXQualLit p) => Eq (HsQualLit p) Source #
Instance details Defined in Language.Haskell.Syntax.Lit Methods (==) :: HsQualLit p -> HsQualLit p -> Bool Source # (/=) :: HsQualLit p -> HsQualLit p -> Bool Source #
Ord (XXQualLit p) => Ord (HsQualLit p) Source #
Instance details Defined in Language.Haskell.Syntax.Lit Methods compare :: HsQualLit p -> HsQualLit p -> Ordering Source # (<) :: HsQualLit p -> HsQualLit p -> Bool Source # (<=) :: HsQualLit p -> HsQualLit p -> Bool Source # (>) :: HsQualLit p -> HsQualLit p -> Bool Source # (>=) :: HsQualLit p -> HsQualLit p -> Bool Source # max :: HsQualLit p -> HsQualLit p -> HsQualLit p Source # min :: HsQualLit p -> HsQualLit p -> HsQualLit p Source #
Data (HsQualLit GhcPs) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsQualLit GhcPs -> c (HsQualLit GhcPs) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsQualLit GhcPs) Source # toConstr :: HsQualLit GhcPs -> Constr Source # dataTypeOf :: HsQualLit GhcPs -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsQualLit GhcPs)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsQualLit GhcPs)) Source # gmapT :: (forall b. Data b => b -> b) -> HsQualLit GhcPs -> HsQualLit GhcPs Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsQualLit GhcPs -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsQualLit GhcPs -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HsQualLit GhcPs -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HsQualLit GhcPs -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsQualLit GhcPs -> m (HsQualLit GhcPs) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsQualLit GhcPs -> m (HsQualLit GhcPs) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsQualLit GhcPs -> m (HsQualLit GhcPs) Source #
Data (HsQualLit GhcRn) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsQualLit GhcRn -> c (HsQualLit GhcRn) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsQualLit GhcRn) Source # toConstr :: HsQualLit GhcRn -> Constr Source # dataTypeOf :: HsQualLit GhcRn -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsQualLit GhcRn)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsQualLit GhcRn)) Source # gmapT :: (forall b. Data b => b -> b) -> HsQualLit GhcRn -> HsQualLit GhcRn Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsQualLit GhcRn -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsQualLit GhcRn -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HsQualLit GhcRn -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HsQualLit GhcRn -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsQualLit GhcRn -> m (HsQualLit GhcRn) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsQualLit GhcRn -> m (HsQualLit GhcRn) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsQualLit GhcRn -> m (HsQualLit GhcRn) Source #
Data (HsQualLit GhcTc) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsQualLit GhcTc -> c (HsQualLit GhcTc) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (HsQualLit GhcTc) Source # toConstr :: HsQualLit GhcTc -> Constr Source # dataTypeOf :: HsQualLit GhcTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (HsQualLit GhcTc)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (HsQualLit GhcTc)) Source # gmapT :: (forall b. Data b => b -> b) -> HsQualLit GhcTc -> HsQualLit GhcTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsQualLit GhcTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsQualLit GhcTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> HsQualLit GhcTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> HsQualLit GhcTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsQualLit GhcTc -> m (HsQualLit GhcTc) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsQualLit GhcTc -> m (HsQualLit GhcTc) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsQualLit GhcTc -> m (HsQualLit GhcTc) Source #

data QualLitVal Source #

Constructors

HsQualString !SourceText !FastString

See Note [Implementation of QualifiedStrings]

Instances

Instances details

Outputable QualLitVal Source #
Instance details Defined in GHC.Hs.Lit Methods ppr :: QualLitVal -> SDoc Source #
Eq QualLitVal Source #
Instance details Defined in Language.Haskell.Syntax.Lit Methods (==) :: QualLitVal -> QualLitVal -> Bool Source # (/=) :: QualLitVal -> QualLitVal -> Bool Source #
Ord QualLitVal Source #
Instance details Defined in Language.Haskell.Syntax.Lit Methods compare :: QualLitVal -> QualLitVal -> Ordering Source # (<) :: QualLitVal -> QualLitVal -> Bool Source # (<=) :: QualLitVal -> QualLitVal -> Bool Source # (>) :: QualLitVal -> QualLitVal -> Bool Source # (>=) :: QualLitVal -> QualLitVal -> Bool Source # max :: QualLitVal -> QualLitVal -> QualLitVal Source # min :: QualLitVal -> QualLitVal -> QualLitVal Source #
Data QualLitVal Source #
Instance details Defined in Language.Haskell.Syntax.Lit Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QualLitVal -> c QualLitVal Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QualLitVal Source # toConstr :: QualLitVal -> Constr Source # dataTypeOf :: QualLitVal -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c QualLitVal) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QualLitVal) Source # gmapT :: (forall b. Data b => b -> b) -> QualLitVal -> QualLitVal Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QualLitVal -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QualLitVal -> r Source # gmapQ :: (forall d. Data d => d -> u) -> QualLitVal -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> QualLitVal -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QualLitVal -> m QualLitVal Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QualLitVal -> m QualLitVal Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QualLitVal -> m QualLitVal Source #