OrderedSequence <T, V> PushLeft(OrderedElement <T, V> o)
{
var v = _finger.LeftView();
if (v != null)
{
if (v.End.Measure().CompareTo(o.Measure()) < 0)
{
throw new Exception("OrderedSequence Error: PushLeft() of an element greater than the smallest seq el.");
}
}
return(new OrderedSequence <T, V>(_x, _finger.PushLeft(o)));
}
public override FingerTree <WeightedElement <T>, double> PushLeft(WeightedElement <T> t) => new PriorityQueue <T>(_finger.PushLeft(t));
public override FingerTree <SizedElement <T>, int> PushLeft(SizedElement <T> t) => new FingerArray <T>(_finger.PushLeft(t));
