hset-2.2.0: Primitive list with elements of unique types.

Safe HaskellNone
LanguageHaskell2010

Data.HSet.Reverse

Synopsis

Documentation

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

This is auxiliary typeclass for inversing the order of hset elements

Methods

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

Instances

HReverse acc ([] *) acc Source 
HReverse ((:) * e ([] *)) els1 els2 => HReverse ([] *) ((:) * e els1) els2 Source 
(NotElem * e ((:) * ah at), HReverse ((:) * e ((:) * ah at)) els1 els2) => HReverse ((:) * ah at) ((:) * e els1) els2 Source 

type HReversible els1 els2 = HReverse `[]` els1 els2 Source

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