Safe Haskell	None
Language	Haskell2010

Data.HSet.Reverse

Synopsis

Documentation

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

This is auxiliary typeclass for inversing the order of hset elements

Minimal complete definition

Methods

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

Instances

HReverse acc ([] :: [*]) acc #
Instance details Defined in Data.HSet.Reverse Methods hreverse' :: HSet acc -> HSet [] -> HSet acc #
HReverse (e ': ([] :: [])) els1 els2 => HReverse ([] :: []) (e ': els1) els2 #
Instance details Defined in Data.HSet.Reverse Methods hreverse' :: HSet [] -> HSet (e ': els1) -> HSet els2 #
(NotElem e (ah ': at), HReverse (e ': (ah ': at)) els1 els2) => HReverse (ah ': at) (e ': els1) els2 #
Instance details Defined in Data.HSet.Reverse Methods hreverse' :: HSet (ah ': at) -> HSet (e ': els1) -> HSet els2 #

type HReversible els1 els2 = HReverse '[] els1 els2 #