Safe Haskell	None
Language	Haskell2010

GhcDump.Ast

Synopsis

data Unique = Unique !Char !Int
data ExternalName
- = ExternalName {
  - externalModuleName :: !ModuleName
  - externalName :: !Text
  - externalUnique :: !Unique
  }
- | ForeignCall
newtype BinderId = BinderId Unique
newtype SBinder = SBndr {
- unSBndr :: Binder' SBinder BinderId
}
newtype Binder = Bndr {
- unBndr :: Binder' Binder Binder
}
binderUniqueName :: Binder -> Text
data Binder' bndr var
- = Binder {
  - binderName :: !Text
  - binderId :: !BinderId
  - binderIdInfo :: IdInfo bndr var
  - binderIdDetails :: IdDetails
  - binderType :: Type' bndr var
  }
- | TyBinder {
  - binderName :: !Text
  - binderId :: !BinderId
  - binderKind :: Type' bndr var
  }
data IdInfo bndr var = IdInfo {
- idiArity :: !Int
- idiIsOneShot :: Bool
- idiUnfolding :: Unfolding bndr var
- idiInlinePragma :: !Text
- idiOccInfo :: OccInfo
- idiStrictnessSig :: !Text
- idiDemandSig :: !Text
- idiCallArity :: !Int
}
data Unfolding bndr var
- = NoUnfolding
- | BootUnfolding
- | OtherCon [AltCon]
- | DFunUnfolding
- | CoreUnfolding {
  - unfTemplate :: Expr' bndr var
  - unfIsValue :: Bool
  - unfIsConLike :: Bool
  - unfIsWorkFree :: Bool
  - unfGuidance :: Text
  }
data OccInfo
- = OccManyOccs
- | OccDead
- | OccOneOcc
- | OccLoopBreaker {
  - occStrongLoopBreaker :: Bool
  }
data IdDetails
- = VanillaId
- | RecSelId
- | DataConWorkId
- | DataConWrapId
- | ClassOpId
- | PrimOpId
- | TickBoxOpId
- | DFunId
- | CoVarId
- | JoinId {
  - joinIdArity :: !Int
  }
data Lit
- = MachChar Char
- | MachStr ByteString
- | MachNullAddr
- | MachInt Integer
- | MachInt64 Integer
- | MachWord Integer
- | MachWord64 Integer
- | MachFloat Rational
- | MachDouble Rational
- | MachLabel Text
- | LitInteger Integer
- | LitNatural Integer
data TyCon = TyCon !Text !Unique
type SType = Type' SBinder BinderId
type Type = Type' Binder Binder
data Type' bndr var
- = VarTy var
- | FunTy (Type' bndr var) (Type' bndr var)
- | TyConApp TyCon [Type' bndr var]
- | AppTy (Type' bndr var) (Type' bndr var)
- | ForAllTy bndr (Type' bndr var)
- | LitTy
- | CoercionTy
newtype ModuleName = ModuleName {
- getModuleName :: Text
}
type Module = Module' Binder Binder
type SModule = Module' SBinder BinderId
data Module' bndr var = Module {
- moduleName :: ModuleName
- modulePhase :: Text
- moduleTopBindings :: [TopBinding' bndr var]
}
moduleBindings :: Module' bndr var -> [(bndr, CoreStats, Expr' bndr var)]
type SExpr = Expr' SBinder BinderId
type Expr = Expr' Binder Binder
data Expr' bndr var
- = EVar var
- | EVarGlobal ExternalName
- | ELit Lit
- | EApp (Expr' bndr var) (Expr' bndr var)
- | ETyLam bndr (Expr' bndr var)
- | ELam bndr (Expr' bndr var)
- | ELet [(bndr, Expr' bndr var)] (Expr' bndr var)
- | ECase (Expr' bndr var) bndr [Alt' bndr var]
- | EType (Type' bndr var)
- | ECoercion
type SAlt = Alt' SBinder BinderId
type Alt = Alt' Binder Binder
data Alt' bndr var = Alt {
- altCon :: !AltCon
- altBinders :: [bndr]
- altRHS :: Expr' bndr var
}
data AltCon
- = AltDataCon !Text
- | AltLit Lit
- | AltDefault
type STopBinding = TopBinding' SBinder BinderId
type TopBinding = TopBinding' Binder Binder
data TopBinding' bndr var
- = NonRecTopBinding bndr CoreStats (Expr' bndr var)
- | RecTopBinding [(bndr, CoreStats, Expr' bndr var)]
topBindings :: TopBinding' bndr var -> [(bndr, CoreStats, Expr' bndr var)]
data CoreStats = CoreStats {
- csTerms :: !Int
- csTypes :: !Int
- csCoercions :: !Int
- csValBinds :: !Int
- csJoinBinds :: !Int
}

Documentation

data Unique Source #

Constructors

Unique !Char !Int

Instances

Eq Unique Source #
Instance details Defined in GhcDump.Ast Methods (==) :: Unique -> Unique -> Bool # (/=) :: Unique -> Unique -> Bool #
Ord Unique Source #
Instance details Defined in GhcDump.Ast Methods compare :: Unique -> Unique -> Ordering # (<) :: Unique -> Unique -> Bool # (<=) :: Unique -> Unique -> Bool # (>) :: Unique -> Unique -> Bool # (>=) :: Unique -> Unique -> Bool # max :: Unique -> Unique -> Unique # min :: Unique -> Unique -> Unique #
Show Unique Source #	This is dependent upon GHC
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> Unique -> ShowS # show :: Unique -> String # showList :: [Unique] -> ShowS #
Generic Unique Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep Unique :: Type -> Type # Methods from :: Unique -> Rep Unique x # to :: Rep Unique x -> Unique #
Serialise Unique Source #
Instance details Defined in GhcDump.Ast Methods encode :: Unique -> Encoding # decode :: Decoder s Unique # encodeList :: [Unique] -> Encoding # decodeList :: Decoder s [Unique] #
type Rep Unique Source #
Instance details Defined in GhcDump.Ast type Rep Unique = D1 (MetaData "Unique" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (C1 (MetaCons "Unique" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Char) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)))

data ExternalName Source #

Constructors

ExternalName
Fields externalModuleName :: !ModuleName externalName :: !Text externalUnique :: !Unique
ForeignCall

Instances

Eq ExternalName Source #
Instance details Defined in GhcDump.Ast Methods (==) :: ExternalName -> ExternalName -> Bool # (/=) :: ExternalName -> ExternalName -> Bool #
Ord ExternalName Source #
Instance details Defined in GhcDump.Ast Methods compare :: ExternalName -> ExternalName -> Ordering # (<) :: ExternalName -> ExternalName -> Bool # (<=) :: ExternalName -> ExternalName -> Bool # (>) :: ExternalName -> ExternalName -> Bool # (>=) :: ExternalName -> ExternalName -> Bool # max :: ExternalName -> ExternalName -> ExternalName # min :: ExternalName -> ExternalName -> ExternalName #
Show ExternalName Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> ExternalName -> ShowS # show :: ExternalName -> String # showList :: [ExternalName] -> ShowS #
Generic ExternalName Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep ExternalName :: Type -> Type # Methods from :: ExternalName -> Rep ExternalName x # to :: Rep ExternalName x -> ExternalName #
Serialise ExternalName Source #
Instance details Defined in GhcDump.Ast Methods encode :: ExternalName -> Encoding # decode :: Decoder s ExternalName # encodeList :: [ExternalName] -> Encoding # decodeList :: Decoder s [ExternalName] #
type Rep ExternalName Source #
Instance details Defined in GhcDump.Ast type Rep ExternalName = D1 (MetaData "ExternalName" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (C1 (MetaCons "ExternalName" PrefixI True) (S1 (MetaSel (Just "externalModuleName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ModuleName) :: (S1 (MetaSel (Just "externalName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Just "externalUnique") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Unique))) :+: C1 (MetaCons "ForeignCall" PrefixI False) (U1 :: Type -> Type))

newtype BinderId Source #

Constructors

BinderId Unique

Instances

Eq BinderId Source #
Instance details Defined in GhcDump.Ast Methods (==) :: BinderId -> BinderId -> Bool # (/=) :: BinderId -> BinderId -> Bool #
Ord BinderId Source #
Instance details Defined in GhcDump.Ast Methods compare :: BinderId -> BinderId -> Ordering # (<) :: BinderId -> BinderId -> Bool # (<=) :: BinderId -> BinderId -> Bool # (>) :: BinderId -> BinderId -> Bool # (>=) :: BinderId -> BinderId -> Bool # max :: BinderId -> BinderId -> BinderId # min :: BinderId -> BinderId -> BinderId #
Show BinderId Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> BinderId -> ShowS # show :: BinderId -> String # showList :: [BinderId] -> ShowS #
Serialise BinderId Source #
Instance details Defined in GhcDump.Ast Methods encode :: BinderId -> Encoding # decode :: Decoder s BinderId # encodeList :: [BinderId] -> Encoding # decodeList :: Decoder s [BinderId] #

newtype SBinder Source #

Constructors

SBndr
Fields unSBndr :: Binder' SBinder BinderId

Instances

Eq SBinder Source #
Instance details Defined in GhcDump.Ast Methods (==) :: SBinder -> SBinder -> Bool # (/=) :: SBinder -> SBinder -> Bool #
Ord SBinder Source #
Instance details Defined in GhcDump.Ast Methods compare :: SBinder -> SBinder -> Ordering # (<) :: SBinder -> SBinder -> Bool # (<=) :: SBinder -> SBinder -> Bool # (>) :: SBinder -> SBinder -> Bool # (>=) :: SBinder -> SBinder -> Bool # max :: SBinder -> SBinder -> SBinder # min :: SBinder -> SBinder -> SBinder #
Show SBinder Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> SBinder -> ShowS # show :: SBinder -> String # showList :: [SBinder] -> ShowS #
Generic SBinder Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep SBinder :: Type -> Type # Methods from :: SBinder -> Rep SBinder x # to :: Rep SBinder x -> SBinder #
Serialise SBinder Source #
Instance details Defined in GhcDump.Ast Methods encode :: SBinder -> Encoding # decode :: Decoder s SBinder # encodeList :: [SBinder] -> Encoding # decodeList :: Decoder s [SBinder] #
type Rep SBinder Source #
Instance details Defined in GhcDump.Ast type Rep SBinder = D1 (MetaData "SBinder" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" True) (C1 (MetaCons "SBndr" PrefixI True) (S1 (MetaSel (Just "unSBndr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Binder' SBinder BinderId))))

newtype Binder Source #

Constructors

Bndr
Fields unBndr :: Binder' Binder Binder

Instances

Eq Binder Source #
Instance details Defined in GhcDump.Ast Methods (==) :: Binder -> Binder -> Bool # (/=) :: Binder -> Binder -> Bool #
Ord Binder Source #
Instance details Defined in GhcDump.Ast Methods compare :: Binder -> Binder -> Ordering # (<) :: Binder -> Binder -> Bool # (<=) :: Binder -> Binder -> Bool # (>) :: Binder -> Binder -> Bool # (>=) :: Binder -> Binder -> Bool # max :: Binder -> Binder -> Binder # min :: Binder -> Binder -> Binder #
Show Binder Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> Binder -> ShowS # show :: Binder -> String # showList :: [Binder] -> ShowS #
Generic Binder Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep Binder :: Type -> Type # Methods from :: Binder -> Rep Binder x # to :: Rep Binder x -> Binder #
Serialise Binder Source #
Instance details Defined in GhcDump.Ast Methods encode :: Binder -> Encoding # decode :: Decoder s Binder # encodeList :: [Binder] -> Encoding # decodeList :: Decoder s [Binder] #
type Rep Binder Source #
Instance details Defined in GhcDump.Ast type Rep Binder = D1 (MetaData "Binder" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" True) (C1 (MetaCons "Bndr" PrefixI True) (S1 (MetaSel (Just "unBndr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Binder' Binder Binder))))

binderUniqueName :: Binder -> Text Source #

data Binder' bndr var Source #

Constructors

Binder
Fields binderName :: !Text binderId :: !BinderId binderIdInfo :: IdInfo bndr var binderIdDetails :: IdDetails binderType :: Type' bndr var
TyBinder
Fields binderName :: !Text binderId :: !BinderId binderKind :: Type' bndr var

Instances

(Eq var, Eq bndr) => Eq (Binder' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods (==) :: Binder' bndr var -> Binder' bndr var -> Bool # (/=) :: Binder' bndr var -> Binder' bndr var -> Bool #
(Ord var, Ord bndr) => Ord (Binder' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods compare :: Binder' bndr var -> Binder' bndr var -> Ordering # (<) :: Binder' bndr var -> Binder' bndr var -> Bool # (<=) :: Binder' bndr var -> Binder' bndr var -> Bool # (>) :: Binder' bndr var -> Binder' bndr var -> Bool # (>=) :: Binder' bndr var -> Binder' bndr var -> Bool # max :: Binder' bndr var -> Binder' bndr var -> Binder' bndr var # min :: Binder' bndr var -> Binder' bndr var -> Binder' bndr var #
(Show var, Show bndr) => Show (Binder' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> Binder' bndr var -> ShowS # show :: Binder' bndr var -> String # showList :: [Binder' bndr var] -> ShowS #
Generic (Binder' bndr var) Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep (Binder' bndr var) :: Type -> Type # Methods from :: Binder' bndr var -> Rep (Binder' bndr var) x # to :: Rep (Binder' bndr var) x -> Binder' bndr var #
(Serialise bndr, Serialise var) => Serialise (Binder' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods encode :: Binder' bndr var -> Encoding # decode :: Decoder s (Binder' bndr var) # encodeList :: [Binder' bndr var] -> Encoding # decodeList :: Decoder s [Binder' bndr var] #
type Rep (Binder' bndr var) Source #
Instance details Defined in GhcDump.Ast type Rep (Binder' bndr var) = D1 (MetaData "Binder'" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (C1 (MetaCons "Binder" PrefixI True) ((S1 (MetaSel (Just "binderName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Just "binderId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BinderId)) :: (S1 (MetaSel (Just "binderIdInfo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (IdInfo bndr var)) :: (S1 (MetaSel (Just "binderIdDetails") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdDetails) :: S1 (MetaSel (Just "binderType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type' bndr var))))) :+: C1 (MetaCons "TyBinder" PrefixI True) (S1 (MetaSel (Just "binderName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :: (S1 (MetaSel (Just "binderId") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 BinderId) :: S1 (MetaSel (Just "binderKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type' bndr var)))))

data IdInfo bndr var Source #

Constructors

IdInfo
Fields idiArity :: !Int idiIsOneShot :: Bool idiUnfolding :: Unfolding bndr var idiInlinePragma :: !Text idiOccInfo :: OccInfo idiStrictnessSig :: !Text idiDemandSig :: !Text idiCallArity :: !Int

Instances

(Eq var, Eq bndr) => Eq (IdInfo bndr var) Source #
Instance details Defined in GhcDump.Ast Methods (==) :: IdInfo bndr var -> IdInfo bndr var -> Bool # (/=) :: IdInfo bndr var -> IdInfo bndr var -> Bool #
(Ord var, Ord bndr) => Ord (IdInfo bndr var) Source #
Instance details Defined in GhcDump.Ast Methods compare :: IdInfo bndr var -> IdInfo bndr var -> Ordering # (<) :: IdInfo bndr var -> IdInfo bndr var -> Bool # (<=) :: IdInfo bndr var -> IdInfo bndr var -> Bool # (>) :: IdInfo bndr var -> IdInfo bndr var -> Bool # (>=) :: IdInfo bndr var -> IdInfo bndr var -> Bool # max :: IdInfo bndr var -> IdInfo bndr var -> IdInfo bndr var # min :: IdInfo bndr var -> IdInfo bndr var -> IdInfo bndr var #
(Show var, Show bndr) => Show (IdInfo bndr var) Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> IdInfo bndr var -> ShowS # show :: IdInfo bndr var -> String # showList :: [IdInfo bndr var] -> ShowS #
Generic (IdInfo bndr var) Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep (IdInfo bndr var) :: Type -> Type # Methods from :: IdInfo bndr var -> Rep (IdInfo bndr var) x # to :: Rep (IdInfo bndr var) x -> IdInfo bndr var #
(Serialise bndr, Serialise var) => Serialise (IdInfo bndr var) Source #
Instance details Defined in GhcDump.Ast Methods encode :: IdInfo bndr var -> Encoding # decode :: Decoder s (IdInfo bndr var) # encodeList :: [IdInfo bndr var] -> Encoding # decodeList :: Decoder s [IdInfo bndr var] #
type Rep (IdInfo bndr var) Source #
Instance details Defined in GhcDump.Ast type Rep (IdInfo bndr var) = D1 (MetaData "IdInfo" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (C1 (MetaCons "IdInfo" PrefixI True) (((S1 (MetaSel (Just "idiArity") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :: S1 (MetaSel (Just "idiIsOneShot") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :: (S1 (MetaSel (Just "idiUnfolding") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Unfolding bndr var)) :: S1 (MetaSel (Just "idiInlinePragma") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text))) :: ((S1 (MetaSel (Just "idiOccInfo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 OccInfo) :: S1 (MetaSel (Just "idiStrictnessSig") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) :: (S1 (MetaSel (Just "idiDemandSig") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Just "idiCallArity") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)))))

data Unfolding bndr var Source #

Constructors

NoUnfolding
BootUnfolding
OtherCon [AltCon]
DFunUnfolding
CoreUnfolding
Fields unfTemplate :: Expr' bndr var unfIsValue :: Bool unfIsConLike :: Bool unfIsWorkFree :: Bool unfGuidance :: Text

Instances

(Eq var, Eq bndr) => Eq (Unfolding bndr var) Source #
Instance details Defined in GhcDump.Ast Methods (==) :: Unfolding bndr var -> Unfolding bndr var -> Bool # (/=) :: Unfolding bndr var -> Unfolding bndr var -> Bool #
(Ord var, Ord bndr) => Ord (Unfolding bndr var) Source #
Instance details Defined in GhcDump.Ast Methods compare :: Unfolding bndr var -> Unfolding bndr var -> Ordering # (<) :: Unfolding bndr var -> Unfolding bndr var -> Bool # (<=) :: Unfolding bndr var -> Unfolding bndr var -> Bool # (>) :: Unfolding bndr var -> Unfolding bndr var -> Bool # (>=) :: Unfolding bndr var -> Unfolding bndr var -> Bool # max :: Unfolding bndr var -> Unfolding bndr var -> Unfolding bndr var # min :: Unfolding bndr var -> Unfolding bndr var -> Unfolding bndr var #
(Show var, Show bndr) => Show (Unfolding bndr var) Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> Unfolding bndr var -> ShowS # show :: Unfolding bndr var -> String # showList :: [Unfolding bndr var] -> ShowS #
Generic (Unfolding bndr var) Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep (Unfolding bndr var) :: Type -> Type # Methods from :: Unfolding bndr var -> Rep (Unfolding bndr var) x # to :: Rep (Unfolding bndr var) x -> Unfolding bndr var #
(Serialise bndr, Serialise var) => Serialise (Unfolding bndr var) Source #
Instance details Defined in GhcDump.Ast Methods encode :: Unfolding bndr var -> Encoding # decode :: Decoder s (Unfolding bndr var) # encodeList :: [Unfolding bndr var] -> Encoding # decodeList :: Decoder s [Unfolding bndr var] #
type Rep (Unfolding bndr var) Source #
Instance details Defined in GhcDump.Ast type Rep (Unfolding bndr var) = D1 (MetaData "Unfolding" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) ((C1 (MetaCons "NoUnfolding" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BootUnfolding" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "OtherCon" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AltCon])) :+: (C1 (MetaCons "DFunUnfolding" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CoreUnfolding" PrefixI True) ((S1 (MetaSel (Just "unfTemplate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr' bndr var)) :: S1 (MetaSel (Just "unfIsValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :: (S1 (MetaSel (Just "unfIsConLike") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: (S1 (MetaSel (Just "unfIsWorkFree") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "unfGuidance") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))))))

data OccInfo Source #

Constructors

OccManyOccs
OccDead	introduced in GHC 8.2
OccOneOcc
OccLoopBreaker
Fields occStrongLoopBreaker :: Bool

Instances

Eq OccInfo Source #
Instance details Defined in GhcDump.Ast Methods (==) :: OccInfo -> OccInfo -> Bool # (/=) :: OccInfo -> OccInfo -> Bool #
Ord OccInfo Source #
Instance details Defined in GhcDump.Ast Methods compare :: OccInfo -> OccInfo -> Ordering # (<) :: OccInfo -> OccInfo -> Bool # (<=) :: OccInfo -> OccInfo -> Bool # (>) :: OccInfo -> OccInfo -> Bool # (>=) :: OccInfo -> OccInfo -> Bool # max :: OccInfo -> OccInfo -> OccInfo # min :: OccInfo -> OccInfo -> OccInfo #
Show OccInfo Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> OccInfo -> ShowS # show :: OccInfo -> String # showList :: [OccInfo] -> ShowS #
Generic OccInfo Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep OccInfo :: Type -> Type # Methods from :: OccInfo -> Rep OccInfo x # to :: Rep OccInfo x -> OccInfo #
Serialise OccInfo Source #
Instance details Defined in GhcDump.Ast Methods encode :: OccInfo -> Encoding # decode :: Decoder s OccInfo # encodeList :: [OccInfo] -> Encoding # decodeList :: Decoder s [OccInfo] #
type Rep OccInfo Source #
Instance details Defined in GhcDump.Ast type Rep OccInfo = D1 (MetaData "OccInfo" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) ((C1 (MetaCons "OccManyOccs" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OccDead" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "OccOneOcc" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OccLoopBreaker" PrefixI True) (S1 (MetaSel (Just "occStrongLoopBreaker") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))

data IdDetails Source #

Constructors

VanillaId
RecSelId
DataConWorkId
DataConWrapId
ClassOpId
PrimOpId
TickBoxOpId	FCallId (these are treated as ExternalNames since they have no binding site)
DFunId
CoVarId
JoinId	introduced in GHC 8.0
Fields joinIdArity :: !Int

Instances

Eq IdDetails Source #
Instance details Defined in GhcDump.Ast Methods (==) :: IdDetails -> IdDetails -> Bool # (/=) :: IdDetails -> IdDetails -> Bool #
Ord IdDetails Source #
Instance details Defined in GhcDump.Ast Methods compare :: IdDetails -> IdDetails -> Ordering # (<) :: IdDetails -> IdDetails -> Bool # (<=) :: IdDetails -> IdDetails -> Bool # (>) :: IdDetails -> IdDetails -> Bool # (>=) :: IdDetails -> IdDetails -> Bool # max :: IdDetails -> IdDetails -> IdDetails # min :: IdDetails -> IdDetails -> IdDetails #
Show IdDetails Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> IdDetails -> ShowS # show :: IdDetails -> String # showList :: [IdDetails] -> ShowS #
Generic IdDetails Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep IdDetails :: Type -> Type # Methods from :: IdDetails -> Rep IdDetails x # to :: Rep IdDetails x -> IdDetails #
Serialise IdDetails Source #
Instance details Defined in GhcDump.Ast Methods encode :: IdDetails -> Encoding # decode :: Decoder s IdDetails # encodeList :: [IdDetails] -> Encoding # decodeList :: Decoder s [IdDetails] #
type Rep IdDetails Source #
Instance details Defined in GhcDump.Ast type Rep IdDetails = D1 (MetaData "IdDetails" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (((C1 (MetaCons "VanillaId" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "RecSelId" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DataConWorkId" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "DataConWrapId" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ClassOpId" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "PrimOpId" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TickBoxOpId" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DFunId" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CoVarId" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "JoinId" PrefixI True) (S1 (MetaSel (Just "joinIdArity") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int))))))

data Lit Source #

Instances

Eq Lit Source #
Instance details Defined in GhcDump.Ast Methods (==) :: Lit -> Lit -> Bool # (/=) :: Lit -> Lit -> Bool #
Ord Lit Source #
Instance details Defined in GhcDump.Ast Methods compare :: Lit -> Lit -> Ordering # (<) :: Lit -> Lit -> Bool # (<=) :: Lit -> Lit -> Bool # (>) :: Lit -> Lit -> Bool # (>=) :: Lit -> Lit -> Bool # max :: Lit -> Lit -> Lit # min :: Lit -> Lit -> Lit #
Show Lit Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> Lit -> ShowS # show :: Lit -> String # showList :: [Lit] -> ShowS #
Generic Lit Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep Lit :: Type -> Type # Methods from :: Lit -> Rep Lit x # to :: Rep Lit x -> Lit #
Serialise Lit Source #
Instance details Defined in GhcDump.Ast Methods encode :: Lit -> Encoding # decode :: Decoder s Lit # encodeList :: [Lit] -> Encoding # decodeList :: Decoder s [Lit] #
type Rep Lit Source #
Instance details Defined in GhcDump.Ast type Rep Lit = D1 (MetaData "Lit" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (((C1 (MetaCons "MachChar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char)) :+: (C1 (MetaCons "MachStr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)) :+: C1 (MetaCons "MachNullAddr" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "MachInt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: (C1 (MetaCons "MachInt64" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "MachWord" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))))) :+: ((C1 (MetaCons "MachWord64" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: (C1 (MetaCons "MachFloat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rational)) :+: C1 (MetaCons "MachDouble" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rational)))) :+: (C1 (MetaCons "MachLabel" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: (C1 (MetaCons "LitInteger" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "LitNatural" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))))))

data TyCon Source #

Constructors

TyCon !Text !Unique

Instances

Eq TyCon Source #
Instance details Defined in GhcDump.Ast Methods (==) :: TyCon -> TyCon -> Bool # (/=) :: TyCon -> TyCon -> Bool #
Ord TyCon Source #
Instance details Defined in GhcDump.Ast Methods compare :: TyCon -> TyCon -> Ordering # (<) :: TyCon -> TyCon -> Bool # (<=) :: TyCon -> TyCon -> Bool # (>) :: TyCon -> TyCon -> Bool # (>=) :: TyCon -> TyCon -> Bool # max :: TyCon -> TyCon -> TyCon # min :: TyCon -> TyCon -> TyCon #
Show TyCon Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> TyCon -> ShowS # show :: TyCon -> String # showList :: [TyCon] -> ShowS #
Generic TyCon Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep TyCon :: Type -> Type # Methods from :: TyCon -> Rep TyCon x # to :: Rep TyCon x -> TyCon #
Serialise TyCon Source #
Instance details Defined in GhcDump.Ast Methods encode :: TyCon -> Encoding # decode :: Decoder s TyCon # encodeList :: [TyCon] -> Encoding # decodeList :: Decoder s [TyCon] #
type Rep TyCon Source #
Instance details Defined in GhcDump.Ast type Rep TyCon = D1 (MetaData "TyCon" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (C1 (MetaCons "TyCon" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Unique)))

type SType = Type' SBinder BinderId Source #

type Type = Type' Binder Binder Source #

data Type' bndr var Source #

Constructors

VarTy var
FunTy (Type' bndr var) (Type' bndr var)
TyConApp TyCon [Type' bndr var]
AppTy (Type' bndr var) (Type' bndr var)
ForAllTy bndr (Type' bndr var)
LitTy
CoercionTy

Instances

(Eq var, Eq bndr) => Eq (Type' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods (==) :: Type' bndr var -> Type' bndr var -> Bool # (/=) :: Type' bndr var -> Type' bndr var -> Bool #
(Ord var, Ord bndr) => Ord (Type' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods compare :: Type' bndr var -> Type' bndr var -> Ordering # (<) :: Type' bndr var -> Type' bndr var -> Bool # (<=) :: Type' bndr var -> Type' bndr var -> Bool # (>) :: Type' bndr var -> Type' bndr var -> Bool # (>=) :: Type' bndr var -> Type' bndr var -> Bool # max :: Type' bndr var -> Type' bndr var -> Type' bndr var # min :: Type' bndr var -> Type' bndr var -> Type' bndr var #
(Show var, Show bndr) => Show (Type' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> Type' bndr var -> ShowS # show :: Type' bndr var -> String # showList :: [Type' bndr var] -> ShowS #
Generic (Type' bndr var) Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep (Type' bndr var) :: Type -> Type # Methods from :: Type' bndr var -> Rep (Type' bndr var) x # to :: Rep (Type' bndr var) x -> Type' bndr var #
(Serialise bndr, Serialise var) => Serialise (Type' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods encode :: Type' bndr var -> Encoding # decode :: Decoder s (Type' bndr var) # encodeList :: [Type' bndr var] -> Encoding # decodeList :: Decoder s [Type' bndr var] #
type Rep (Type' bndr var) Source #
Instance details Defined in GhcDump.Ast type Rep (Type' bndr var) = D1 (MetaData "Type'" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) ((C1 (MetaCons "VarTy" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 var)) :+: (C1 (MetaCons "FunTy" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type' bndr var)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type' bndr var))) :+: C1 (MetaCons "TyConApp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TyCon) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Type' bndr var])))) :+: ((C1 (MetaCons "AppTy" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type' bndr var)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type' bndr var))) :+: C1 (MetaCons "ForAllTy" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 bndr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type' bndr var)))) :+: (C1 (MetaCons "LitTy" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CoercionTy" PrefixI False) (U1 :: Type -> Type))))

newtype ModuleName Source #

Constructors

ModuleName
Fields getModuleName :: Text

Instances

Eq ModuleName Source #
Instance details Defined in GhcDump.Ast Methods (==) :: ModuleName -> ModuleName -> Bool # (/=) :: ModuleName -> ModuleName -> Bool #
Ord ModuleName Source #
Instance details Defined in GhcDump.Ast Methods compare :: ModuleName -> ModuleName -> Ordering # (<) :: ModuleName -> ModuleName -> Bool # (<=) :: ModuleName -> ModuleName -> Bool # (>) :: ModuleName -> ModuleName -> Bool # (>=) :: ModuleName -> ModuleName -> Bool # max :: ModuleName -> ModuleName -> ModuleName # min :: ModuleName -> ModuleName -> ModuleName #
Show ModuleName Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> ModuleName -> ShowS # show :: ModuleName -> String # showList :: [ModuleName] -> ShowS #
Serialise ModuleName Source #
Instance details Defined in GhcDump.Ast Methods encode :: ModuleName -> Encoding # decode :: Decoder s ModuleName # encodeList :: [ModuleName] -> Encoding # decodeList :: Decoder s [ModuleName] #

type Module = Module' Binder Binder Source #

type SModule = Module' SBinder BinderId Source #

data Module' bndr var Source #

Constructors

Module
Fields moduleName :: ModuleName modulePhase :: Text moduleTopBindings :: [TopBinding' bndr var]

Instances

(Show bndr, Show var) => Show (Module' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> Module' bndr var -> ShowS # show :: Module' bndr var -> String # showList :: [Module' bndr var] -> ShowS #
Generic (Module' bndr var) Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep (Module' bndr var) :: Type -> Type # Methods from :: Module' bndr var -> Rep (Module' bndr var) x # to :: Rep (Module' bndr var) x -> Module' bndr var #
(Serialise bndr, Serialise var) => Serialise (Module' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods encode :: Module' bndr var -> Encoding # decode :: Decoder s (Module' bndr var) # encodeList :: [Module' bndr var] -> Encoding # decodeList :: Decoder s [Module' bndr var] #
type Rep (Module' bndr var) Source #
Instance details Defined in GhcDump.Ast type Rep (Module' bndr var) = D1 (MetaData "Module'" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (C1 (MetaCons "Module" PrefixI True) (S1 (MetaSel (Just "moduleName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ModuleName) :: (S1 (MetaSel (Just "modulePhase") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "moduleTopBindings") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TopBinding' bndr var]))))

moduleBindings :: Module' bndr var -> [(bndr, CoreStats, Expr' bndr var)] Source #

The binder story:

Things which might contain bound variables (e.g. expressions and types) have a type variable which is instantiated at BinderId in the serialised form or Binder after post-processing.

Note that bindings sites themselves are always Binders.

type SExpr = Expr' SBinder BinderId Source #

type Expr = Expr' Binder Binder Source #

data Expr' bndr var Source #

Constructors

EVar var
EVarGlobal ExternalName
ELit Lit
EApp (Expr' bndr var) (Expr' bndr var)
ETyLam bndr (Expr' bndr var)
ELam bndr (Expr' bndr var)
ELet [(bndr, Expr' bndr var)] (Expr' bndr var)
ECase (Expr' bndr var) bndr [Alt' bndr var]
EType (Type' bndr var)
ECoercion

Instances

(Eq var, Eq bndr) => Eq (Expr' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods (==) :: Expr' bndr var -> Expr' bndr var -> Bool # (/=) :: Expr' bndr var -> Expr' bndr var -> Bool #
(Ord var, Ord bndr) => Ord (Expr' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods compare :: Expr' bndr var -> Expr' bndr var -> Ordering # (<) :: Expr' bndr var -> Expr' bndr var -> Bool # (<=) :: Expr' bndr var -> Expr' bndr var -> Bool # (>) :: Expr' bndr var -> Expr' bndr var -> Bool # (>=) :: Expr' bndr var -> Expr' bndr var -> Bool # max :: Expr' bndr var -> Expr' bndr var -> Expr' bndr var # min :: Expr' bndr var -> Expr' bndr var -> Expr' bndr var #
(Show var, Show bndr) => Show (Expr' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> Expr' bndr var -> ShowS # show :: Expr' bndr var -> String # showList :: [Expr' bndr var] -> ShowS #
Generic (Expr' bndr var) Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep (Expr' bndr var) :: Type -> Type # Methods from :: Expr' bndr var -> Rep (Expr' bndr var) x # to :: Rep (Expr' bndr var) x -> Expr' bndr var #
(Serialise bndr, Serialise var) => Serialise (Expr' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods encode :: Expr' bndr var -> Encoding # decode :: Decoder s (Expr' bndr var) # encodeList :: [Expr' bndr var] -> Encoding # decodeList :: Decoder s [Expr' bndr var] #
type Rep (Expr' bndr var) Source #
Instance details Defined in GhcDump.Ast type Rep (Expr' bndr var) = D1 (MetaData "Expr'" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (((C1 (MetaCons "EVar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 var)) :+: C1 (MetaCons "EVarGlobal" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ExternalName))) :+: (C1 (MetaCons "ELit" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Lit)) :+: (C1 (MetaCons "EApp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr' bndr var)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr' bndr var))) :+: C1 (MetaCons "ETyLam" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 bndr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr' bndr var)))))) :+: ((C1 (MetaCons "ELam" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 bndr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr' bndr var))) :+: C1 (MetaCons "ELet" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(bndr, Expr' bndr var)]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr' bndr var)))) :+: (C1 (MetaCons "ECase" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr' bndr var)) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 bndr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Alt' bndr var]))) :+: (C1 (MetaCons "EType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type' bndr var))) :+: C1 (MetaCons "ECoercion" PrefixI False) (U1 :: Type -> Type)))))

type SAlt = Alt' SBinder BinderId Source #

type Alt = Alt' Binder Binder Source #

data Alt' bndr var Source #

Constructors

Alt
Fields altCon :: !AltCon altBinders :: [bndr] altRHS :: Expr' bndr var

Instances

(Eq bndr, Eq var) => Eq (Alt' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods (==) :: Alt' bndr var -> Alt' bndr var -> Bool # (/=) :: Alt' bndr var -> Alt' bndr var -> Bool #
(Ord bndr, Ord var) => Ord (Alt' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods compare :: Alt' bndr var -> Alt' bndr var -> Ordering # (<) :: Alt' bndr var -> Alt' bndr var -> Bool # (<=) :: Alt' bndr var -> Alt' bndr var -> Bool # (>) :: Alt' bndr var -> Alt' bndr var -> Bool # (>=) :: Alt' bndr var -> Alt' bndr var -> Bool # max :: Alt' bndr var -> Alt' bndr var -> Alt' bndr var # min :: Alt' bndr var -> Alt' bndr var -> Alt' bndr var #
(Show bndr, Show var) => Show (Alt' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> Alt' bndr var -> ShowS # show :: Alt' bndr var -> String # showList :: [Alt' bndr var] -> ShowS #
Generic (Alt' bndr var) Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep (Alt' bndr var) :: Type -> Type # Methods from :: Alt' bndr var -> Rep (Alt' bndr var) x # to :: Rep (Alt' bndr var) x -> Alt' bndr var #
(Serialise bndr, Serialise var) => Serialise (Alt' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods encode :: Alt' bndr var -> Encoding # decode :: Decoder s (Alt' bndr var) # encodeList :: [Alt' bndr var] -> Encoding # decodeList :: Decoder s [Alt' bndr var] #
type Rep (Alt' bndr var) Source #
Instance details Defined in GhcDump.Ast type Rep (Alt' bndr var) = D1 (MetaData "Alt'" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (C1 (MetaCons "Alt" PrefixI True) (S1 (MetaSel (Just "altCon") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 AltCon) :: (S1 (MetaSel (Just "altBinders") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [bndr]) :: S1 (MetaSel (Just "altRHS") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr' bndr var)))))

data AltCon Source #

Constructors

AltDataCon !Text
AltLit Lit
AltDefault

Instances

Eq AltCon Source #
Instance details Defined in GhcDump.Ast Methods (==) :: AltCon -> AltCon -> Bool # (/=) :: AltCon -> AltCon -> Bool #
Ord AltCon Source #
Instance details Defined in GhcDump.Ast Methods compare :: AltCon -> AltCon -> Ordering # (<) :: AltCon -> AltCon -> Bool # (<=) :: AltCon -> AltCon -> Bool # (>) :: AltCon -> AltCon -> Bool # (>=) :: AltCon -> AltCon -> Bool # max :: AltCon -> AltCon -> AltCon # min :: AltCon -> AltCon -> AltCon #
Show AltCon Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> AltCon -> ShowS # show :: AltCon -> String # showList :: [AltCon] -> ShowS #
Generic AltCon Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep AltCon :: Type -> Type # Methods from :: AltCon -> Rep AltCon x # to :: Rep AltCon x -> AltCon #
Serialise AltCon Source #
Instance details Defined in GhcDump.Ast Methods encode :: AltCon -> Encoding # decode :: Decoder s AltCon # encodeList :: [AltCon] -> Encoding # decodeList :: Decoder s [AltCon] #
type Rep AltCon Source #
Instance details Defined in GhcDump.Ast type Rep AltCon = D1 (MetaData "AltCon" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (C1 (MetaCons "AltDataCon" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) :+: (C1 (MetaCons "AltLit" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Lit)) :+: C1 (MetaCons "AltDefault" PrefixI False) (U1 :: Type -> Type)))

type STopBinding = TopBinding' SBinder BinderId Source #

type TopBinding = TopBinding' Binder Binder Source #

data TopBinding' bndr var Source #

Constructors

NonRecTopBinding bndr CoreStats (Expr' bndr var)
RecTopBinding [(bndr, CoreStats, Expr' bndr var)]

Instances

(Show bndr, Show var) => Show (TopBinding' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> TopBinding' bndr var -> ShowS # show :: TopBinding' bndr var -> String # showList :: [TopBinding' bndr var] -> ShowS #
Generic (TopBinding' bndr var) Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep (TopBinding' bndr var) :: Type -> Type # Methods from :: TopBinding' bndr var -> Rep (TopBinding' bndr var) x # to :: Rep (TopBinding' bndr var) x -> TopBinding' bndr var #
(Serialise bndr, Serialise var) => Serialise (TopBinding' bndr var) Source #
Instance details Defined in GhcDump.Ast Methods encode :: TopBinding' bndr var -> Encoding # decode :: Decoder s (TopBinding' bndr var) # encodeList :: [TopBinding' bndr var] -> Encoding # decodeList :: Decoder s [TopBinding' bndr var] #
type Rep (TopBinding' bndr var) Source #
Instance details Defined in GhcDump.Ast type Rep (TopBinding' bndr var) = D1 (MetaData "TopBinding'" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (C1 (MetaCons "NonRecTopBinding" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 bndr) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CoreStats) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Expr' bndr var)))) :+: C1 (MetaCons "RecTopBinding" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(bndr, CoreStats, Expr' bndr var)])))

topBindings :: TopBinding' bndr var -> [(bndr, CoreStats, Expr' bndr var)] Source #

data CoreStats Source #

Constructors

CoreStats
Fields csTerms :: !Int csTypes :: !Int csCoercions :: !Int csValBinds :: !Int csJoinBinds :: !Int

Instances

Show CoreStats Source #
Instance details Defined in GhcDump.Ast Methods showsPrec :: Int -> CoreStats -> ShowS # show :: CoreStats -> String # showList :: [CoreStats] -> ShowS #
Generic CoreStats Source #
Instance details Defined in GhcDump.Ast Associated Types type Rep CoreStats :: Type -> Type # Methods from :: CoreStats -> Rep CoreStats x # to :: Rep CoreStats x -> CoreStats #
Semigroup CoreStats Source #
Instance details Defined in GhcDump.Ast Methods (<>) :: CoreStats -> CoreStats -> CoreStats # sconcat :: NonEmpty CoreStats -> CoreStats # stimes :: Integral b => b -> CoreStats -> CoreStats #
Monoid CoreStats Source #
Instance details Defined in GhcDump.Ast Methods mempty :: CoreStats # mappend :: CoreStats -> CoreStats -> CoreStats # mconcat :: [CoreStats] -> CoreStats #
Serialise CoreStats Source #
Instance details Defined in GhcDump.Ast Methods encode :: CoreStats -> Encoding # decode :: Decoder s CoreStats # encodeList :: [CoreStats] -> Encoding # decodeList :: Decoder s [CoreStats] #
type Rep CoreStats Source #
Instance details Defined in GhcDump.Ast type Rep CoreStats = D1 (MetaData "CoreStats" "GhcDump.Ast" "ghc-dump-core-0.1.1.0-Ii5eCp5CM7N2eU9noEy0C2" False) (C1 (MetaCons "CoreStats" PrefixI True) ((S1 (MetaSel (Just "csTerms") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :: S1 (MetaSel (Just "csTypes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)) :: (S1 (MetaSel (Just "csCoercions") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :: (S1 (MetaSel (Just "csValBinds") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :: S1 (MetaSel (Just "csJoinBinds") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int)))))

MachChar Char
MachStr ByteString
MachNullAddr
MachInt Integer
MachInt64 Integer
MachWord Integer
MachWord64 Integer
MachFloat Rational
MachDouble Rational
MachLabel Text
LitInteger Integer
LitNatural Integer