GHC.Types.Cpr

ghc-9.4.0.20220501: The GHC API

Safe Haskell | Safe-Inferred
Language | Haskell2010

GHC.Types.Cpr

Description

Types for the Constructed Product Result lattice. GHC.Core.Opt.CprAnal and GHC.Core.Opt.WorkWrap.Utils are its primary customers via `idCprSig`.

Synopsis

- data Cpr where
  - pattern ConCpr :: ConTag -> [Cpr] -> Cpr
- topCpr :: Cpr
- botCpr :: Cpr
- flatConCpr :: ConTag -> Cpr
- asConCpr :: Cpr -> Maybe (ConTag, [Cpr])
- data CprType = CprType {
  - ct_arty :: !Arity
  - ct_cpr :: !Cpr
  }
- topCprType :: CprType
- botCprType :: CprType
- flatConCprType :: ConTag -> CprType
- lubCprType :: CprType -> CprType -> CprType
- applyCprTy :: CprType -> Arity -> CprType
- abstractCprTy :: CprType -> CprType
- trimCprTy :: CprType -> CprType
- data UnpackConFieldsResult
  - = AllFieldsSame !Cpr
  - | ForeachField ![Cpr]
- unpackConFieldsCpr :: DataCon -> Cpr -> UnpackConFieldsResult
- newtype CprSig = CprSig {
  - getCprSig :: CprType
  }
- topCprSig :: CprSig
- isTopCprSig :: CprSig -> Bool
- mkCprSigForArity :: Arity -> CprType -> CprSig
- mkCprSig :: Arity -> Cpr -> CprSig
- seqCprSig :: CprSig -> ()

# Documentation

data Cpr where Source #

Bundled Patterns

pattern ConCpr :: ConTag -> [Cpr] -> Cpr |

#### Instances

Instances details

Binary Cpr Source # |
Instance details Defined in GHC.Types.Cpr Methods put_ :: BinHandle -> Cpr -> IO () Source # put :: BinHandle -> Cpr -> IO (Bin Cpr) Source # get :: BinHandle -> IO Cpr Source #
Outputable Cpr Source # | BNF:
    cpr ::= ''                               -- TopCpr
         |  n                                -- FlatConCpr n
         |  n '(' cpr1 ',' cpr2 ',' ... ')'  -- ConCpr n [cpr1,cpr2,...]
         |  'b'                              -- BotCpr
Examples: * `f x = f x` has result CPR `b` * `1(1,)` is a valid (nested) `Cpr` denotation for `(I# 42#, f 42)`.
Instance details Defined in GHC.Types.Cpr Methods ppr :: Cpr -> SDoc Source #
Eq Cpr Source # |
Instance details Defined in GHC.Types.Cpr Methods (==) :: Cpr -> Cpr -> Bool # (/=) :: Cpr -> Cpr -> Bool #

topCpr :: Cpr Source #

botCpr :: Cpr Source #

flatConCpr :: ConTag -> Cpr Source #

asConCpr :: Cpr -> Maybe (ConTag, [Cpr]) Source #

data CprType Source #

The abstract domain \(A_t\) from the original 'CPR for Haskell' paper.

Constructors

CprType |
Fields ct_arty :: !Arity Number of value arguments the denoted expression eats before returning the `ct_cpr` ct_cpr :: !Cpr `Cpr` eventually unleashed when applied to `ct_arty` arguments

#### Instances

Instances details

Binary CprType Source # |
Instance details Defined in GHC.Types.Cpr Methods put_ :: BinHandle -> CprType -> IO () Source # put :: BinHandle -> CprType -> IO (Bin CprType) Source # get :: BinHandle -> IO CprType Source #
Outputable CprType Source # | BNF:
    cpr_ty ::= cpr               -- short form if arty == 0
            |  '\' arty '.' cpr  -- if arty > 0
Examples: * `f x y z = f x y z` has denotation `3.b` * `g !x = (x+1, x+2)` has denotation `1.1(1,1)`.
Instance details Defined in GHC.Types.Cpr Methods ppr :: CprType -> SDoc Source #
Eq CprType Source # |
Instance details Defined in GHC.Types.Cpr Methods (==) :: CprType -> CprType -> Bool # (/=) :: CprType -> CprType -> Bool #

topCprType :: CprType Source #

botCprType :: CprType Source #

flatConCprType :: ConTag -> CprType Source #

lubCprType :: CprType -> CprType -> CprType Source #

applyCprTy :: CprType -> Arity -> CprType Source #

abstractCprTy :: CprType -> CprType Source #

trimCprTy :: CprType -> CprType Source #

data UnpackConFieldsResult Source #

The result of `unpackConFieldsCpr`.

Constructors

AllFieldsSame !Cpr |
ForeachField ![Cpr] |

unpackConFieldsCpr :: DataCon -> Cpr -> UnpackConFieldsResult Source #

Unpacks a `ConCpr`-shaped `Cpr` and returns the field `Cpr`s wrapped in a `ForeachField`. Otherwise, it returns `AllFieldsSame` with the appropriate `Cpr` to assume for each field.

The use of `UnpackConFieldsResult` allows O(1) space for the common, non-`ConCpr` case.

newtype CprSig Source #

The arity of the wrapped `CprType` is the arity at which it is safe to unleash. See Note [Understanding DmdType and DmdSig] in GHC.Types.Demand

Constructors

CprSig |
Fields getCprSig :: CprType

#### Instances

Instances details

Binary CprSig Source # |
Instance details Defined in GHC.Types.Cpr Methods put_ :: BinHandle -> CprSig -> IO () Source # put :: BinHandle -> CprSig -> IO (Bin CprSig) Source # get :: BinHandle -> IO CprSig Source #
Outputable CprSig Source # | Only print the CPR result
Instance details Defined in GHC.Types.Cpr Methods ppr :: CprSig -> SDoc Source #
Eq CprSig Source # |
Instance details Defined in GHC.Types.Cpr Methods (==) :: CprSig -> CprSig -> Bool # (/=) :: CprSig -> CprSig -> Bool #

topCprSig :: CprSig Source #

isTopCprSig :: CprSig -> Bool Source #

mkCprSigForArity :: Arity -> CprType -> CprSig Source #

Turns a `CprType` computed for the particular `Arity` into a `CprSig` unleashable at that arity. See Note [Understanding DmdType and DmdSig] in GHC.Types.Demand

mkCprSig :: Arity -> Cpr -> CprSig Source #

seqCprSig :: CprSig -> () Source #