Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Haskell.Liquid.GHC.Resugar

Contents

High-level Source Patterns
Lift a CoreExpr into a Pattern
Lower a pattern back into a CoreExpr

Description

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.)

Synopsis

data Pattern
- = PatBind {
  - patE1 :: !CoreExpr
  - patX :: !Var
  - patE2 :: !CoreExpr
  - patM :: !Type
  - patDct :: !CoreExpr
  - patTyA :: !Type
  - patTyB :: !Type
  - patFF :: !Var
  }
- | PatReturn {
  - patE :: !CoreExpr
  - patM :: !Type
  - patDct :: !CoreExpr
  - patTy :: !Type
  - patRet :: !Var
  }
- | PatProject {
  - patXE :: !Var
  - patX :: !Var
  - patTy :: !Type
  - patCtor :: !DataCon
  - patBinds :: ![Var]
  - patIdx :: !Int
  }
- | PatSelfBind {
  - patX :: !Var
  - patE :: !CoreExpr
  }
- | PatSelfRecBind {
  - patX :: !Var
  - patE :: !CoreExpr
  }
lift :: CoreExpr -> Maybe Pattern
lower :: Pattern -> CoreExpr

High-level Source Patterns

data Pattern Source #

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}
PatSelfBind
Fields patX :: !Var x patE :: !CoreExpr e
PatSelfRecBind
Fields patX :: !Var x patE :: !CoreExpr e

Instances

Instances details

PPrint Pattern Source #
Instance details Defined in Language.Haskell.Liquid.GHC.Resugar Methods pprintTidy :: Tidy -> Pattern -> Doc # pprintPrec :: Int -> Tidy -> Pattern -> Doc #

Lift a CoreExpr into a Pattern

lift :: CoreExpr -> Maybe Pattern Source #

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

Lower a pattern back into a CoreExpr

lower :: Pattern -> CoreExpr Source #

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