DDC.Core.Transform.Beta

Beta-reduce applications of a explicit lambda abstractions to variables and values.

Documentation

data Config

Constructors

Config

Fields

configBindRedexes :: Bool

If we find a lambda abstraction applied to a redex then let-bind the redex and substitute the new variable instead.

Instances

Show Config

configZero :: Config

Empty beta configuration with all flags set to False.

data Info

A summary of what the beta reduction transform did.

Constructors

Info

Fields

infoTypes :: Int

Number of type applications reduced.

infoWits :: Int

Number of witness applications reduced.

infoValues :: Int

Number of value applications reduced.

infoValuesLetted :: Int

Number of redexes let-bound.

infoValuesSkipped :: Int

Number of applications that we couldn't reduce.

Instances

Typeable Info

Pretty Info

Monoid Info

betaReduce

Arguments

:: forall c a n . (Ord n, TransformUpMX (Writer Info) c)

=> Profile n

Language profile.

-> Config

Beta transform config.

-> c a n

Thing to transform.

-> TransformResult (c a n)

Beta-reduce applications of a explicit lambda abstractions to variables and values.

If the flag is set then if we find a lambda abstraction that is applied to a redex then let-bind the redex and substitute the new variable instead.