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

ArrOff1

ostrat.ArrOff1$
object ArrOff1

Extractor object for an immutable heapless iterator for Arr with exactly 1 element.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ArrOff1.type

Members list

Concise view

Value members

Concrete methods

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

Extractor for an immutable heapless iterator for Arr with exactly 1 element.

Extractor for an immutable heapless iterator for Arr with exactly 1 element.

Attributes

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