Merge

onera.pmlanalyzer.pml.operators.Merge
See theMerge companion object
trait Merge[-L, -R]

Concatenation operation over two types FIXME IS THIS REALLY HELPFUL

Attributes

L

left type

R

right type

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Types

type Result

Value members

Abstract methods

def apply(l: L, r: R): Result