DDC.Core.Analysis.Usage

Annotate let bindings with how their bound variables are used.

Usage map

data Used

Tracks how a bound variable is used.

Constructors

UsedFunction

Bound variable is used as the function in an application.

UsedDestruct

Bound variable is destructed by a case-expression.

UsedInCast

Bound variable is used inside a weakclo cast.

UsedOcc

Bound variable has an occurrence that is not one of the above.

UsedInLambda Used

Usage is inside a Lambda abstraction (either type or value)

UsedInAlt Used

Usage is inside a case alternative.

Instances

Eq Used

Methods

(==) :: Used -> Used -> Bool

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

Show Used

Methods

showsPrec :: Int -> Used -> ShowS

show :: Used -> String

showList :: [Used] -> ShowS

data UsedMap n

Map of bound name to how the variable is used.

Constructors

UsedMap (Map n [Used])

Instances

Show n => Show (UsedMap n)

Methods

showsPrec :: Int -> UsedMap n -> ShowS

show :: UsedMap n -> String

showList :: [UsedMap n] -> ShowS

Usage analysis

usageModule :: Ord n => Module a n -> Module (UsedMap n, a) n

Annotate all binding occurrences of variables in an expression with how they are used.

usageX :: Ord n => Exp a n -> Exp (UsedMap n, a) n

Annotate all binding occurrences of variables in an expression with how they are used.