Safe Haskell	None
Language	Haskell2010

HsExtension

Synopsis

data GhcPass (c :: Pass)
data Pass
- = Parsed
- | Renamed
- | Typechecked
type GhcPs = GhcPass Parsed
type GhcRn = GhcPass Renamed
type GhcTc = GhcPass Typechecked
type GhcTcId = GhcTc
type family PostTc x ty
type family PostRn x ty
type family IdP p
type family XHsChar x
type family XHsCharPrim x
type family XHsString x
type family XHsStringPrim x
type family XHsInt x
type family XHsIntPrim x
type family XHsWordPrim x
type family XHsInt64Prim x
type family XHsWord64Prim x
type family XHsInteger x
type family XHsRat x
type family XHsFloatPrim x
type family XHsDoublePrim x
type ForallX (c :: * -> Constraint) (x :: *) = (c (XHsChar x), c (XHsCharPrim x), c (XHsString x), c (XHsStringPrim x), c (XHsInt x), c (XHsIntPrim x), c (XHsWordPrim x), c (XHsInt64Prim x), c (XHsWord64Prim x), c (XHsInteger x), c (XHsRat x), c (XHsFloatPrim x), c (XHsDoublePrim x))
class HasSourceText a where
type SourceTextX x = (HasSourceText (XHsChar x), HasSourceText (XHsCharPrim x), HasSourceText (XHsString x), HasSourceText (XHsStringPrim x), HasSourceText (XHsIntPrim x), HasSourceText (XHsWordPrim x), HasSourceText (XHsInt64Prim x), HasSourceText (XHsWord64Prim x), HasSourceText (XHsInteger x))
class HasDefault a where
type HasDefaultX x = ForallX HasDefault x
class Convertable a b | a -> b where
type ConvertIdX a b = (XHsDoublePrim a ~ XHsDoublePrim b, XHsFloatPrim a ~ XHsFloatPrim b, XHsRat a ~ XHsRat b, XHsInteger a ~ XHsInteger b, XHsWord64Prim a ~ XHsWord64Prim b, XHsInt64Prim a ~ XHsInt64Prim b, XHsWordPrim a ~ XHsWordPrim b, XHsIntPrim a ~ XHsIntPrim b, XHsInt a ~ XHsInt b, XHsStringPrim a ~ XHsStringPrim b, XHsString a ~ XHsString b, XHsCharPrim a ~ XHsCharPrim b, XHsChar a ~ XHsChar b)
type DataId p = (Data p, ForallX Data p, Data (NameOrRdrName (IdP p)), Data (IdP p), Data (PostRn p (IdP p)), Data (PostRn p (Located Name)), Data (PostRn p Bool), Data (PostRn p Fixity), Data (PostRn p NameSet), Data (PostRn p [Name]), Data (PostTc p (IdP p)), Data (PostTc p Coercion), Data (PostTc p ConLike), Data (PostTc p HsWrapper), Data (PostTc p Type), Data (PostTc p [ConLike]), Data (PostTc p [Type]))
type OutputableBndrId id = (OutputableBndr (NameOrRdrName (IdP id)), OutputableBndr (IdP id))

Documentation

data GhcPass (c :: Pass) Source #

Used as a data type index for the hsSyn AST

Instances

Eq (GhcPass c) Source #
Instance details Methods (==) :: GhcPass c -> GhcPass c -> Bool # (/=) :: GhcPass c -> GhcPass c -> Bool #
Typeable c => Data (GhcPass c) Source #
Instance details Methods gfoldl :: (forall d b. Data d => c0 (d -> b) -> d -> c0 b) -> (forall g. g -> c0 g) -> GhcPass c -> c0 (GhcPass c) Source # gunfold :: (forall b r. Data b => c0 (b -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (GhcPass c) Source # toConstr :: GhcPass c -> Constr Source # dataTypeOf :: GhcPass c -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> Maybe (c0 (GhcPass c)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Maybe (c0 (GhcPass c)) Source # gmapT :: (forall b. Data b => b -> b) -> GhcPass c -> GhcPass c Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GhcPass c -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GhcPass c -> r Source # gmapQ :: (forall d. Data d => d -> u) -> GhcPass c -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> GhcPass c -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> GhcPass c -> m (GhcPass c) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GhcPass c -> m (GhcPass c) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GhcPass c -> m (GhcPass c) Source #
type XHsDoublePrim GhcTc Source #
Instance details type XHsDoublePrim GhcTc = ()
type XHsDoublePrim GhcRn Source #
Instance details type XHsDoublePrim GhcRn = ()
type XHsDoublePrim GhcPs Source #
Instance details type XHsDoublePrim GhcPs = ()
type XHsFloatPrim GhcTc Source #
Instance details type XHsFloatPrim GhcTc = ()
type XHsFloatPrim GhcRn Source #
Instance details type XHsFloatPrim GhcRn = ()
type XHsFloatPrim GhcPs Source #
Instance details type XHsFloatPrim GhcPs = ()
type XHsRat GhcTc Source #
Instance details type XHsRat GhcTc = ()
type XHsRat GhcRn Source #
Instance details type XHsRat GhcRn = ()
type XHsRat GhcPs Source #
Instance details type XHsRat GhcPs = ()
type XHsInteger GhcTc Source #
Instance details type XHsInteger GhcTc = SourceText
type XHsInteger GhcRn Source #
Instance details type XHsInteger GhcRn = SourceText
type XHsInteger GhcPs Source #
Instance details type XHsInteger GhcPs = SourceText
type XHsWord64Prim GhcTc Source #
Instance details type XHsWord64Prim GhcTc = SourceText
type XHsWord64Prim GhcRn Source #
Instance details type XHsWord64Prim GhcRn = SourceText
type XHsWord64Prim GhcPs Source #
Instance details type XHsWord64Prim GhcPs = SourceText
type XHsInt64Prim GhcTc Source #
Instance details type XHsInt64Prim GhcTc = SourceText
type XHsInt64Prim GhcRn Source #
Instance details type XHsInt64Prim GhcRn = SourceText
type XHsInt64Prim GhcPs Source #
Instance details type XHsInt64Prim GhcPs = SourceText
type XHsWordPrim GhcTc Source #
Instance details type XHsWordPrim GhcTc = SourceText
type XHsWordPrim GhcRn Source #
Instance details type XHsWordPrim GhcRn = SourceText
type XHsWordPrim GhcPs Source #
Instance details type XHsWordPrim GhcPs = SourceText
type XHsIntPrim GhcTc Source #
Instance details type XHsIntPrim GhcTc = SourceText
type XHsIntPrim GhcRn Source #
Instance details type XHsIntPrim GhcRn = SourceText
type XHsIntPrim GhcPs Source #
Instance details type XHsIntPrim GhcPs = SourceText
type XHsInt GhcTc Source #
Instance details type XHsInt GhcTc = ()
type XHsInt GhcRn Source #
Instance details type XHsInt GhcRn = ()
type XHsInt GhcPs Source #
Instance details type XHsInt GhcPs = ()
type XHsStringPrim GhcTc Source #
Instance details type XHsStringPrim GhcTc = SourceText
type XHsStringPrim GhcRn Source #
Instance details type XHsStringPrim GhcRn = SourceText
type XHsStringPrim GhcPs Source #
Instance details type XHsStringPrim GhcPs = SourceText
type XHsString GhcTc Source #
Instance details type XHsString GhcTc = SourceText
type XHsString GhcRn Source #
Instance details type XHsString GhcRn = SourceText
type XHsString GhcPs Source #
Instance details type XHsString GhcPs = SourceText
type XHsCharPrim GhcTc Source #
Instance details type XHsCharPrim GhcTc = SourceText
type XHsCharPrim GhcRn Source #
Instance details type XHsCharPrim GhcRn = SourceText
type XHsCharPrim GhcPs Source #
Instance details type XHsCharPrim GhcPs = SourceText
type XHsChar GhcTc Source #
Instance details type XHsChar GhcTc = SourceText
type XHsChar GhcRn Source #
Instance details type XHsChar GhcRn = SourceText
type XHsChar GhcPs Source #
Instance details type XHsChar GhcPs = SourceText
type IdP GhcTc Source #
Instance details type IdP GhcTc = Id
type IdP GhcRn Source #
Instance details type IdP GhcRn = Name
type IdP GhcPs Source #
Instance details type IdP GhcPs = RdrName
type PostRn GhcTc ty Source #
Instance details type PostRn GhcTc ty = ty
type PostRn GhcRn ty Source #
Instance details type PostRn GhcRn ty = ty
type PostRn GhcPs ty Source #
Instance details type PostRn GhcPs ty = PlaceHolder
type PostTc GhcTc ty Source #
Instance details type PostTc GhcTc ty = ty
type PostTc GhcRn ty Source #
Instance details type PostTc GhcRn ty = PlaceHolder
type PostTc GhcPs ty Source #
Instance details type PostTc GhcPs ty = PlaceHolder

data Pass Source #

Constructors

Parsed
Renamed
Typechecked

Instances

Data Pass Source #

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pass -> c Pass Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pass Source #

toConstr :: Pass -> Constr Source #

dataTypeOf :: Pass -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pass) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Pass -> Pass Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pass -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pass -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Pass -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pass -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pass -> m Pass Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pass -> m Pass Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pass -> m Pass Source #

type GhcPs = GhcPass Parsed Source #

type GhcRn = GhcPass Renamed Source #

type GhcTc = GhcPass Typechecked Source #

type GhcTcId = GhcTc Source #

type family PostTc x ty Source #

Types that are not defined until after type checking

Instances

type PostTc GhcTc ty Source #
Instance details type PostTc GhcTc ty = ty
type PostTc GhcRn ty Source #
Instance details type PostTc GhcRn ty = PlaceHolder
type PostTc GhcPs ty Source #
Instance details type PostTc GhcPs ty = PlaceHolder

type family PostRn x ty Source #

Types that are not defined until after renaming

Instances

type PostRn GhcTc ty Source #
Instance details type PostRn GhcTc ty = ty
type PostRn GhcRn ty Source #
Instance details type PostRn GhcRn ty = ty
type PostRn GhcPs ty Source #
Instance details type PostRn GhcPs ty = PlaceHolder

type family IdP p Source #

Maps the "normal" id type for a given pass

Instances

type IdP GhcTc Source #
Instance details type IdP GhcTc = Id
type IdP GhcRn Source #
Instance details type IdP GhcRn = Name
type IdP GhcPs Source #
Instance details type IdP GhcPs = RdrName

type family XHsChar x Source #

Instances

type XHsChar GhcTc Source #
Instance details type XHsChar GhcTc = SourceText
type XHsChar GhcRn Source #
Instance details type XHsChar GhcRn = SourceText
type XHsChar GhcPs Source #
Instance details type XHsChar GhcPs = SourceText

type family XHsCharPrim x Source #

Instances

type XHsCharPrim GhcTc Source #
Instance details type XHsCharPrim GhcTc = SourceText
type XHsCharPrim GhcRn Source #
Instance details type XHsCharPrim GhcRn = SourceText
type XHsCharPrim GhcPs Source #
Instance details type XHsCharPrim GhcPs = SourceText

type family XHsString x Source #

Instances

type XHsString GhcTc Source #
Instance details type XHsString GhcTc = SourceText
type XHsString GhcRn Source #
Instance details type XHsString GhcRn = SourceText
type XHsString GhcPs Source #
Instance details type XHsString GhcPs = SourceText

type family XHsStringPrim x Source #

Instances

type XHsStringPrim GhcTc Source #
Instance details type XHsStringPrim GhcTc = SourceText
type XHsStringPrim GhcRn Source #
Instance details type XHsStringPrim GhcRn = SourceText
type XHsStringPrim GhcPs Source #
Instance details type XHsStringPrim GhcPs = SourceText

type family XHsInt x Source #

Instances

type XHsInt GhcTc Source #
Instance details type XHsInt GhcTc = ()
type XHsInt GhcRn Source #
Instance details type XHsInt GhcRn = ()
type XHsInt GhcPs Source #
Instance details type XHsInt GhcPs = ()

type family XHsIntPrim x Source #

Instances

type XHsIntPrim GhcTc Source #
Instance details type XHsIntPrim GhcTc = SourceText
type XHsIntPrim GhcRn Source #
Instance details type XHsIntPrim GhcRn = SourceText
type XHsIntPrim GhcPs Source #
Instance details type XHsIntPrim GhcPs = SourceText

type family XHsWordPrim x Source #

Instances

type XHsWordPrim GhcTc Source #
Instance details type XHsWordPrim GhcTc = SourceText
type XHsWordPrim GhcRn Source #
Instance details type XHsWordPrim GhcRn = SourceText
type XHsWordPrim GhcPs Source #
Instance details type XHsWordPrim GhcPs = SourceText

type family XHsInt64Prim x Source #

Instances

type XHsInt64Prim GhcTc Source #
Instance details type XHsInt64Prim GhcTc = SourceText
type XHsInt64Prim GhcRn Source #
Instance details type XHsInt64Prim GhcRn = SourceText
type XHsInt64Prim GhcPs Source #
Instance details type XHsInt64Prim GhcPs = SourceText

type family XHsWord64Prim x Source #

Instances

type XHsWord64Prim GhcTc Source #
Instance details type XHsWord64Prim GhcTc = SourceText
type XHsWord64Prim GhcRn Source #
Instance details type XHsWord64Prim GhcRn = SourceText
type XHsWord64Prim GhcPs Source #
Instance details type XHsWord64Prim GhcPs = SourceText

type family XHsInteger x Source #

Instances

type XHsInteger GhcTc Source #
Instance details type XHsInteger GhcTc = SourceText
type XHsInteger GhcRn Source #
Instance details type XHsInteger GhcRn = SourceText
type XHsInteger GhcPs Source #
Instance details type XHsInteger GhcPs = SourceText

type family XHsRat x Source #

Instances

type XHsRat GhcTc Source #
Instance details type XHsRat GhcTc = ()
type XHsRat GhcRn Source #
Instance details type XHsRat GhcRn = ()
type XHsRat GhcPs Source #
Instance details type XHsRat GhcPs = ()

type family XHsFloatPrim x Source #

Instances

type XHsFloatPrim GhcTc Source #
Instance details type XHsFloatPrim GhcTc = ()
type XHsFloatPrim GhcRn Source #
Instance details type XHsFloatPrim GhcRn = ()
type XHsFloatPrim GhcPs Source #
Instance details type XHsFloatPrim GhcPs = ()

type family XHsDoublePrim x Source #

Instances

type XHsDoublePrim GhcTc Source #
Instance details type XHsDoublePrim GhcTc = ()
type XHsDoublePrim GhcRn Source #
Instance details type XHsDoublePrim GhcRn = ()
type XHsDoublePrim GhcPs Source #
Instance details type XHsDoublePrim GhcPs = ()

type ForallX (c :: * -> Constraint) (x :: *) = (c (XHsChar x), c (XHsCharPrim x), c (XHsString x), c (XHsStringPrim x), c (XHsInt x), c (XHsIntPrim x), c (XHsWordPrim x), c (XHsInt64Prim x), c (XHsWord64Prim x), c (XHsInteger x), c (XHsRat x), c (XHsFloatPrim x), c (XHsDoublePrim x)) Source #

Helper to apply a constraint to all extension points. It has one entry per extension point type family.

class HasSourceText a where Source #

The SourceText fields have been moved into the extension fields, thus placing a requirement in the extension field to contain a SourceText so that the pretty printing and round tripping of source can continue to operate.

The HasSourceText class captures this requirement for the relevant fields.

Minimal complete definition

noSourceText, sourceText, setSourceText, getSourceText

Methods

noSourceText :: a Source #

sourceText :: String -> a Source #

setSourceText :: SourceText -> a Source #

getSourceText :: a -> SourceText Source #

Instances

HasSourceText SourceText Source #	`SourceText` trivially implements `HasSourceText`
Instance details Methods noSourceText :: SourceText Source # sourceText :: String -> SourceText Source # setSourceText :: SourceText -> SourceText Source # getSourceText :: SourceText -> SourceText Source #

type SourceTextX x = (HasSourceText (XHsChar x), HasSourceText (XHsCharPrim x), HasSourceText (XHsString x), HasSourceText (XHsStringPrim x), HasSourceText (XHsIntPrim x), HasSourceText (XHsWordPrim x), HasSourceText (XHsInt64Prim x), HasSourceText (XHsWord64Prim x), HasSourceText (XHsInteger x)) Source #

Provide a summary constraint that lists all the extension points requiring the HasSourceText class, so that it can be changed in one place as the named extensions change throughout the AST.

class HasDefault a where Source #

Defaults for each annotation, used to simplify creation in arbitrary contexts

Minimal complete definition

def

Methods

def :: a Source #

Instances

HasDefault () Source #
Instance details Methods def :: () Source #
HasDefault SourceText Source #
Instance details Methods def :: SourceText Source #

type HasDefaultX x = ForallX HasDefault x Source #

Provide a single constraint that captures the requirement for a default across all the extension points.

class Convertable a b | a -> b where Source #

Conversion of annotations from one type index to another. This is required where the AST is converted from one pass to another, and the extension values need to be brought along if possible. So for example a SourceText is converted via id, but needs a type signature to keep the type checker happy.

Minimal complete definition

convert

Methods

convert :: a -> b Source #

Instances

Convertable a a Source #
Instance details Methods convert :: a -> a Source #

type ConvertIdX a b = (XHsDoublePrim a ~ XHsDoublePrim b, XHsFloatPrim a ~ XHsFloatPrim b, XHsRat a ~ XHsRat b, XHsInteger a ~ XHsInteger b, XHsWord64Prim a ~ XHsWord64Prim b, XHsInt64Prim a ~ XHsInt64Prim b, XHsWordPrim a ~ XHsWordPrim b, XHsIntPrim a ~ XHsIntPrim b, XHsInt a ~ XHsInt b, XHsStringPrim a ~ XHsStringPrim b, XHsString a ~ XHsString b, XHsCharPrim a ~ XHsCharPrim b, XHsChar a ~ XHsChar b) Source #

A constraint capturing all the extension points that can be converted via instance Convertable a a

type DataId p = (Data p, ForallX Data p, Data (NameOrRdrName (IdP p)), Data (IdP p), Data (PostRn p (IdP p)), Data (PostRn p (Located Name)), Data (PostRn p Bool), Data (PostRn p Fixity), Data (PostRn p NameSet), Data (PostRn p [Name]), Data (PostTc p (IdP p)), Data (PostTc p Coercion), Data (PostTc p ConLike), Data (PostTc p HsWrapper), Data (PostTc p Type), Data (PostTc p [ConLike]), Data (PostTc p [Type])) Source #

type OutputableBndrId id = (OutputableBndr (NameOrRdrName (IdP id)), OutputableBndr (IdP id)) Source #

Constraint type to bundle up the requirement for OutputableBndr on both the id and the NameOrRdrName type for it