net.scalax.simple.adt.implemention
Members list
Concise view
Type members
Classlikes
object AdtNumber
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- AdtNumber.type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- class NatFuncZero
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object FoldContext
Attributes
- Companion:
- trait
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- FoldContext.type
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object IsFinishAndNothing
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- IsFinishAndNothing.type
trait NatFunc
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- class NatFuncZero
object NatFunc
abstract case class NatFuncPositive[Data, +T <: NatFunc](dataInstance: Option[Data]) extends NatFunc with DataInstance[Data]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait DataInstance[Data]trait NatFuncclass Objecttrait Matchableclass Any
- Known subtypes
- class NatFuncZero
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait DataInstance[IsFinishAndNothing]trait NatFuncclass Objecttrait Matchableclass Any
object NatFuncZero
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- NatFuncZero.type