Safe Haskell	None
Language	Haskell2010

Data.HSet.Reverse

Synopsis

class HReverse acc els1 els2 | acc els1 -> els2 where
- hreverse' :: HSet acc -> HSet els1 -> HSet els2
type HReversible els1 els2 = HReverse '[] els1 els2
hreverse :: HReversible a r => HSet a -> HSet r

Documentation

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

This is auxiliary typeclass for inversing the order of hset elements

Methods

Instances

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

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