fgl-5.4.1.1: Martin Erwig's Functional Graph Library
Source code
Contents
Index
Data.Graph.Inductive.Internal.Heap
Contents
Type
Operations
Description
Pairing heap implementation of dictionary
Synopsis
data
Heap
a b
=
Empty
|
Node
a b [
Heap
a b]
empty
::
Ord
a =>
Heap
a b
unit
::
Ord
a => a -> b ->
Heap
a b
insert
::
Ord
a => (a, b) ->
Heap
a b ->
Heap
a b
merge
::
Ord
a =>
Heap
a b ->
Heap
a b ->
Heap
a b
mergeAll
::
Ord
a => [
Heap
a b] ->
Heap
a b
isEmpty
::
Ord
a =>
Heap
a b ->
Bool
findMin
::
Ord
a =>
Heap
a b -> (a, b)
deleteMin
::
Ord
a =>
Heap
a b ->
Heap
a b
splitMin
::
Ord
a =>
Heap
a b -> (a, b,
Heap
a b)
build
::
Ord
a => [(a, b)] ->
Heap
a b
toList
::
Ord
a =>
Heap
a b -> [(a, b)]
heapsort
::
Ord
a => [a] -> [a]
Type
data
Heap
a b
Source
Constructors
Empty
Node
a b [
Heap
a b]
Instances
(
Ord
a,
Eq
a,
Eq
b, ??? a b) =>
Eq
(
Heap
a b)
(
Show
a,
Ord
a,
Show
b) =>
Show
(
Heap
a b)
Operations
empty
::
Ord
a =>
Heap
a b
Source
unit
::
Ord
a => a -> b ->
Heap
a b
Source
insert
::
Ord
a => (a, b) ->
Heap
a b ->
Heap
a b
Source
merge
::
Ord
a =>
Heap
a b ->
Heap
a b ->
Heap
a b
Source
mergeAll
::
Ord
a => [
Heap
a b] ->
Heap
a b
Source
isEmpty
::
Ord
a =>
Heap
a b ->
Bool
Source
findMin
::
Ord
a =>
Heap
a b -> (a, b)
Source
deleteMin
::
Ord
a =>
Heap
a b ->
Heap
a b
Source
splitMin
::
Ord
a =>
Heap
a b -> (a, b,
Heap
a b)
Source
build
::
Ord
a => [(a, b)] ->
Heap
a b
Source
toList
::
Ord
a =>
Heap
a b -> [(a, b)]
Source
heapsort
::
Ord
a => [a] -> [a]
Source
Produced by
Haddock
version 0.8