Language.Haskell.Liquid.GHC.Resugar

This module contains functions for "resugaring" low-level GHC CoreExpr into high-level patterns, that can receive special case handling in different phases (e.g. ANF, Constraint Generation, etc.)

High-level Source Patterns

data Pattern

Data type for high-level patterns -----------------------------------------

Constructors

PatBind

e1 >>= x -> e2

Fields

• patE1 :: !CoreExpr
• patX :: !Var

  x

• patE2 :: !CoreExpr
• patM :: !Type

  m

• patDct :: !CoreExpr

  $dT

• patTyA :: !Type
• patTyB :: !Type
• patFF :: !Var

PatReturn

Fields

• patE :: !CoreExpr

  e

• patM :: !Type

  m

• patDct :: !CoreExpr

  $dT

• patTy :: !Type

  t

• patRet :: !Var

  "return"

PatProject

Fields

• patXE :: !Var

  xe

• patX :: !Var

  x

• patTy :: !Type

  t

• patCtor :: !DataCon

  C

• patBinds :: ![Var]

  x1,...,xn

• patIdx :: !Int

  i :: NatLT {len patBinds}

Lift a CoreExpr into a Pattern

lift :: CoreExpr -> Maybe Pattern

Lift expressions into High-level patterns ---------------------------------

Lower a pattern back into a CoreExpr

lower :: Pattern -> CoreExpr

Lower patterns back into expressions --------------------------------------