DDC.Core.Transform.Snip

Snip out nested applications.

Documentation

class Snip c where

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

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)

Snip (Exp a)

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.

configZero :: Config

Snipper configuration with all flags set to False.