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)

(EqRef r, Functor (OrderedList m r a), Monad (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)

(Real (OrderedList m r a b), Enum (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)

Eq (OrderedList m r a b) => Ord (OrderedList m r a 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)