-----------------------------------------------------------------------------
-- |
-- Module : Transform.Rules.SYB
-- Copyright : (c) 2010 University of Minho
-- License : BSD3
--
-- Maintainer : hpacheco@di.uminho.pt
-- Stability : experimental
-- Portability : non-portable
--
-- Pointless Rewrite:
-- automatic transformation system for point-free programs
--
-- Generic strategy for the rewriting of point-free strategic combinators.
--
-----------------------------------------------------------------------------
module Transform.Rules.SYB where
import Transform.Rewriting
import Transform.Rules.SYB.TP
import Transform.Rules.SYB.TU
optimise_syb :: Rule
optimise_syb = optimise_tp >>> optimise_tu
optimise_tp :: Rule
optimise_tp = innermost tp
optimise_tu :: Rule
optimise_tu = innermost tu