GhcDump.Ast

Documentation

data Unique

Constructors

Unique !Char !Int

Instances

Eq Unique

Defined in GhcDump.Ast

Methods

(==) :: Unique -> Unique -> Bool

(/=) :: Unique -> Unique -> Bool

Ord Unique

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

This is dependent upon GHC

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> Unique -> ShowS

show :: Unique -> String

showList :: [Unique] -> ShowS

Generic Unique

Defined in GhcDump.Ast

Associated Types

type Rep Unique :: Type -> Type

Methods

from :: Unique -> Rep Unique x

to :: Rep Unique x -> Unique

Serialise Unique

Defined in GhcDump.Ast

Methods

encode :: Unique -> Encoding

decode :: Decoder s Unique

encodeList :: [Unique] -> Encoding

decodeList :: Decoder s [Unique]

type Rep Unique

Defined in GhcDump.Ast

type Rep Unique = D1 ('MetaData "Unique" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

Constructors

ExternalName

Fields

• externalModuleName :: !ModuleName
• externalName :: !Text
• externalUnique :: !Unique

ForeignCall

Instances

Eq ExternalName

Defined in GhcDump.Ast

Methods

(==) :: ExternalName -> ExternalName -> Bool

(/=) :: ExternalName -> ExternalName -> Bool

Ord ExternalName

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

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> ExternalName -> ShowS

show :: ExternalName -> String

showList :: [ExternalName] -> ShowS

Generic ExternalName

Defined in GhcDump.Ast

Associated Types

type Rep ExternalName :: Type -> Type

Methods

from :: ExternalName -> Rep ExternalName x

to :: Rep ExternalName x -> ExternalName

Serialise ExternalName

Defined in GhcDump.Ast

Methods

encode :: ExternalName -> Encoding

decode :: Decoder s ExternalName

encodeList :: [ExternalName] -> Encoding

decodeList :: Decoder s [ExternalName]

type Rep ExternalName

Defined in GhcDump.Ast

type Rep ExternalName = D1 ('MetaData "ExternalName" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

Constructors

BinderId Unique

Instances

Eq BinderId

Defined in GhcDump.Ast

Methods

(==) :: BinderId -> BinderId -> Bool

(/=) :: BinderId -> BinderId -> Bool

Ord BinderId

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

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> BinderId -> ShowS

show :: BinderId -> String

showList :: [BinderId] -> ShowS

Serialise BinderId

Defined in GhcDump.Ast

Methods

encode :: BinderId -> Encoding

decode :: Decoder s BinderId

encodeList :: [BinderId] -> Encoding

decodeList :: Decoder s [BinderId]

newtype SBinder

Constructors

SBndr

Fields

• unSBndr :: Binder' SBinder BinderId

Instances

Eq SBinder

Defined in GhcDump.Ast

Methods

(==) :: SBinder -> SBinder -> Bool

(/=) :: SBinder -> SBinder -> Bool

Ord SBinder

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

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> SBinder -> ShowS

show :: SBinder -> String

showList :: [SBinder] -> ShowS

Generic SBinder

Defined in GhcDump.Ast

Associated Types

type Rep SBinder :: Type -> Type

Methods

from :: SBinder -> Rep SBinder x

to :: Rep SBinder x -> SBinder

Serialise SBinder

Defined in GhcDump.Ast

Methods

encode :: SBinder -> Encoding

decode :: Decoder s SBinder

encodeList :: [SBinder] -> Encoding

decodeList :: Decoder s [SBinder]

type Rep SBinder

Defined in GhcDump.Ast

type Rep SBinder = D1 ('MetaData "SBinder" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" 'True) (C1 ('MetaCons "SBndr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSBndr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Binder' SBinder BinderId))))

newtype Binder

Constructors

Bndr

Fields

• unBndr :: Binder' Binder Binder

Instances

Eq Binder

Defined in GhcDump.Ast

Methods

(==) :: Binder -> Binder -> Bool

(/=) :: Binder -> Binder -> Bool

Ord Binder

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

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> Binder -> ShowS

show :: Binder -> String

showList :: [Binder] -> ShowS

Generic Binder

Defined in GhcDump.Ast

Associated Types

type Rep Binder :: Type -> Type

Methods

from :: Binder -> Rep Binder x

to :: Rep Binder x -> Binder

Serialise Binder

Defined in GhcDump.Ast

Methods

encode :: Binder -> Encoding

decode :: Decoder s Binder

encodeList :: [Binder] -> Encoding

decodeList :: Decoder s [Binder]

type Rep Binder

Defined in GhcDump.Ast

type Rep Binder = D1 ('MetaData "Binder" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" 'True) (C1 ('MetaCons "Bndr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBndr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Binder' Binder Binder))))

binderUniqueName :: Binder -> Text

data Binder' bndr var

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)

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)

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)

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)

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)

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)

Defined in GhcDump.Ast

type Rep (Binder' bndr var) = D1 ('MetaData "Binder'" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

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)

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)

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)

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)

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)

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)

Defined in GhcDump.Ast

type Rep (IdInfo bndr var) = D1 ('MetaData "IdInfo" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

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)

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)

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)

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)

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)

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)

Defined in GhcDump.Ast

type Rep (Unfolding bndr var) = D1 ('MetaData "Unfolding" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

Constructors

OccManyOccs

OccDead

introduced in GHC 8.2

OccOneOcc

OccLoopBreaker

Fields

• occStrongLoopBreaker :: Bool

Instances

Eq OccInfo

Defined in GhcDump.Ast

Methods

(==) :: OccInfo -> OccInfo -> Bool

(/=) :: OccInfo -> OccInfo -> Bool

Ord OccInfo

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

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> OccInfo -> ShowS

show :: OccInfo -> String

showList :: [OccInfo] -> ShowS

Generic OccInfo

Defined in GhcDump.Ast

Associated Types

type Rep OccInfo :: Type -> Type

Methods

from :: OccInfo -> Rep OccInfo x

to :: Rep OccInfo x -> OccInfo

Serialise OccInfo

Defined in GhcDump.Ast

Methods

encode :: OccInfo -> Encoding

decode :: Decoder s OccInfo

encodeList :: [OccInfo] -> Encoding

decodeList :: Decoder s [OccInfo]

type Rep OccInfo

Defined in GhcDump.Ast

type Rep OccInfo = D1 ('MetaData "OccInfo" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

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

Defined in GhcDump.Ast

Methods

(==) :: IdDetails -> IdDetails -> Bool

(/=) :: IdDetails -> IdDetails -> Bool

Ord IdDetails

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

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> IdDetails -> ShowS

show :: IdDetails -> String

showList :: [IdDetails] -> ShowS

Generic IdDetails

Defined in GhcDump.Ast

Associated Types

type Rep IdDetails :: Type -> Type

Methods

from :: IdDetails -> Rep IdDetails x

to :: Rep IdDetails x -> IdDetails

Serialise IdDetails

Defined in GhcDump.Ast

Methods

encode :: IdDetails -> Encoding

decode :: Decoder s IdDetails

encodeList :: [IdDetails] -> Encoding

decodeList :: Decoder s [IdDetails]

type Rep IdDetails

Defined in GhcDump.Ast

type Rep IdDetails = D1 ('MetaData "IdDetails" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

Constructors

MachChar Char

MachStr ByteString

MachNullAddr

MachInt Integer

MachInt64 Integer

MachWord Integer

MachWord64 Integer

MachFloat Rational

MachDouble Rational

MachLabel Text

LitInteger Integer

LitNatural Integer

LitRubbish

Instances

Eq Lit

Defined in GhcDump.Ast

Methods

(==) :: Lit -> Lit -> Bool

(/=) :: Lit -> Lit -> Bool

Ord Lit

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

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> Lit -> ShowS

show :: Lit -> String

showList :: [Lit] -> ShowS

Generic Lit

Defined in GhcDump.Ast

Associated Types

type Rep Lit :: Type -> Type

Methods

from :: Lit -> Rep Lit x

to :: Rep Lit x -> Lit

Serialise Lit

Defined in GhcDump.Ast

Methods

encode :: Lit -> Encoding

decode :: Decoder s Lit

encodeList :: [Lit] -> Encoding

decodeList :: Decoder s [Lit]

type Rep Lit

Defined in GhcDump.Ast

type Rep Lit = D1 ('MetaData "Lit" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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)) :+: C1 ('MetaCons "LitRubbish" 'PrefixI 'False) (U1 :: Type -> Type)))))

data TyCon

Constructors

TyCon !Text !Unique

Instances

Eq TyCon

Defined in GhcDump.Ast

Methods

(==) :: TyCon -> TyCon -> Bool

(/=) :: TyCon -> TyCon -> Bool

Ord TyCon

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

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> TyCon -> ShowS

show :: TyCon -> String

showList :: [TyCon] -> ShowS

Generic TyCon

Defined in GhcDump.Ast

Associated Types

type Rep TyCon :: Type -> Type

Methods

from :: TyCon -> Rep TyCon x

to :: Rep TyCon x -> TyCon

Serialise TyCon

Defined in GhcDump.Ast

Methods

encode :: TyCon -> Encoding

decode :: Decoder s TyCon

encodeList :: [TyCon] -> Encoding

decodeList :: Decoder s [TyCon]

type Rep TyCon

Defined in GhcDump.Ast

type Rep TyCon = D1 ('MetaData "TyCon" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

type Type = Type' Binder Binder

data Type' bndr var

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)

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)

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)

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)

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)

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)

Defined in GhcDump.Ast

type Rep (Type' bndr var) = D1 ('MetaData "Type'" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

Constructors

ModuleName

Fields

• getModuleName :: Text

Instances

Eq ModuleName

Defined in GhcDump.Ast

Methods

(==) :: ModuleName -> ModuleName -> Bool

(/=) :: ModuleName -> ModuleName -> Bool

Ord ModuleName

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

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> ModuleName -> ShowS

show :: ModuleName -> String

showList :: [ModuleName] -> ShowS

Serialise ModuleName

Defined in GhcDump.Ast

Methods

encode :: ModuleName -> Encoding

decode :: Decoder s ModuleName

encodeList :: [ModuleName] -> Encoding

decodeList :: Decoder s [ModuleName]

type Module = Module' Binder Binder

type SModule = Module' SBinder BinderId

data Module' bndr var

Constructors

Module

Fields

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

Instances

(Show bndr, Show var) => Show (Module' bndr var)

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)

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)

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)

Defined in GhcDump.Ast

type Rep (Module' bndr var) = D1 ('MetaData "Module'" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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)]

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

type Expr = Expr' Binder Binder

data Expr' bndr var

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)

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)

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)

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)

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)

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)

Defined in GhcDump.Ast

type Rep (Expr' bndr var) = D1 ('MetaData "Expr'" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

type Alt = Alt' Binder Binder

data Alt' bndr var

Constructors

Alt

Fields

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

Instances

(Eq bndr, Eq var) => Eq (Alt' bndr var)

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)

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)

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)

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)

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)

Defined in GhcDump.Ast

type Rep (Alt' bndr var) = D1 ('MetaData "Alt'" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

Constructors

AltDataCon !Text

AltLit Lit

AltDefault

Instances

Eq AltCon

Defined in GhcDump.Ast

Methods

(==) :: AltCon -> AltCon -> Bool

(/=) :: AltCon -> AltCon -> Bool

Ord AltCon

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

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> AltCon -> ShowS

show :: AltCon -> String

showList :: [AltCon] -> ShowS

Generic AltCon

Defined in GhcDump.Ast

Associated Types

type Rep AltCon :: Type -> Type

Methods

from :: AltCon -> Rep AltCon x

to :: Rep AltCon x -> AltCon

Serialise AltCon

Defined in GhcDump.Ast

Methods

encode :: AltCon -> Encoding

decode :: Decoder s AltCon

encodeList :: [AltCon] -> Encoding

decodeList :: Decoder s [AltCon]

type Rep AltCon

Defined in GhcDump.Ast

type Rep AltCon = D1 ('MetaData "AltCon" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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

type TopBinding = TopBinding' Binder Binder

data TopBinding' bndr var

Constructors

NonRecTopBinding bndr CoreStats (Expr' bndr var)

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

Instances

(Show bndr, Show var) => Show (TopBinding' bndr var)

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)

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)

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)

Defined in GhcDump.Ast

type Rep (TopBinding' bndr var) = D1 ('MetaData "TopBinding'" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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)]

data CoreStats

Constructors

CoreStats

Fields

• csTerms :: !Int
• csTypes :: !Int
• csCoercions :: !Int
• csValBinds :: !Int
• csJoinBinds :: !Int

Instances

Show CoreStats

Defined in GhcDump.Ast

Methods

showsPrec :: Int -> CoreStats -> ShowS

show :: CoreStats -> String

showList :: [CoreStats] -> ShowS

Generic CoreStats

Defined in GhcDump.Ast

Associated Types

type Rep CoreStats :: Type -> Type

Methods

from :: CoreStats -> Rep CoreStats x

to :: Rep CoreStats x -> CoreStats

Semigroup CoreStats

Defined in GhcDump.Ast

Methods

(<>) :: CoreStats -> CoreStats -> CoreStats

sconcat :: NonEmpty CoreStats -> CoreStats

stimes :: Integral b => b -> CoreStats -> CoreStats

Monoid CoreStats

Defined in GhcDump.Ast

Methods

mempty :: CoreStats

mappend :: CoreStats -> CoreStats -> CoreStats

mconcat :: [CoreStats] -> CoreStats

Serialise CoreStats

Defined in GhcDump.Ast

Methods

encode :: CoreStats -> Encoding

decode :: Decoder s CoreStats

encodeList :: [CoreStats] -> Encoding

decodeList :: Decoder s [CoreStats]

type Rep CoreStats

Defined in GhcDump.Ast

type Rep CoreStats = D1 ('MetaData "CoreStats" "GhcDump.Ast" "ghc-dump-core-0.1.2.0-Dw57xESJX42JdfIEAClOIW" '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)))))