GHC.Iface.Tidy

Tidying up Core

Documentation

data TidyOpts

Constructors

TidyOpts

Fields

• opt_name_cache :: !NameCache
• opt_collect_ccs :: !Bool

  Always true if we compile with -prof

• opt_unfolding_opts :: !UnfoldingOpts
• opt_expose_unfoldings :: !UnfoldingExposure

  Which unfoldings to expose

• opt_trim_ids :: !Bool

  trim off the arity, one-shot-ness, strictness etc which were retained for the benefit of the code generator

• opt_expose_rules :: !Bool

  Are rules exposed or not?

• opt_static_ptr_opts :: !(Maybe StaticPtrOpts)

  Options for generated static pointers, if enabled (/= Nothing).

data UnfoldingExposure

Constructors

ExposeNone

Don't expose unfoldings

ExposeSome

Only expose required unfoldings

ExposeAll

Expose all unfoldings

Instances

Show UnfoldingExposure

Defined in GHC.Iface.Tidy

Methods

showsPrec :: Int -> UnfoldingExposure -> ShowS

show :: UnfoldingExposure -> String

showList :: [UnfoldingExposure] -> ShowS

Eq UnfoldingExposure

Defined in GHC.Iface.Tidy

Methods

(==) :: UnfoldingExposure -> UnfoldingExposure -> Bool

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

Ord UnfoldingExposure

Defined in GHC.Iface.Tidy

Methods

compare :: UnfoldingExposure -> UnfoldingExposure -> Ordering

(<) :: UnfoldingExposure -> UnfoldingExposure -> Bool

(<=) :: UnfoldingExposure -> UnfoldingExposure -> Bool

(>) :: UnfoldingExposure -> UnfoldingExposure -> Bool

(>=) :: UnfoldingExposure -> UnfoldingExposure -> Bool

max :: UnfoldingExposure -> UnfoldingExposure -> UnfoldingExposure

min :: UnfoldingExposure -> UnfoldingExposure -> UnfoldingExposure

tidyProgram :: TidyOpts -> ModGuts -> IO (CgGuts, ModDetails)

mkBootModDetailsTc :: Logger -> TcGblEnv -> IO ModDetails