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

Show Used

data UsedMap n

Map of bound name to how the variable is used.

Constructors

UsedMap (Map n [Used])

Instances

Show n => Show (UsedMap n)

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.