Pandora.Pattern.Object.Cycle

Documentation

class Chain a => Cycle a where

When providing a new instance, you should ensure it satisfies:
* Transitivity: x ≡ previous (next x)

Strict ternary relation order

Methods

previous :: a -> a

next :: a -> a