kure-2.12.2: Combinators for Strategic Programming

Portabilityghc
Stabilitybeta
MaintainerNeil Sculthorpe <neil@ittc.ku.edu>
Safe HaskellSafe-Inferred

Language.KURE.Combinators

Description

This module provides various monadic and arrow combinators that are useful when working with Translates and Rewrites.

Documentation

module Language.KURE.Combinators.Translate

module Language.KURE.Combinators.Monad

module Language.KURE.Combinators.Arrow