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

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

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

Monoid Info

Methods

mempty :: Info

mappend :: Info -> Info -> Info

mconcat :: [Info] -> Info

Pretty Info

Associated Types

data PrettyMode Info :: *

Methods

pprDefaultMode :: PrettyMode Info

ppr :: Info -> Doc

pprPrec :: Int -> Info -> Doc

pprModePrec :: PrettyMode Info -> Int -> Info -> Doc

betaReduce

Arguments

:: forall (c :: * -> * -> *). (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.