Safe Haskell	None
Language	GHC2021

Test.Credit.Heap.Binomial

Documentation

Constructors

Instances details

MemoryCell m a => MemoryCell m (Tree a) Source #
Instance details Defined in Test.Credit.Heap.Binomial Methods prettyCell :: Tree a -> m Memory Source #
Show a => Show (Tree a) Source #
Instance details Defined in Test.Credit.Heap.Binomial Methods showsPrec :: Int -> Tree a -> ShowS # show :: Tree a -> String # showList :: [Tree a] -> ShowS #
Eq a => Eq (Tree a) Source #
Instance details Defined in Test.Credit.Heap.Binomial Methods (==) :: Tree a -> Tree a -> Bool # (/=) :: Tree a -> Tree a -> Bool #
Ord a => Ord (Tree a) Source #
Instance details Defined in Test.Credit.Heap.Binomial Methods compare :: Tree a -> Tree a -> Ordering # (<) :: Tree a -> Tree a -> Bool # (<=) :: Tree a -> Tree a -> Bool # (>) :: Tree a -> Tree a -> Bool # (>=) :: Tree a -> Tree a -> Bool # max :: Tree a -> Tree a -> Tree a # min :: Tree a -> Tree a -> Tree a #

rev :: MonadCredit m => [a] -> [a] -> m [a] Source #

mrg :: (MonadCredit m, Ord a) => [Tree a] -> [Tree a] -> m [Tree a] Source #

Constructors

Instances details

BoundedHeap Binomial Source #
Instance details Defined in Test.Credit.Heap.Binomial Methods hcost :: Size -> HeapOp a -> Credit Source #
Heap Binomial Source #
Instance details Defined in Test.Credit.Heap.Binomial Methods empty :: MonadCredit m => m (Binomial a m) Source # insert :: (MonadCredit m, Ord a) => a -> Binomial a m -> m (Binomial a m) Source # merge :: (MonadCredit m, Ord a) => Binomial a m -> Binomial a m -> m (Binomial a m) Source # splitMin :: (MonadCredit m, Ord a) => Binomial a m -> m (Maybe (a, Binomial a m)) Source #
(MonadMemory m, MemoryCell m a) => MemoryCell m (Binomial a m) Source #
Instance details Defined in Test.Credit.Heap.Binomial Methods prettyCell :: Binomial a m -> m Memory Source #
Pretty a => MemoryStructure (Binomial (PrettyCell a)) Source #
Instance details Defined in Test.Credit.Heap.Binomial Methods prettyStructure :: MonadMemory m => Binomial (PrettyCell a) m -> m Memory Source #