AmountString
org.encalmo.models.AmountString$package.AmountString
object AmountString extends OpaqueStringWithPattern[AmountString, "-?[0-9]+"]
Attributes
- Graph
-
- Supertypes
-
trait OpaqueStringWithPattern[AmountString, "-?[0-9]+"]trait OpaqueString[AmountString]class Objecttrait Matchableclass AnyShow all
- Self type
-
AmountString.type
Members list
Type members
Inherited classlikes
object given_Conversion_O_T extends Conversion[O, T]
Attributes
- Inherited from:
- AutoShow
- Supertypes
Value members
Concrete methods
Inherited methods
Attributes
- Inherited from:
- OpaqueStringWithPattern
Attributes
- Inherited from:
- OpaqueStringWithPattern
Attributes
- Inherited from:
- OpaqueStringWithPattern
Attributes
- Inherited from:
- OpaqueType
Attributes
- Inherited from:
- OpaqueStringWithPattern
Concrete fields
Givens
Givens
Inherited givens
Attributes
- Inherited from:
- AutoShow
Attributes
- Inherited from:
- OpaqueString
Attributes
- Inherited from:
- OpaqueString
Extensions
Extensions
extension (amount: AmountString)
Current amount or ZERO if negative
Current amount or ZERO if negative
Attributes
Inherited extensions
extension (value: AmountString)
Attributes
- Inherited from:
- OpaqueType
In this article