QIO.Heap

Documentation

class Eq h => Heap h where

Methods

initial :: h

update :: h -> Qbit -> Bool -> h

(?) :: h -> Qbit -> Maybe Bool

forget :: h -> Qbit -> h

hswap :: h -> Qbit -> Qbit -> h

Instances

Heap HeapMap

type HeapMap = Map Qbit Bool