ddc-core-simpl-0.3.1.1: Disciplined Disciple Compiler code transformations.

Safe HaskellSafe-Inferred

DDC.Core.Transform.Snip

Description

Snip out nested applications.

Documentation

class Snip c whereSource

Methods

snipSource

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)