DDC.Core.Transform.Snip

Snip out nested applications.

Documentation

class Snip c where

Methods

snip

Arguments

:: Ord n

=> Bool

Introduce extra bindings for over-applied functions.

-> 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)