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

Monoid Info

Pretty Info

betaReduce :: forall c a n. (Ord n, TransformUpMX (Writer Info) c) => Config -> c a n -> 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.