OpenStrat
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
OpenStrat/ostrat/ArrOff1Tail

ArrOff1Tail

ostrat.ArrOff1Tail$
object ArrOff1Tail

Extractor for immutable heapless iterator for Arr with at least l element.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def unapply[A](inp: ArrOff[A])(implicit arr: RArr[A]): Option[(A, ArrOff[A])]

Extractor for immutable heapless iterator for Arr with at least l element.

Extractor for immutable heapless iterator for Arr with at least l element.

Attributes

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL