Data.HSet.Reverse

Documentation

class HReverse acc els1 els2 | acc els1 -> els2 where

This is auxiliary typeclass for inversing the order of hset elements

Methods

hreverse' :: HSet acc -> HSet els1 -> HSet els2

Instances

HReverse acc ([] *) acc

((~) [*] ((:) * e els1) (Reverse els2), HReverse ((:) * e ([] *)) els1 els2) => HReverse ([] *) ((:) * e els1) els2

((~) Bool False (Elem * e ((:) * ah at)), HReverse ((:) * e ((:) * ah at)) els1 els2) => HReverse ((:) * ah at) ((:) * e els1) els2

type HReversible els1 els2 = HReverse [] els1 els2

hreverse :: HReversible a r => HSet a -> HSet r