Safe Haskell	Safe
Language	Haskell98

DDC.Core.Transform.Snip

Description

Snip out nested applications.

Synopsis

Documentation

class Snip c where Source #

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

Minimal complete definition

Methods

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

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) Source #
Methods snip :: Ord n => Config -> Module a n -> Module a n Source #
Snip (Exp a) Source #
Methods snip :: Ord n => Config -> Exp a n -> Exp a n Source #

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.

Snipper configuration with all flags set to False.