| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.REST.Core
Description
Core REST functions
Synopsis
- orient :: OCAlgebra oc RuntimeTerm m -> [RuntimeTerm] -> oc
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.