package data
- Alphabetic
- By Inheritance
- data
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- abstract class AbstractImmArraySeq[+A] extends AbstractSeq[A] with IndexedSeq[A] with IndexedSeqOps[A, ImmArraySeq, ImmArraySeq[A]] with StrictOptimizedSeqOps[A, ImmArraySeq, ImmArraySeq[A]] with IterableFactoryDefaults[A, ImmArraySeq]
- final class ArrayFactory[T] extends AnyRef
- final class BackStack[+A] extends AnyRef
A stack which allows to snoc, append, and pop in constant time, and generate an ImmArray in linear time.
- final class Bytes extends AnyVal
- sealed trait ConcatenableStringModule[T <: String, HS <: String] extends StringModule[T]
ConcatenableMatchingString are non empty US-ASCII strings built with letters, digits, and some other (parameterizable) extra characters.
ConcatenableMatchingString are non empty US-ASCII strings built with letters, digits, and some other (parameterizable) extra characters. We use them to represent identifiers. In this way, we avoid empty identifiers, escaping problems, and other similar pitfalls.
ConcatenableMatchingString has the advantage over MatchingStringModule of being concatenable and can be generated from numbers without extra checks. Those properties are heavily use to generate some ids by combining other existing ids.
- final class FrontStack[+A] extends AnyRef
A stack which allows to cons, prepend, and pop in constant time, and generate an ImmArray in linear time.
A stack which allows to cons, prepend, and pop in constant time, and generate an ImmArray in linear time. Very useful when needing to traverse stuff in topological order or similar situations.
- sealed trait HexStringModule[T <: String] extends StringModule[T]
- sealed abstract class IdString extends AnyRef
- final class ImmArray[+A] extends AnyRef
Simple immutable array.
Simple immutable array. The intention is that all the operations have the "obvious" operational behavior (like Vector in haskell).
Functions that slice the
ImmArray
(includinghead
,tail
, etc) are all constant time -- they keep referring to the same underlying array.Note that we _very intentionally_ do _not_ make this an instance of any sorts of
Seq
, since usingSeq
encourages patterns where the performance of what you're doing is totally unclear. UsetoSeq
if you want aSeq
, and think about what that means. - abstract class ImmArraySeqCompanion extends StrictOptimizedSeqFactory[ImmArraySeq]
- final class InsertOrdSet[T] extends AbstractSet[T] with IterableFactoryDefaults[T, InsertOrdSet] with StrictOptimizedSetOps[T, InsertOrdSet, InsertOrdSet[T]] with Serializable
Insert-ordered Set.
Insert-ordered Set.
Implemented as (Queue[T], HashSet[T]). Asymptotics: get: O(1) insert: O(1) remove: O(n)
- trait NoCopy extends AnyRef
- type Numeric = data.NumericModule.Numeric
- abstract class NumericModule extends AnyRef
The model of our floating point decimal numbers.
The model of our floating point decimal numbers.
These are numbers of precision 38 (38 decimal digits), and variable scale (from 0 to 37 bounds included).
- type Relation[A, B] = Map[A, Set[B]]
- final class SortedLookupList[+X] extends Equals
We use this container to pass around Daml-LF text maps as flat lists in various parts of the codebase.
- sealed abstract class SortedLookupListInstances extends AnyRef
- sealed trait StringModule[T] extends AnyRef
- final class Struct[+X] extends AnyVal
- sealed abstract class TemplateOrInterface[+T, +I] extends Product with Serializable
Value Members
- val Numeric: NumericModule
- def assertRight[X](either: Either[String, X]): X
- Annotations
- @throws(scala.this.throws.<init>$default$1[IllegalArgumentException])
- object BackStack
- object BackStackSnoc
- object Bytes
- object Decimal
- object FrontStack extends IterableFactory[FrontStack]
- object FrontStackCons
- object IdString
- object ImmArray extends IterableFactory[ImmArray]
- object ImmArrayCons
We do not provide apply on purpose -- see slowCons on why we want to discourage consing
- object ImmArraySnoc
We do not provide apply on purpose -- see slowCons on why we want to discourage snocing
- object InsertOrdSet extends IterableFactory[InsertOrdSet]
- object NumericModule
- object Ref
- object Relation
- object SortedLookupList extends SortedLookupListInstances
- object Struct
- object TemplateOrInterface extends Serializable
- object Time
- object Utf8