DDC.Core.Transform.Snip

Snip out nested applications.

Documentation

class Snip c where

Class of things that can have things snipped out of them.

Minimal complete definition

snip

Methods

snip :: Ord n => Config -> c n -> c n

Snip out nested applications as anonymous bindings.

     f (g x) (h y)
 ==> let ^ = g x in ^ = h y in f ^1 ^0

Instances

Snip (Module a)

Methods

snip :: Ord n => Config -> Module a n -> Module a n

Snip (Exp a)

Methods

snip :: Ord n => Config -> Exp a n -> Exp a n

data Config

Snipper configuration.

Constructors

Config

Fields

• configSnipOverApplied :: Bool

  Introduce new bindings for over-applied functions.

• configSnipLetBody :: Bool

  Ensure the body of a let-expression is a variable.

• configPreserveLambdas :: Bool

  Treat lambda abstractions as atomic, and don't snip them.

configZero :: Config

Snipper configuration with all flags set to False.