rest-rewrite-0.4.1: Rewriting library with online termination checking
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.REST.Core

Description

Core REST functions

Synopsis

Documentation

orient :: OCAlgebra oc RuntimeTerm m -> [RuntimeTerm] -> oc Source #

orient impl ts generates the constraints on an ordering defined by the OCA impl, that ensures each term in the path ts is smaller than or equal to the previous one.