rdts
API
Generated with
rdts/rdts/rdts.base/Decompose/Derivation

Derivation

rdts.base.Decompose.Derivation
object Derivation

Attributes

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

Members list

Type members

Classlikes

class ProductDecompose[T <: Product](lattices: Tuple, bottoms: Tuple, pm: ProductOf[T], label: String) extends Decompose[T]

Attributes

Supertypes
trait Decompose[T]
class Object
trait Matchable
class Any
class SumDecompose[T](sm: SumOf[T], lattices: Tuple) extends Decompose[T]

Attributes

Supertypes
trait Decompose[T]
class Object
trait Matchable
class Any
Generated with