Safe Haskell	None
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

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

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