tct-2.0.1: A Complexity Analyser for Term Rewrite Systems

Portabilityunportable
Stabilityunstable
MaintainerMartin Avanzini <martin.avanzini@uibk.ac.at>
Safe HaskellSafe-Infered

Tct.Method.Uncurry

Contents

Description

This module implements the uncurrying transformation.

Synopsis

Documentation

uncurry :: TheTransformer Uncurry

Uncurrying for full and innermost rewriting. Note that this processor fails on dependency pair problems.

Proof Object

data UncurryProof

Constructors

UncurryProof 

Fields

inputProblem :: Problem
 
newSignature :: Signature
 
uncurryTrs :: Trs
 
uncurriedStrict :: Trs
 
uncurriedWeak :: Trs
 
NotUncurryable 

Fields

reason :: String
 
EmptyStrictRules 

Processor

uncurryProcessor :: Transformation Uncurry AnyProcessor

data Uncurry

Instances