aern2-fun-0.2.9.0: Generic operations for real functions

Copyright	2016 (c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

AERN2.PQueue

Contents

Type
Query
Construction
Insertion
Deletion

Description

IntPSQ with simplified API, hiding the keys

Synopsis

data PQueue p
null :: PQueue p -> Bool
size :: PQueue p -> Int
singleton :: Ord p => p -> PQueue p
empty :: Ord p => PQueue p
insert :: Ord p => p -> PQueue p -> PQueue p
minView :: Ord p => PQueue p -> Maybe (p, PQueue p)

Type

data PQueue p Source #

Query

null :: PQueue p -> Bool Source #

size :: PQueue p -> Int Source #

Construction

singleton :: Ord p => p -> PQueue p Source #

empty :: Ord p => PQueue p Source #

Insertion

insert :: Ord p => p -> PQueue p -> PQueue p Source #

Deletion

minView :: Ord p => PQueue p -> Maybe (p, PQueue p) Source #