Control.Monad.Adaptive.OrderedList

Documentation

data Record m r a

data OrderedList m r a b

Instances

Ref m r => Monad (OrderedList m r a)

Ref m r => Functor (OrderedList m r a)

Ref m r => Ref (OrderedList m r a) r

Enum (OrderedList m r a b)

Eq (OrderedList m r a b)

(Ref m r, Integral b) => Integral (OrderedList m r a b)

(Ref m r, Num b) => Num (OrderedList m r a b)

Ord (OrderedList m r a b)

(Ref m r, Real b) => Real (OrderedList m r a b)

Show (OrderedList m r a b)

rval :: Ref m r => Record m r a -> OrderedList m r a a

next :: Ref m r => Record m r a -> OrderedList m r a (Record m r a)

order :: Ref m r => Record m r a -> Record m r a -> OrderedList m r a Ordering

delete :: Ref m r => Record m r a -> OrderedList m r a ()

spliceOut :: Ref m r => Record m r a -> Record m r a -> OrderedList m r a ()

deleted :: Ref m r => Record m r a -> OrderedList m r a Bool

insert :: Ref m r => Record m r a -> a -> OrderedList m r a (Record m r a)

base :: Ref m r => OrderedList m r a (Record m r a)

run :: Ref m r => OrderedList m r a b -> m b

inM :: Ref m r => m b -> OrderedList m r a b

record :: Ref m r => Record m r a -> OrderedList m r a (Bool, Integer, a)