diff --git a/docs-main/appdev/reference/daml-standard-library/da-action-state.mdx b/docs-main/appdev/reference/daml-standard-library/da-action-state.mdx index 9d89076d1..a04e792d3 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-action-state.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-action-state.mdx @@ -79,7 +79,7 @@ Instances: ### `evalState` -```haskell +```daml evalState : State s a -> s -> a ``` @@ -89,7 +89,7 @@ Special case of `runState` that does not return the final state. ### `execState` -```haskell +```daml execState : State s a -> s -> s ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-action.mdx b/docs-main/appdev/reference/daml-standard-library/da-action.mdx index 6320811a6..cfa252b8e 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-action.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-action.mdx @@ -31,7 +31,7 @@ Deprecated since: `-` ### `when` -```haskell +```daml when : Applicative f => Bool -> f () -> f () ``` @@ -50,7 +50,7 @@ is not evaluated at all. ### `unless` -```haskell +```daml unless : Applicative f => Bool -> f () -> f () ``` @@ -64,7 +64,7 @@ is not evaluated at all. ### `foldrA` -```haskell +```daml foldrA : Action m => (a -> b -> m b) -> b -> [a] -> m b ``` @@ -76,7 +76,7 @@ over the list arguments. ### `foldr1A` -```haskell +```daml foldr1A : Action m => (a -> a -> m a) -> [a] -> m a ``` @@ -87,7 +87,7 @@ with an empty list argument. ### `foldlA` -```haskell +```daml foldlA : Action m => (b -> a -> m b) -> b -> [a] -> m b ``` @@ -99,7 +99,7 @@ left-to-right over the list arguments. ### `foldl1A` -```haskell +```daml foldl1A : Action m => (a -> a -> m a) -> [a] -> m a ``` @@ -110,7 +110,7 @@ presented with an empty list argument. ### `filterA` -```haskell +```daml filterA : Applicative m => (a -> m Bool) -> [a] -> m [a] ``` @@ -125,7 +125,7 @@ filterA (fmap (\iou -> iou.currency == "GBP") . fetch) iouCids ### `replicateA` -```haskell +```daml replicateA : Applicative m => Int -> m a -> m [a] ``` @@ -136,7 +136,7 @@ results. ### `replicateA_` -```haskell +```daml replicateA_ : Applicative m => Int -> m a -> m () ``` @@ -146,7 +146,7 @@ Like `replicateA`, but discards the result. ### `>=>` -```haskell +```daml >=> : Action m => (a -> m b) -> (b -> m c) -> a -> m c ``` @@ -156,7 +156,7 @@ Left-to-right composition of Kleisli arrows. ### `<=<` -```haskell +```daml <=< : Action m => (b -> m c) -> (a -> m b) -> a -> m c ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-assert.mdx b/docs-main/appdev/reference/daml-standard-library/da-assert.mdx index e48ba3ae0..c2ec708c5 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-assert.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-assert.mdx @@ -29,7 +29,7 @@ Deprecated since: `-` ### `assertEq` -```haskell +```daml assertEq : (CanAssert m, Show a, Eq a) => a -> a -> m () ``` @@ -40,7 +40,7 @@ fail with a message. ### `===` -```haskell +```daml === : (CanAssert m, Show a, Eq a) => a -> a -> m () ``` @@ -50,7 +50,7 @@ Infix version of `assertEq`. ### `assertNotEq` -```haskell +```daml assertNotEq : (CanAssert m, Show a, Eq a) => a -> a -> m () ``` @@ -61,7 +61,7 @@ fail with a message. ### `=/=` -```haskell +```daml =/= : (CanAssert m, Show a, Eq a) => a -> a -> m () ``` @@ -71,7 +71,7 @@ Infix version of `assertNotEq`. ### `assertAfterMsg` -```haskell +```daml assertAfterMsg : (CanAssert m, HasTime m) => Text -> Time -> m () ``` @@ -82,7 +82,7 @@ abort with a message. ### `assertBeforeMsg` -```haskell +```daml assertBeforeMsg : (CanAssert m, HasTime m) => Text -> Time -> m () ``` @@ -93,7 +93,7 @@ abort with a message. ### `assertWithinDeadline` -```haskell +```daml assertWithinDeadline : Text -> Time -> Update () ``` @@ -104,7 +104,7 @@ If it's not, abort with a message. ### `assertDeadlineExceeded` -```haskell +```daml assertDeadlineExceeded : Text -> Time -> Update () ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-bifunctor.mdx b/docs-main/appdev/reference/daml-standard-library/da-bifunctor.mdx index 98a099533..022a6a6d3 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-bifunctor.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-bifunctor.mdx @@ -45,13 +45,13 @@ defining both first and second. If you supply bimap, you should ensure that: -```haskell-force +```daml-force `bimap identity identity` ≡ `identity` ``` If you supply first and second, ensure: -```haskell-force +```daml-force first identity ≡ identity second identity ≡ identity @@ -59,13 +59,13 @@ second identity ≡ identity If you supply both, you should also ensure: -```haskell-force +```daml-force bimap f g ≡ first f . second g ``` By parametricity, these will ensure that: -```haskell-force +```daml-force bimap (f . g) (h . i) ≡ bimap f h . bimap g i first (f . g) ≡ first f . first g @@ -78,7 +78,7 @@ Methods: - `bimap : (a -> b) -> (c -> d) -> p a c -> p b d` Map over both arguments at the same time. - ```haskell-force + ```daml-force bimap f g ≡ first f . second g ``` @@ -97,7 +97,7 @@ Methods: - `first : (a -> b) -> p a c -> p b c` Map covariantly over the first argument. - ```haskell-force + ```daml-force first f ≡ bimap f identity ``` @@ -113,7 +113,7 @@ Methods: - `second : (b -> c) -> p a b -> p a c` Map covariantly over the second argument. - ```haskell-force + ```daml-force second ≡ bimap identity ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-crypto-text.mdx b/docs-main/appdev/reference/daml-standard-library/da-crypto-text.mdx index 5e7152192..a3da35b7b 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-crypto-text.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-crypto-text.mdx @@ -94,7 +94,7 @@ Instances: ### `isHex` -```haskell +```daml isHex : Text -> Bool ``` @@ -105,7 +105,7 @@ hex or hexadecimal characters. ### `sha256` -```haskell +```daml sha256 : BytesHex -> BytesHex ``` @@ -116,7 +116,7 @@ form. The hex encoding uses lowercase letters. ### `keccak256` -```haskell +```daml keccak256 : BytesHex -> BytesHex ``` @@ -127,7 +127,7 @@ form. The hex encoding uses lowercase letters. ### `secp256k1WithEcdsaOnly` -```haskell +```daml secp256k1WithEcdsaOnly : SignatureHex -> BytesHex -> PublicKeyHex -> Bool ``` @@ -137,7 +137,7 @@ Validate the SECP256K1 signature given a hex encoded message and a hex encoded D ### `secp256k1` -```haskell +```daml secp256k1 : SignatureHex -> BytesHex -> PublicKeyHex -> Bool ``` @@ -147,7 +147,7 @@ Validate the SECP256K1 signature given a SHA256 hash of a hex encoded message an ### `numericViaStringToHex` -```haskell +```daml numericViaStringToHex : NumericScale n => Numeric n -> BytesHex ``` @@ -155,7 +155,7 @@ numericViaStringToHex : NumericScale n => Numeric n -> BytesHex ### `numericViaStringFromHex` -```haskell +```daml numericViaStringFromHex : NumericScale n => BytesHex -> Optional (Numeric n) ``` @@ -163,7 +163,7 @@ numericViaStringFromHex : NumericScale n => BytesHex -> Optional (Numeric n) ### `byteCount` -```haskell +```daml byteCount : BytesHex -> Int ``` @@ -173,7 +173,7 @@ Number of bytes present in a byte encoded string. ### `minBytes32Hex` -```haskell +```daml minBytes32Hex : BytesHex ``` @@ -183,7 +183,7 @@ Minimum Bytes32 hex value ### `maxBytes32Hex` -```haskell +```daml maxBytes32Hex : BytesHex ``` @@ -193,7 +193,7 @@ Maximum Bytes32 hex value ### `isBytes32Hex` -```haskell +```daml isBytes32Hex : BytesHex -> Bool ``` @@ -203,7 +203,7 @@ Validate that the byte encoded string is Bytes32Hex ### `minUInt32Hex` -```haskell +```daml minUInt32Hex : BytesHex ``` @@ -213,7 +213,7 @@ Minimum UInt32 hex value ### `maxUInt32Hex` -```haskell +```daml maxUInt32Hex : BytesHex ``` @@ -223,7 +223,7 @@ Maximum UInt32 hex value ### `isUInt32Hex` -```haskell +```daml isUInt32Hex : BytesHex -> Bool ``` @@ -233,7 +233,7 @@ Validate that the byte encoded string is UInt32Hex ### `minUInt64Hex` -```haskell +```daml minUInt64Hex : BytesHex ``` @@ -243,7 +243,7 @@ Minimum UInt64 hex value ### `maxUInt64Hex` -```haskell +```daml maxUInt64Hex : BytesHex ``` @@ -253,7 +253,7 @@ Maximum UInt64 hex value ### `isUInt64Hex` -```haskell +```daml isUInt64Hex : BytesHex -> Bool ``` @@ -263,7 +263,7 @@ Validate that the byte encoded string is UInt64Hex ### `minUInt256Hex` -```haskell +```daml minUInt256Hex : BytesHex ``` @@ -273,7 +273,7 @@ Minimum UInt256 hex value ### `maxUInt256Hex` -```haskell +```daml maxUInt256Hex : BytesHex ``` @@ -283,7 +283,7 @@ Maximum UInt256 hex value ### `isUInt256Hex` -```haskell +```daml isUInt256Hex : BytesHex -> Bool ``` @@ -293,7 +293,7 @@ Validate that the byte encoded string is UInt256Hex ### `packHexBytes` -```haskell +```daml packHexBytes : BytesHex -> Int -> Optional BytesHex ``` @@ -304,7 +304,7 @@ size, then prefix with 00 byte strings. If the byte string is larger, then trunc ### `sliceHexBytes` -```haskell +```daml sliceHexBytes : BytesHex -> Int -> Int -> Either Text BytesHex ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-date.mdx b/docs-main/appdev/reference/daml-standard-library/da-date.mdx index ea79180b9..26d185096 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-date.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-date.mdx @@ -110,7 +110,7 @@ Instances: ### `addDays` -```haskell +```daml addDays : Date -> Int -> Date ``` @@ -120,7 +120,7 @@ Add the given number of days to a date. ### `subtractDays` -```haskell +```daml subtractDays : Date -> Int -> Date ``` @@ -132,7 +132,7 @@ Subtract the given number of days from a date. ### `subDate` -```haskell +```daml subDate : Date -> Date -> Int ``` @@ -142,7 +142,7 @@ Returns the number of days between the two given dates. ### `dayOfWeek` -```haskell +```daml dayOfWeek : Date -> DayOfWeek ``` @@ -152,7 +152,7 @@ Returns the day of week for the given date. ### `fromGregorian` -```haskell +```daml fromGregorian : (Int, Month, Int) -> Date ``` @@ -162,7 +162,7 @@ Constructs a `Date` from the triplet `(year, month, days)`. ### `toGregorian` -```haskell +```daml toGregorian : Date -> (Int, Month, Int) ``` @@ -173,7 +173,7 @@ to the Gregorian calendar. ### `date` -```haskell +```daml date : Int -> Month -> Int -> Date ``` @@ -185,7 +185,7 @@ Raises an error if `d` is outside the range `1 .. monthDayCount y m`. ### `isLeapYear` -```haskell +```daml isLeapYear : Int -> Bool ``` @@ -195,7 +195,7 @@ Returns `True` if the given year is a leap year. ### `fromMonth` -```haskell +```daml fromMonth : Month -> Int ``` @@ -206,7 +206,7 @@ to `1`, `Feb` corresponds to `2`, and so on. ### `monthDayCount` -```haskell +```daml monthDayCount : Int -> Month -> Int ``` @@ -218,7 +218,7 @@ moves from Julian to Gregorian calendar), but does count leap years. ### `datetime` -```haskell +```daml datetime : Int -> Month -> Int -> Int -> Int -> Int -> Time ``` @@ -228,7 +228,7 @@ Constructs an instant using `year`, `month`, `day`, `hours`, `minutes`, `seconds ### `toDateUTC` -```haskell +```daml toDateUTC : Time -> Date ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-either.mdx b/docs-main/appdev/reference/daml-standard-library/da-either.mdx index d46605a87..e17213b39 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-either.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-either.mdx @@ -39,7 +39,7 @@ Deprecated since: `-` ### `lefts` -```haskell +```daml lefts : [Either a b] -> [a] ``` @@ -49,7 +49,7 @@ Extracts all the `Left` elements from a list. ### `rights` -```haskell +```daml rights : [Either a b] -> [b] ``` @@ -59,7 +59,7 @@ Extracts all the `Right` elements from a list. ### `partitionEithers` -```haskell +```daml partitionEithers : [Either a b] -> ([a], [b]) ``` @@ -70,7 +70,7 @@ Partitions a list of `Either` into two lists, the `Left` and ### `isLeft` -```haskell +```daml isLeft : Either a b -> Bool ``` @@ -81,7 +81,7 @@ otherwise. ### `isRight` -```haskell +```daml isRight : Either a b -> Bool ``` @@ -92,7 +92,7 @@ otherwise. ### `fromLeft` -```haskell +```daml fromLeft : a -> Either a b -> a ``` @@ -103,7 +103,7 @@ in case of a `Right`-value. ### `fromRight` -```haskell +```daml fromRight : b -> Either a b -> b ``` @@ -114,7 +114,7 @@ in case of a `Left`-value. ### `optionalToEither` -```haskell +```daml optionalToEither : a -> Optional b -> Either a b ``` @@ -125,7 +125,7 @@ parameter as the `Left` value if the `Optional` is `None`. ### `eitherToOptional` -```haskell +```daml eitherToOptional : Either a b -> Optional b ``` @@ -136,7 +136,7 @@ Convert an `Either` value to a `Optional`, dropping any value in ### `maybeToEither` -```haskell +```daml maybeToEither : a -> Optional b -> Either a b ``` @@ -144,6 +144,6 @@ maybeToEither : a -> Optional b -> Either a b ### `eitherToMaybe` -```haskell +```daml eitherToMaybe : Either a b -> Optional b ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-fail.mdx b/docs-main/appdev/reference/daml-standard-library/da-fail.mdx index 5b460fe7e..cebf32b14 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-fail.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-fail.mdx @@ -33,7 +33,7 @@ Deprecated since: `-` The category of the failure, which determines the status code and log level of the failure. Maps 1-1 to the Canton error categories documented -here: [Error categories inventory](/global-synchronizer/reference/error-codes#error-categories-inventory) +here: https://docs.digitalasset.com/operate/3.4/reference/error_codes.html#error-categories-inventory If you are more familiar with gRPC error codes, you can use the synonyms referenced in the comments. @@ -47,7 +47,7 @@ and should thus not be retried. Corresponds to the gRPC status code `INVALID_ARGUMENT`. -See [Error categories inventory](/global-synchronizer/reference/error-codes#error-categories-inventory) +See https://docs.digitalasset.com/operate/3.4/reference/error_codes.html#invalidindependentofsystemstate for more information. - `InvalidGivenCurrentSystemStateOther` @@ -57,7 +57,7 @@ requests after reading updated state from the ledger. Corresponds to the gRPC status code `FAILED_PRECONDITION`. -See [Error categories inventory](/global-synchronizer/reference/error-codes#error-categories-inventory) +See https://docs.digitalasset.com/operate/3.4/reference/error_codes.html#error-categories-inventory for more information. Instances: @@ -118,7 +118,7 @@ Instances: ### `invalidArgument` -```haskell +```daml invalidArgument : FailureCategory ``` @@ -128,7 +128,7 @@ Alternative name for `InvalidIndependentOfSystemState`. ### `failedPrecondition` -```haskell +```daml failedPrecondition : FailureCategory ``` @@ -138,7 +138,7 @@ Alternative name for `InvalidGivenCurrentSystemStateOther`. ### `failWithStatusPure` -```haskell +```daml failWithStatusPure : FailureStatus -> a ``` @@ -177,5 +177,3 @@ Fail with a failure status in a pure context - `instance ActionFail Update` - `instance CanAbort Update` - -{/* Mintlify preview rebuild marker. */} diff --git a/docs-main/appdev/reference/daml-standard-library/da-foldable.mdx b/docs-main/appdev/reference/daml-standard-library/da-foldable.mdx index 226cac921..d9268b6bf 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-foldable.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-foldable.mdx @@ -92,7 +92,7 @@ Instances: ### `mapA_` -```haskell +```daml mapA_ : (Foldable t, Applicative f) => (a -> f b) -> t a -> f () ``` @@ -104,7 +104,7 @@ that doesn't ignore the results see 'DA.Traversable.mapA'. ### `forA_` -```haskell +```daml forA_ : (Foldable t, Applicative f) => t a -> (a -> f b) -> f () ``` @@ -115,7 +115,7 @@ that doesn't ignore the results see 'DA.Traversable.forA'. ### `forM_` -```haskell +```daml forM_ : (Foldable t, Applicative f) => t a -> (a -> f b) -> f () ``` @@ -123,7 +123,7 @@ forM_ : (Foldable t, Applicative f) => t a -> (a -> f b) -> f () ### `sequence_` -```haskell +```daml sequence_ : (Foldable t, Action m) => t (m a) -> m () ``` @@ -135,7 +135,7 @@ results see 'DA.Traversable.sequence'. ### `concat` -```haskell +```daml concat : Foldable t => t [a] -> [a] ``` @@ -145,7 +145,7 @@ The concatenation of all the elements of a container of lists. ### `and` -```haskell +```daml and : Foldable t => t Bool -> Bool ``` @@ -155,7 +155,7 @@ and : Foldable t => t Bool -> Bool ### `or` -```haskell +```daml or : Foldable t => t Bool -> Bool ``` @@ -165,7 +165,7 @@ or : Foldable t => t Bool -> Bool ### `any` -```haskell +```daml any : Foldable t => (a -> Bool) -> t a -> Bool ``` @@ -175,7 +175,7 @@ Determines whether any element of the structure satisfies the predicate. ### `all` -```haskell +```daml all : Foldable t => (a -> Bool) -> t a -> Bool ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-functor.mdx b/docs-main/appdev/reference/daml-standard-library/da-functor.mdx index 17dd13162..4a4306582 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-functor.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-functor.mdx @@ -31,7 +31,7 @@ Deprecated since: `-` ### `$>` -```haskell +```daml $> : Functor f => f a -> b -> f b ``` @@ -42,7 +42,7 @@ value (on the right). ### `<&>` -```haskell +```daml <&> : Functor f => f a -> (a -> b) -> f b ``` @@ -54,7 +54,7 @@ arguments are in reverse order. ### `<$$>` -```haskell +```daml <$$> : (Functor f, Functor g) => (a -> b) -> g (f a) -> g (f b) ``` @@ -64,7 +64,7 @@ Nested `<$>`. ### `void` -```haskell +```daml void : Functor f => f a -> f () ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-internal-interface-anyview.mdx b/docs-main/appdev/reference/daml-standard-library/da-internal-interface-anyview.mdx index d35e54286..3940f7afd 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-internal-interface-anyview.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-internal-interface-anyview.mdx @@ -35,7 +35,7 @@ Deprecated since: `-` ### `fromAnyView` -```haskell +```daml fromAnyView : (HasTemplateTypeRep i, HasFromAnyView i v) => AnyView -> Optional v ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-list-builtinorder.mdx b/docs-main/appdev/reference/daml-standard-library/da-list-builtinorder.mdx index dd03ba7b7..57b8319f7 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-list-builtinorder.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-list-builtinorder.mdx @@ -51,7 +51,7 @@ Deprecated since: `-` ### `dedup` -```haskell +```daml dedup : Ord a => [a] -> [a] ``` @@ -71,7 +71,7 @@ stability, consider using `dedupSort` which is more efficient. ### `dedupOn` -```haskell +```daml dedupOn : Ord k => (v -> k) -> [v] -> [v] ``` @@ -91,7 +91,7 @@ stability, consider using `dedupOnSort` which is more efficient. ### `dedupSort` -```haskell +```daml dedupSort : Ord a => [a] -> [a] ``` @@ -109,7 +109,7 @@ ordering. ### `dedupOnSort` -```haskell +```daml dedupOnSort : Ord k => (v -> k) -> [v] -> [v] ``` @@ -128,7 +128,7 @@ For duplicates, the first element in the list will be included in the output. ### `sort` -```haskell +```daml sort : Ord a => [a] -> [a] ``` @@ -146,7 +146,7 @@ are indistinguishable so stability is not relevant here. ### `sortOn` -```haskell +```daml sortOn : Ord b => (a -> b) -> [a] -> [a] ``` @@ -165,7 +165,7 @@ will be ordered by their position in the input. ### `unique` -```haskell +```daml unique : Ord a => [a] -> Bool ``` @@ -180,7 +180,7 @@ True ### `uniqueOn` -```haskell +```daml uniqueOn : Ord k => (a -> k) -> [a] -> Bool ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-list-total.mdx b/docs-main/appdev/reference/daml-standard-library/da-list-total.mdx index ee9c2a8fc..6c7ee3505 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-list-total.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-list-total.mdx @@ -29,7 +29,7 @@ Deprecated since: `-` ### `head` -```haskell +```daml head : [a] -> Optional a ``` @@ -39,7 +39,7 @@ Return the first element of a list. Return `None` if list is empty. ### `tail` -```haskell +```daml tail : [a] -> Optional [a] ``` @@ -49,7 +49,7 @@ Return all but the first element of a list. Return `None` if list is empty. ### `last` -```haskell +```daml last : [a] -> Optional a ``` @@ -59,7 +59,7 @@ Extract the last element of a list. Returns `None` if list is empty. ### `init` -```haskell +```daml init : [a] -> Optional [a] ``` @@ -69,7 +69,7 @@ Return all the elements of a list except the last one. Returns `None` if list is ### `!!` -```haskell +```daml !! : [a] -> Int -> Optional a ``` @@ -79,7 +79,7 @@ Return the nth element of a list. Return `None` if index is out of bounds. ### `foldl1` -```haskell +```daml foldl1 : (a -> a -> a) -> [a] -> Optional a ``` @@ -91,7 +91,7 @@ Return `None` if list is empty. ### `foldr1` -```haskell +```daml foldr1 : (a -> a -> a) -> [a] -> Optional a ``` @@ -102,7 +102,7 @@ For example, `foldr1 f [a,b,c] = f a (f b c)` ### `foldBalanced1` -```haskell +```daml foldBalanced1 : (a -> a -> a) -> [a] -> Optional a ``` @@ -119,7 +119,7 @@ Return `None` if list is empty. ### `minimumBy` -```haskell +```daml minimumBy : (a -> a -> Ordering) -> [a] -> Optional a ``` @@ -130,7 +130,7 @@ Return `None` if list is empty. ### `maximumBy` -```haskell +```daml maximumBy : (a -> a -> Ordering) -> [a] -> Optional a ``` @@ -141,7 +141,7 @@ Return `None` if list is empty. ### `minimumOn` -```haskell +```daml minimumOn : Ord k => (a -> k) -> [a] -> Optional a ``` @@ -153,7 +153,7 @@ Return `None` if list is empty. ### `maximumOn` -```haskell +```daml maximumOn : Ord k => (a -> k) -> [a] -> Optional a ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-list.mdx b/docs-main/appdev/reference/daml-standard-library/da-list.mdx index 86d1cc485..ab5a23c65 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-list.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-list.mdx @@ -31,7 +31,7 @@ Deprecated since: `-` ### `sort` -```haskell +```daml sort : Ord a => [a] -> [a] ``` @@ -46,7 +46,7 @@ the order they appeared in the input (a stable sort). ### `sortBy` -```haskell +```daml sortBy : (a -> a -> Ordering) -> [a] -> [a] ``` @@ -56,7 +56,7 @@ The `sortBy` function is the non-overloaded version of `sort`. ### `minimumBy` -```haskell +```daml minimumBy : (a -> a -> Ordering) -> [a] -> a ``` @@ -67,7 +67,7 @@ is either `LT` or `EQ` for all other `y` in `xs`. `xs` must be non-empty. ### `maximumBy` -```haskell +```daml maximumBy : (a -> a -> Ordering) -> [a] -> a ``` @@ -78,7 +78,7 @@ is either `GT` or `EQ` for all other `y` in `xs`. `xs` must be non-empty. ### `sortOn` -```haskell +```daml sortOn : Ord k => (a -> k) -> [a] -> [a] ``` @@ -95,7 +95,7 @@ duplicates in the order they appeared in the input. ### `minimumOn` -```haskell +```daml minimumOn : Ord k => (a -> k) -> [a] -> a ``` @@ -107,7 +107,7 @@ non-empty. ### `maximumOn` -```haskell +```daml maximumOn : Ord k => (a -> k) -> [a] -> a ``` @@ -119,7 +119,7 @@ non-empty. ### `mergeBy` -```haskell +```daml mergeBy : (a -> a -> Ordering) -> [a] -> [a] -> [a] ``` @@ -130,7 +130,7 @@ the programmer to specify the comparison function. ### `combinePairs` -```haskell +```daml combinePairs : (a -> a -> a) -> [a] -> [a] ``` @@ -141,7 +141,7 @@ function from two list inputs into a single list. ### `foldBalanced1` -```haskell +```daml foldBalanced1 : (a -> a -> a) -> [a] -> a ``` @@ -156,7 +156,7 @@ same result as `foldl1` or `foldr1`. ### `group` -```haskell +```daml group : Eq a => [a] -> [[a]] ``` @@ -167,7 +167,7 @@ that the concatenation of the result is equal to the argument. ### `groupBy` -```haskell +```daml groupBy : (a -> a -> Bool) -> [a] -> [[a]] ``` @@ -177,7 +177,7 @@ The 'groupBy' function is the non-overloaded version of 'group'. ### `groupOn` -```haskell +```daml groupOn : Eq k => (a -> k) -> [a] -> [[a]] ``` @@ -188,7 +188,7 @@ extracted value. ### `dedup` -```haskell +```daml dedup : Ord a => [a] -> [a] ``` @@ -202,7 +202,7 @@ their own equality test. ### `dedupBy` -```haskell +```daml dedupBy : (a -> a -> Ordering) -> [a] -> [a] ``` @@ -212,7 +212,7 @@ A version of `dedup` with a custom predicate. ### `dedupOn` -```haskell +```daml dedupOn : Ord k => (a -> k) -> [a] -> [a] ``` @@ -223,7 +223,7 @@ after applyng function. Example use: `dedupOn (.employeeNo) employees` ### `dedupSort` -```haskell +```daml dedupSort : Ord a => [a] -> [a] ``` @@ -235,7 +235,7 @@ element. ### `dedupSortBy` -```haskell +```daml dedupSortBy : (a -> a -> Ordering) -> [a] -> [a] ``` @@ -245,7 +245,7 @@ A version of `dedupSort` with a custom predicate. ### `unique` -```haskell +```daml unique : Ord a => [a] -> Bool ``` @@ -255,7 +255,7 @@ Returns True if and only if there are no duplicate elements in the given list. ### `uniqueBy` -```haskell +```daml uniqueBy : (a -> a -> Ordering) -> [a] -> Bool ``` @@ -265,7 +265,7 @@ A version of `unique` with a custom predicate. ### `uniqueOn` -```haskell +```daml uniqueOn : Ord k => (a -> k) -> [a] -> Bool ``` @@ -276,7 +276,7 @@ after applyng function. Example use: `assert $ uniqueOn (.employeeNo) employees` ### `replace` -```haskell +```daml replace : Eq a => [a] -> [a] -> [a] -> [a] ``` @@ -287,7 +287,7 @@ the search list with the replacement list in the operation list. ### `dropPrefix` -```haskell +```daml dropPrefix : Eq a => [a] -> [a] -> [a] ``` @@ -298,7 +298,7 @@ sequence if the sequence doesn't start with the given prefix. ### `dropSuffix` -```haskell +```daml dropSuffix : Eq a => [a] -> [a] -> [a] ``` @@ -309,7 +309,7 @@ sequence if the sequence doesn't end with the given suffix. ### `stripPrefix` -```haskell +```daml stripPrefix : Eq a => [a] -> [a] -> Optional [a] ``` @@ -321,7 +321,7 @@ given, or `Some` the list after the prefix, if it does. ### `stripSuffix` -```haskell +```daml stripSuffix : Eq a => [a] -> [a] -> Optional [a] ``` @@ -332,7 +332,7 @@ entire first list. ### `stripInfix` -```haskell +```daml stripInfix : Eq a => [a] -> [a] -> Optional ([a], [a]) ``` @@ -351,7 +351,7 @@ None ### `isPrefixOf` -```haskell +```daml isPrefixOf : Eq a => [a] -> [a] -> Bool ``` @@ -362,7 +362,7 @@ and only if the first is a prefix of the second. ### `isSuffixOf` -```haskell +```daml isSuffixOf : Eq a => [a] -> [a] -> Bool ``` @@ -373,7 +373,7 @@ and only if the first list is a suffix of the second. ### `isInfixOf` -```haskell +```daml isInfixOf : Eq a => [a] -> [a] -> Bool ``` @@ -384,7 +384,7 @@ and only if the first list is contained anywhere within the second. ### `mapAccumL` -```haskell +```daml mapAccumL : (acc -> x -> (acc, y)) -> acc -> [x] -> (acc, [y]) ``` @@ -397,7 +397,7 @@ value of this accumulator together with the new list. ### `mapWithIndex` -```haskell +```daml mapWithIndex : (Int -> a -> b) -> [a] -> [b] ``` @@ -409,7 +409,7 @@ element in the sequence. ### `inits` -```haskell +```daml inits : [a] -> [[a]] ``` @@ -420,7 +420,7 @@ shortest first. ### `intersperse` -```haskell +```daml intersperse : a -> [a] -> [a] ``` @@ -431,7 +431,7 @@ The `intersperse` function takes an element and a list and ### `intercalate` -```haskell +```daml intercalate : [a] -> [[a]] -> [a] ``` @@ -442,7 +442,7 @@ and concatenates the result. ### `tails` -```haskell +```daml tails : [a] -> [[a]] ``` @@ -453,7 +453,7 @@ longest first. ### `dropWhileEnd` -```haskell +```daml dropWhileEnd : (a -> Bool) -> [a] -> [a] ``` @@ -463,7 +463,7 @@ A version of `dropWhile` operating from the end. ### `takeWhileEnd` -```haskell +```daml takeWhileEnd : (a -> Bool) -> [a] -> [a] ``` @@ -473,7 +473,7 @@ A version of `takeWhile` operating from the end. ### `transpose` -```haskell +```daml transpose : [[a]] -> [[a]] ``` @@ -484,7 +484,7 @@ argument. ### `breakEnd` -```haskell +```daml breakEnd : (a -> Bool) -> [a] -> ([a], [a]) ``` @@ -494,7 +494,7 @@ Break, but from the end. ### `breakOn` -```haskell +```daml breakOn : Eq a => [a] -> [a] -> ([a], [a]) ``` @@ -508,7 +508,7 @@ before `needle` is matched. The second is the remainder of ### `breakOnEnd` -```haskell +```daml breakOnEnd : Eq a => [a] -> [a] -> ([a], [a]) ``` @@ -523,7 +523,7 @@ remainder of `haystack`, following the match. ### `linesBy` -```haskell +```daml linesBy : (a -> Bool) -> [a] -> [[a]] ``` @@ -534,7 +534,7 @@ is a trailing separator it will be discarded. ### `wordsBy` -```haskell +```daml wordsBy : (a -> Bool) -> [a] -> [[a]] ``` @@ -545,7 +545,7 @@ separators are discarded, as are leading or trailing separators. ### `head` -```haskell +```daml head : [a] -> a ``` @@ -555,7 +555,7 @@ Extract the first element of a list, which must be non-empty. ### `tail` -```haskell +```daml tail : [a] -> [a] ``` @@ -566,7 +566,7 @@ non-empty. ### `last` -```haskell +```daml last : [a] -> a ``` @@ -577,7 +577,7 @@ non-empty. ### `init` -```haskell +```daml init : [a] -> [a] ``` @@ -588,7 +588,7 @@ must be non-empty. ### `foldl1` -```haskell +```daml foldl1 : (a -> a -> a) -> [a] -> a ``` @@ -598,7 +598,7 @@ Left associative fold of a list that must be non-empty. ### `foldr1` -```haskell +```daml foldr1 : (a -> a -> a) -> [a] -> a ``` @@ -608,7 +608,7 @@ Right associative fold of a list that must be non-empty. ### `repeatedly` -```haskell +```daml repeatedly : ([a] -> (b, [a])) -> [a] -> [b] ``` @@ -619,7 +619,7 @@ and the remainder of the list. ### `chunksOf` -```haskell +```daml chunksOf : Int -> [a] -> [[a]] ``` @@ -632,7 +632,7 @@ not divisible by @n@. ### `delete` -```haskell +```daml delete : Eq a => a -> [a] -> [a] ``` @@ -651,7 +651,7 @@ supply their own equality test. ### `deleteBy` -```haskell +```daml deleteBy : (a -> a -> Bool) -> a -> [a] -> [a] ``` @@ -667,7 +667,7 @@ user-supplied equality predicate. ### `\\` -```haskell +```daml \\ : Eq a => [a] -> [a] -> [a] ``` @@ -685,7 +685,7 @@ Note this function is _O(n*m)_ given lists of size _n_ and _m_. ### `singleton` -```haskell +```daml singleton : a -> [a] ``` @@ -700,7 +700,7 @@ Produce a singleton list. ### `!!` -```haskell +```daml !! : [a] -> Int -> a ``` @@ -714,7 +714,7 @@ unlike in languages such as Java where array indexing is _O(1)_. ### `elemIndex` -```haskell +```daml elemIndex : Eq a => a -> [a] -> Optional Int ``` @@ -725,7 +725,7 @@ Will return `None` if not found. ### `findIndex` -```haskell +```daml findIndex : (a -> Bool) -> [a] -> Optional Int ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-logic.mdx b/docs-main/appdev/reference/daml-standard-library/da-logic.mdx index 92f72efaa..904334c8d 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-logic.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-logic.mdx @@ -64,7 +64,7 @@ Instances: ### `&&&` -```haskell +```daml &&& : Formula t -> Formula t -> Formula t ``` @@ -75,7 +75,7 @@ be read as "and" ### `|||` -```haskell +```daml ||| : Formula t -> Formula t -> Formula t ``` @@ -86,7 +86,7 @@ be read as "or" ### `true` -```haskell +```daml true : Formula t ``` @@ -97,7 +97,7 @@ represented as an empty conjunction. ### `false` -```haskell +```daml false : Formula t ``` @@ -108,7 +108,7 @@ represented as an empty disjunction. ### `neg` -```haskell +```daml neg : Formula t -> Formula t ``` @@ -119,7 +119,7 @@ formulas. ### `conj` -```haskell +```daml conj : [Formula t] -> Formula t ``` @@ -130,7 +130,7 @@ of ∧. ### `disj` -```haskell +```daml disj : [Formula t] -> Formula t ``` @@ -141,7 +141,7 @@ of ∨. ### `fromBool` -```haskell +```daml fromBool : Bool -> Formula t ``` @@ -151,7 +151,7 @@ fromBool : Bool -> Formula t ### `toNNF` -```haskell +```daml toNNF : Formula t -> Formula t ``` @@ -162,7 +162,7 @@ toNNF : Formula t -> Formula t ### `toDNF` -```haskell +```daml toDNF : Formula t -> Formula t ``` @@ -173,7 +173,7 @@ toDNF : Formula t -> Formula t ### `traverse` -```haskell +```daml traverse : Applicative f => (t -> f s) -> Formula t -> f (Formula s) ``` @@ -183,7 +183,7 @@ An implementation of `traverse` in the usual sense. ### `zipFormulas` -```haskell +```daml zipFormulas : Formula t -> Formula s -> Formula (t, s) ``` @@ -194,7 +194,7 @@ propositions are different and zips them up. ### `substitute` -```haskell +```daml substitute : (t -> Optional Bool) -> Formula t -> Formula t ``` @@ -205,7 +205,7 @@ substitute : (t -> Optional Bool) -> Formula t -> Formula t ### `reduce` -```haskell +```daml reduce : Formula t -> Formula t ``` @@ -218,7 +218,7 @@ reduce : Formula t -> Formula t ### `isBool` -```haskell +```daml isBool : Formula t -> Optional Bool ``` @@ -230,7 +230,7 @@ Otherwise, it returns `None`. ### `interpret` -```haskell +```daml interpret : (t -> Optional Bool) -> Formula t -> Either (Formula t) Bool ``` @@ -241,7 +241,7 @@ a truth function and then reduces as far as possible. ### `substituteA` -```haskell +```daml substituteA : Applicative f => (t -> f (Optional Bool)) -> Formula t -> f (Formula t) ``` @@ -252,7 +252,7 @@ values to be obtained from an action. ### `interpretA` -```haskell +```daml interpretA : Applicative f => (t -> f (Optional Bool)) -> Formula t -> f (Either (Formula t) Bool) ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-map.mdx b/docs-main/appdev/reference/daml-standard-library/da-map.mdx index a3d2c57fe..01268dc3f 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-map.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-map.mdx @@ -79,7 +79,7 @@ Deprecated since: `-` ### `fromList` -```haskell +```daml fromList : Ord k => [(k, v)] -> Map k v ``` @@ -89,7 +89,7 @@ Create a map from a list of key/value pairs. ### `fromListWithL` -```haskell +```daml fromListWithL : Ord k => (v -> v -> v) -> [(k, v)] -> Map k v ``` @@ -111,7 +111,7 @@ True ### `fromListWithR` -```haskell +```daml fromListWithR : Ord k => (v -> v -> v) -> [(k, v)] -> Map k v ``` @@ -129,7 +129,7 @@ True ### `fromListWith` -```haskell +```daml fromListWith : Ord k => (v -> v -> v) -> [(k, v)] -> Map k v ``` @@ -137,7 +137,7 @@ fromListWith : Ord k => (v -> v -> v) -> [(k, v)] -> Map k v ### `keys` -```haskell +```daml keys : Map k v -> [k] ``` @@ -154,7 +154,7 @@ when using `deriving Ord`. ### `values` -```haskell +```daml values : Map k v -> [v] ``` @@ -170,7 +170,7 @@ their respective keys from `M.keys`. ### `toList` -```haskell +```daml toList : Map k v -> [(k, v)] ``` @@ -181,7 +181,7 @@ by key, as in `M.keys`. ### `empty` -```haskell +```daml empty : Map k v ``` @@ -191,7 +191,7 @@ The empty map. ### `size` -```haskell +```daml size : Map k v -> Int ``` @@ -201,7 +201,7 @@ Number of elements in the map. ### `null` -```haskell +```daml null : Map k v -> Bool ``` @@ -211,7 +211,7 @@ Is the map empty? ### `lookup` -```haskell +```daml lookup : Ord k => k -> Map k v -> Optional v ``` @@ -221,7 +221,7 @@ Lookup the value at a key in the map. ### `member` -```haskell +```daml member : Ord k => k -> Map k v -> Bool ``` @@ -231,7 +231,7 @@ Is the key a member of the map? ### `filter` -```haskell +```daml filter : Ord k => (v -> Bool) -> Map k v -> Map k v ``` @@ -242,7 +242,7 @@ value satisfies the predicate. ### `filterWithKey` -```haskell +```daml filterWithKey : Ord k => (k -> v -> Bool) -> Map k v -> Map k v ``` @@ -253,7 +253,7 @@ satisfy the predicate. ### `delete` -```haskell +```daml delete : Ord k => k -> Map k v -> Map k v ``` @@ -264,7 +264,7 @@ member of the map, the original map is returned. ### `singleton` -```haskell +```daml singleton : Ord k => k -> v -> Map k v ``` @@ -274,7 +274,7 @@ Create a singleton map. ### `insert` -```haskell +```daml insert : Ord k => k -> v -> Map k v -> Map k v ``` @@ -286,7 +286,7 @@ supplied value. ### `insertWith` -```haskell +```daml insertWith : Ord k => (v -> v -> v) -> k -> v -> Map k v -> Map k v ``` @@ -298,7 +298,7 @@ present in the map, it is combined with the previous value using the given funct ### `alter` -```haskell +```daml alter : Ord k => (Optional v -> Optional v) -> k -> Map k v -> Map k v ``` @@ -319,7 +319,7 @@ Some implications of this behavior: ### `union` -```haskell +```daml union : Ord k => Map k v -> Map k v -> Map k v ``` @@ -330,7 +330,7 @@ keys are encountered. ### `unionWith` -```haskell +```daml unionWith : Ord k => (v -> v -> v) -> Map k v -> Map k v -> Map k v ``` @@ -341,7 +341,7 @@ exist in both maps. ### `merge` -```haskell +```daml merge : Ord k => (k -> a -> Optional c) -> (k -> b -> Optional c) -> (k -> a -> b -> Optional c) -> Map k a -> Map k b -> Map k c ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-math.mdx b/docs-main/appdev/reference/daml-standard-library/da-math.mdx index 8d4ab0444..867a097f6 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-math.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-math.mdx @@ -39,7 +39,7 @@ Deprecated since: `-` ### `**` -```haskell +```daml ** : Decimal -> Decimal -> Decimal ``` @@ -49,7 +49,7 @@ Take a power of a number Example: `2.0 ** 3.0 == 8.0`. ### `sqrt` -```haskell +```daml sqrt : Decimal -> Decimal ``` @@ -64,7 +64,7 @@ Calculate the square root of a Decimal. ### `exp` -```haskell +```daml exp : Decimal -> Decimal ``` @@ -74,7 +74,7 @@ The exponential function. Example: `exp 0.0 == 1.0` ### `log` -```haskell +```daml log : Decimal -> Decimal ``` @@ -84,7 +84,7 @@ The natural logarithm. Example: `log 10.0 == 2.30258509299` ### `logBase` -```haskell +```daml logBase : Decimal -> Decimal -> Decimal ``` @@ -94,7 +94,7 @@ The logarithm of a number to a given base. Example: `log 10.0 100.0 == 2.0` ### `sin` -```haskell +```daml sin : Decimal -> Decimal ``` @@ -104,7 +104,7 @@ sin : Decimal -> Decimal ### `cos` -```haskell +```daml cos : Decimal -> Decimal ``` @@ -114,7 +114,7 @@ cos : Decimal -> Decimal ### `tan` -```haskell +```daml tan : Decimal -> Decimal ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-nonempty.mdx b/docs-main/appdev/reference/daml-standard-library/da-nonempty.mdx index ff9755b70..9a4a9e0e1 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-nonempty.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-nonempty.mdx @@ -45,7 +45,7 @@ Deprecated since: `-` ### `cons` -```haskell +```daml cons : a -> NonEmpty a -> NonEmpty a ``` @@ -55,7 +55,7 @@ Prepend an element to a non-empty list. ### `append` -```haskell +```daml append : NonEmpty a -> NonEmpty a -> NonEmpty a ``` @@ -65,7 +65,7 @@ Append or concatenate two non-empty lists. ### `map` -```haskell +```daml map : (a -> b) -> NonEmpty a -> NonEmpty b ``` @@ -75,7 +75,7 @@ Apply a function over each element in the non-empty list. ### `nonEmpty` -```haskell +```daml nonEmpty : [a] -> Optional (NonEmpty a) ``` @@ -86,7 +86,7 @@ Turn a list into a non-empty list, if possible. Returns ### `singleton` -```haskell +```daml singleton : a -> NonEmpty a ``` @@ -96,7 +96,7 @@ A non-empty list with a single element. ### `toList` -```haskell +```daml toList : NonEmpty a -> [a] ``` @@ -106,7 +106,7 @@ Turn a non-empty list into a list (by forgetting that it is not empty). ### `reverse` -```haskell +```daml reverse : NonEmpty a -> NonEmpty a ``` @@ -116,7 +116,7 @@ Reverse a non-empty list. ### `find` -```haskell +```daml find : (a -> Bool) -> NonEmpty a -> Optional a ``` @@ -126,7 +126,7 @@ Find an element in a non-empty list. ### `deleteBy` -```haskell +```daml deleteBy : (a -> a -> Bool) -> a -> NonEmpty a -> [a] ``` @@ -137,7 +137,7 @@ user-supplied equality predicate. ### `delete` -```haskell +```daml delete : Eq a => a -> NonEmpty a -> [a] ``` @@ -148,7 +148,7 @@ removing all elements. ### `foldl1` -```haskell +```daml foldl1 : (a -> a -> a) -> NonEmpty a -> a ``` @@ -159,7 +159,7 @@ from the left. For example, `foldl1 (+) (NonEmpty 1 [2,3,4]) = ((1 + 2) + 3) + 4 ### `foldr1` -```haskell +```daml foldr1 : (a -> a -> a) -> NonEmpty a -> a ``` @@ -170,7 +170,7 @@ from the right. For example, `foldr1 (+) (NonEmpty 1 [2,3,4]) = 1 + (2 + (3 + 4) ### `foldr` -```haskell +```daml foldr : (a -> b -> b) -> b -> NonEmpty a -> b ``` @@ -182,7 +182,7 @@ from the right, with a given initial value. For example, ### `foldrA` -```haskell +```daml foldrA : Action m => (a -> b -> m b) -> b -> NonEmpty a -> m b ``` @@ -192,7 +192,7 @@ The same as `foldr` but running an action each time. ### `foldr1A` -```haskell +```daml foldr1A : Action m => (a -> a -> m a) -> NonEmpty a -> m a ``` @@ -202,7 +202,7 @@ The same as `foldr1` but running an action each time. ### `foldl` -```haskell +```daml foldl : (b -> a -> b) -> b -> NonEmpty a -> b ``` @@ -214,7 +214,7 @@ from the left, with a given initial value. For example, ### `foldlA` -```haskell +```daml foldlA : Action m => (b -> a -> m b) -> b -> NonEmpty a -> m b ``` @@ -224,7 +224,7 @@ The same as `foldl` but running an action each time. ### `foldl1A` -```haskell +```daml foldl1A : Action m => (a -> a -> m a) -> NonEmpty a -> m a ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-numeric.mdx b/docs-main/appdev/reference/daml-standard-library/da-numeric.mdx index 9c5a415f0..66df22010 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-numeric.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-numeric.mdx @@ -68,7 +68,7 @@ be represented without rounding at the targeted scale. ### `mul` -```haskell +```daml mul : NumericScale n3 => Numeric n1 -> Numeric n2 -> Numeric n3 ``` @@ -81,7 +81,7 @@ scale otherwise. ### `div` -```haskell +```daml div : NumericScale n3 => Numeric n1 -> Numeric n2 -> Numeric n3 ``` @@ -94,7 +94,7 @@ scale otherwise. ### `cast` -```haskell +```daml cast : NumericScale n2 => Numeric n1 -> Numeric n2 ``` @@ -104,7 +104,7 @@ Cast a Numeric. Raises an error on overflow or loss of precision. ### `castAndRound` -```haskell +```daml castAndRound : NumericScale n2 => Numeric n1 -> Numeric n2 ``` @@ -115,7 +115,7 @@ scale otherwise. ### `shift` -```haskell +```daml shift : NumericScale n2 => Numeric n1 -> Numeric n2 ``` @@ -126,7 +126,7 @@ value by 10^(n1 - n2). Does not overflow or underflow. ### `pi` -```haskell +```daml pi : NumericScale n => Numeric n ``` @@ -136,7 +136,7 @@ The number pi. ### `epsilon` -```haskell +```daml epsilon : NumericScale n => Numeric n ``` @@ -146,7 +146,7 @@ The minimum strictly positive value that can be represented by a numeric of scal ### `roundNumeric` -```haskell +```daml roundNumeric : NumericScale n => Int -> RoundingMode -> Numeric n -> Numeric n ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-optional.mdx b/docs-main/appdev/reference/daml-standard-library/da-optional.mdx index 4253e9703..6db781796 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-optional.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-optional.mdx @@ -45,7 +45,7 @@ Deprecated since: `-` ### `fromSome` -```haskell +```daml fromSome : Optional a -> a ``` @@ -59,7 +59,7 @@ to get a better error on failures. ### `fromSomeNote` -```haskell +```daml fromSomeNote : Text -> Optional a -> a ``` @@ -69,7 +69,7 @@ Like `fromSome` but with a custom error message. ### `catOptionals` -```haskell +```daml catOptionals : [Optional a] -> [a] ``` @@ -80,7 +80,7 @@ list of all the `Some` values. ### `listToOptional` -```haskell +```daml listToOptional : [a] -> Optional a ``` @@ -91,7 +91,7 @@ The `listToOptional` function returns `None` on an empty list or ### `optionalToList` -```haskell +```daml optionalToList : Optional a -> [a] ``` @@ -102,7 +102,7 @@ The `optionalToList` function returns an empty list when given ### `fromOptional` -```haskell +```daml fromOptional : a -> Optional a -> a ``` @@ -114,7 +114,7 @@ otherwise, it returns the value contained in the `Optional`. ### `isSome` -```haskell +```daml isSome : Optional a -> Bool ``` @@ -125,7 +125,7 @@ form `Some _`. ### `isNone` -```haskell +```daml isNone : Optional a -> Bool ``` @@ -136,7 +136,7 @@ The `isNone` function returns `True` iff its argument is ### `mapOptional` -```haskell +```daml mapOptional : (a -> Optional b) -> [a] -> [b] ``` @@ -150,7 +150,7 @@ result list. ### `whenSome` -```haskell +```daml whenSome : Applicative m => Optional a -> (a -> m ()) -> m () ``` @@ -161,7 +161,7 @@ Perform some operation on `Some`, given the field inside the ### `findOptional` -```haskell +```daml findOptional : (a -> Optional b) -> [a] -> Optional b ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-record.mdx b/docs-main/appdev/reference/daml-standard-library/da-record.mdx index 7e4eb3e33..75cc56f00 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-record.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-record.mdx @@ -53,7 +53,7 @@ MyRecord {foo = 3, bar = "hello"} daml> ``` -For more on Record syntax, see [DA.Record](/appdev/reference/daml-standard-library/da-record). +For more on Record syntax, see https://docs.digitalasset.com/build/3.4/reference/daml/stdlib/DA-Record.html. `GetField x r a` and `SetField x r a` are typeclasses taking three parameters. The first parameter `x` is the field name, the second parameter `r` is the record type, diff --git a/docs-main/appdev/reference/daml-standard-library/da-set.mdx b/docs-main/appdev/reference/daml-standard-library/da-set.mdx index e42759815..34d9096ab 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-set.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-set.mdx @@ -107,7 +107,7 @@ Instances: ### `empty` -```haskell +```daml empty : Set k ``` @@ -117,7 +117,7 @@ The empty set. ### `size` -```haskell +```daml size : Set k -> Int ``` @@ -127,7 +127,7 @@ The number of elements in the set. ### `toList` -```haskell +```daml toList : Set k -> [k] ``` @@ -137,7 +137,7 @@ Convert the set to a list of elements. ### `fromList` -```haskell +```daml fromList : Ord k => [k] -> Set k ``` @@ -147,7 +147,7 @@ Create a set from a list of elements. ### `toMap` -```haskell +```daml toMap : Set k -> Map k () ``` @@ -157,7 +157,7 @@ Convert a `Set` into a `Map`. ### `fromMap` -```haskell +```daml fromMap : Map k () -> Set k ``` @@ -167,7 +167,7 @@ Create a `Set` from a `Map`. ### `member` -```haskell +```daml member : Ord k => k -> Set k -> Bool ``` @@ -177,7 +177,7 @@ Is the element in the set? ### `notMember` -```haskell +```daml notMember : Ord k => k -> Set k -> Bool ``` @@ -188,7 +188,7 @@ Is the element not in the set? ### `null` -```haskell +```daml null : Set k -> Bool ``` @@ -198,7 +198,7 @@ Is this the empty set? ### `insert` -```haskell +```daml insert : Ord k => k -> Set k -> Set k ``` @@ -209,7 +209,7 @@ element, this returns the set unchanged. ### `filter` -```haskell +```daml filter : Ord k => (k -> Bool) -> Set k -> Set k ``` @@ -219,7 +219,7 @@ Filter all elements that satisfy the predicate. ### `delete` -```haskell +```daml delete : Ord k => k -> Set k -> Set k ``` @@ -229,7 +229,7 @@ Delete an element from a set. ### `singleton` -```haskell +```daml singleton : Ord k => k -> Set k ``` @@ -239,7 +239,7 @@ Create a singleton set. ### `union` -```haskell +```daml union : Ord k => Set k -> Set k -> Set k ``` @@ -249,7 +249,7 @@ The union of two sets. ### `intersection` -```haskell +```daml intersection : Ord k => Set k -> Set k -> Set k ``` @@ -259,7 +259,7 @@ The intersection of two sets. ### `difference` -```haskell +```daml difference : Ord k => Set k -> Set k -> Set k ``` @@ -275,7 +275,7 @@ fromList [2, 3] ### `isSubsetOf` -```haskell +```daml isSubsetOf : Ord k => Set k -> Set k -> Bool ``` @@ -286,7 +286,7 @@ that is, if every element of `a` is in `b`. ### `isProperSubsetOf` -```haskell +```daml isProperSubsetOf : Ord k => Set k -> Set k -> Bool ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-stack.mdx b/docs-main/appdev/reference/daml-standard-library/da-stack.mdx index 57afcda20..f3c82dcd8 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-stack.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-stack.mdx @@ -70,7 +70,7 @@ Instances: ### `prettyCallStack` -```haskell +```daml prettyCallStack : CallStack -> Text ``` @@ -80,7 +80,7 @@ Pretty-print a `CallStack`. ### `getCallStack` -```haskell +```daml getCallStack : CallStack -> [(Text, SrcLoc)] ``` @@ -92,7 +92,7 @@ The most recent call comes first. ### `callStack` -```haskell +```daml callStack : HasCallStack => CallStack ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-text.mdx b/docs-main/appdev/reference/daml-standard-library/da-text.mdx index 704d32408..dbd0b37a7 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-text.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-text.mdx @@ -31,7 +31,7 @@ Deprecated since: `-` ### `explode` -```haskell +```daml explode : Text -> [Text] ``` @@ -39,7 +39,7 @@ explode : Text -> [Text] ### `implode` -```haskell +```daml implode : [Text] -> Text ``` @@ -47,7 +47,7 @@ implode : [Text] -> Text ### `isEmpty` -```haskell +```daml isEmpty : Text -> Bool ``` @@ -57,7 +57,7 @@ Test for emptiness. ### `isNotEmpty` -```haskell +```daml isNotEmpty : Text -> Bool ``` @@ -67,7 +67,7 @@ Test for non-emptiness. ### `length` -```haskell +```daml length : Text -> Int ``` @@ -77,7 +77,7 @@ Compute the number of symbols in the text. ### `trim` -```haskell +```daml trim : Text -> Text ``` @@ -87,7 +87,7 @@ Remove spaces from either side of the given text. ### `replace` -```haskell +```daml replace : Text -> Text -> Text -> Text ``` @@ -98,7 +98,7 @@ must not be empty. ### `lines` -```haskell +```daml lines : Text -> [Text] ``` @@ -109,7 +109,7 @@ symbols. The resulting texts do not contain newline symbols. ### `unlines` -```haskell +```daml unlines : [Text] -> Text ``` @@ -119,7 +119,7 @@ Joins lines, after appending a terminating newline to each. ### `words` -```haskell +```daml words : Text -> [Text] ``` @@ -130,7 +130,7 @@ representing white space. ### `unwords` -```haskell +```daml unwords : [Text] -> Text ``` @@ -140,7 +140,7 @@ Joins words using single space symbols. ### `linesBy` -```haskell +```daml linesBy : (Text -> Bool) -> Text -> [Text] ``` @@ -151,7 +151,7 @@ is a trailing separator it will be discarded. ### `wordsBy` -```haskell +```daml wordsBy : (Text -> Bool) -> Text -> [Text] ``` @@ -162,7 +162,7 @@ separators are discarded, as are leading or trailing separators. ### `intercalate` -```haskell +```daml intercalate : Text -> [Text] -> Text ``` @@ -173,7 +173,7 @@ in `ts` and concatenates the result. ### `dropPrefix` -```haskell +```daml dropPrefix : Text -> Text -> Text ``` @@ -184,7 +184,7 @@ the original text if the text doesn't start with the given prefix. ### `dropSuffix` -```haskell +```daml dropSuffix : Text -> Text -> Text ``` @@ -200,7 +200,7 @@ text if the text doesn't end with the given suffix. Examples: ### `stripSuffix` -```haskell +```daml stripSuffix : Text -> Text -> Optional Text ``` @@ -216,7 +216,7 @@ entire first text. Examples: ### `stripPrefix` -```haskell +```daml stripPrefix : Text -> Text -> Optional Text ``` @@ -228,7 +228,7 @@ the prefix. ### `isPrefixOf` -```haskell +```daml isPrefixOf : Text -> Text -> Bool ``` @@ -239,7 +239,7 @@ The `isPrefixOf` function takes two text arguments and returns ### `isSuffixOf` -```haskell +```daml isSuffixOf : Text -> Text -> Bool ``` @@ -250,7 +250,7 @@ The `isSuffixOf` function takes two text arguments and returns ### `isInfixOf` -```haskell +```daml isInfixOf : Text -> Text -> Bool ``` @@ -262,7 +262,7 @@ anywhere within the second. ### `takeWhile` -```haskell +```daml takeWhile : (Text -> Bool) -> Text -> Text ``` @@ -274,7 +274,7 @@ returns the longest prefix (possibly empty) of symbols that satisfy ### `takeWhileEnd` -```haskell +```daml takeWhileEnd : (Text -> Bool) -> Text -> Text ``` @@ -286,7 +286,7 @@ that satisfy `p`. ### `dropWhile` -```haskell +```daml dropWhile : (Text -> Bool) -> Text -> Text ``` @@ -297,7 +297,7 @@ t`. ### `dropWhileEnd` -```haskell +```daml dropWhileEnd : (Text -> Bool) -> Text -> Text ``` @@ -308,7 +308,7 @@ symbols that satisfy the predicate `p` from the end of `t`. ### `splitOn` -```haskell +```daml splitOn : Text -> Text -> [Text] ``` @@ -319,7 +319,7 @@ Break a text into pieces separated by the first text argument ### `splitAt` -```haskell +```daml splitAt : Int -> Text -> (Text, Text) ``` @@ -330,7 +330,7 @@ Split a text before a given position so that for `0 <= n <= length t`, ### `take` -```haskell +```daml take : Int -> Text -> Text ``` @@ -341,7 +341,7 @@ length `n`, or `t` itself if `n` is greater than the length of `t`. ### `drop` -```haskell +```daml drop : Int -> Text -> Text ``` @@ -353,7 +353,7 @@ than the length of `t`. ### `substring` -```haskell +```daml substring : Int -> Int -> Text -> Text ``` @@ -364,7 +364,7 @@ text starting at `s`. ### `isPred` -```haskell +```daml isPred : (Text -> Bool) -> Text -> Bool ``` @@ -375,7 +375,7 @@ for all symbols in `t`. ### `isSpace` -```haskell +```daml isSpace : Text -> Bool ``` @@ -386,7 +386,7 @@ spaces. ### `isNewLine` -```haskell +```daml isNewLine : Text -> Bool ``` @@ -397,7 +397,7 @@ newlines. ### `isUpper` -```haskell +```daml isUpper : Text -> Bool ``` @@ -408,7 +408,7 @@ uppercase symbols. ### `isLower` -```haskell +```daml isLower : Text -> Bool ``` @@ -419,7 +419,7 @@ lowercase symbols. ### `isDigit` -```haskell +```daml isDigit : Text -> Bool ``` @@ -430,7 +430,7 @@ digit symbols. ### `isAlpha` -```haskell +```daml isAlpha : Text -> Bool ``` @@ -441,7 +441,7 @@ alphabet symbols. ### `isAlphaNum` -```haskell +```daml isAlphaNum : Text -> Bool ``` @@ -452,7 +452,7 @@ alphanumeric symbols. ### `parseInt` -```haskell +```daml parseInt : Text -> Optional Int ``` @@ -462,7 +462,7 @@ Attempt to parse an `Int` value from a given `Text`. ### `parseNumeric` -```haskell +```daml parseNumeric : NumericScale n => Text -> Optional (Numeric n) ``` @@ -482,7 +482,7 @@ Examples: ### `parseDecimal` -```haskell +```daml parseDecimal : Text -> Optional Decimal ``` @@ -502,7 +502,7 @@ Examples: ### `sha256` -```haskell +```daml sha256 : Text -> Text ``` @@ -515,7 +515,7 @@ This function will crash at runtime if you compile Daml to Daml-LF < 1.2. ### `reverse` -```haskell +```daml reverse : Text -> Text ``` @@ -528,7 +528,7 @@ Reverse some `Text`. ### `toCodePoints` -```haskell +```daml toCodePoints : Text -> [Int] ``` @@ -538,7 +538,7 @@ Convert a `Text` into a sequence of unicode code points. ### `fromCodePoints` -```haskell +```daml fromCodePoints : [Int] -> Text ``` @@ -549,7 +549,7 @@ exception if any of the code points is invalid. ### `asciiToLower` -```haskell +```daml asciiToLower : Text -> Text ``` @@ -560,7 +560,7 @@ all other characters remain unchanged. ### `asciiToUpper` -```haskell +```daml asciiToUpper : Text -> Text ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-textmap.mdx b/docs-main/appdev/reference/daml-standard-library/da-textmap.mdx index 236f0b9f6..d5c98087c 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-textmap.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-textmap.mdx @@ -35,7 +35,7 @@ Deprecated since: `-` ### `fromList` -```haskell +```daml fromList : [(Text, a)] -> TextMap a ``` @@ -45,7 +45,7 @@ Create a map from a list of key/value pairs. ### `fromListWithL` -```haskell +```daml fromListWithL : (a -> a -> a) -> [(Text, a)] -> TextMap a ``` @@ -67,7 +67,7 @@ True ### `fromListWithR` -```haskell +```daml fromListWithR : (a -> a -> a) -> [(Text, a)] -> TextMap a ``` @@ -85,7 +85,7 @@ True ### `fromListWith` -```haskell +```daml fromListWith : (a -> a -> a) -> [(Text, a)] -> TextMap a ``` @@ -93,7 +93,7 @@ fromListWith : (a -> a -> a) -> [(Text, a)] -> TextMap a ### `toList` -```haskell +```daml toList : TextMap a -> [(Text, a)] ``` @@ -104,7 +104,7 @@ in ascending order. ### `empty` -```haskell +```daml empty : TextMap a ``` @@ -114,7 +114,7 @@ The empty map. ### `size` -```haskell +```daml size : TextMap a -> Int ``` @@ -124,7 +124,7 @@ Number of elements in the map. ### `null` -```haskell +```daml null : TextMap v -> Bool ``` @@ -134,7 +134,7 @@ Is the map empty? ### `lookup` -```haskell +```daml lookup : Text -> TextMap a -> Optional a ``` @@ -144,7 +144,7 @@ Lookup the value at a key in the map. ### `member` -```haskell +```daml member : Text -> TextMap v -> Bool ``` @@ -154,7 +154,7 @@ Is the key a member of the map? ### `filter` -```haskell +```daml filter : (v -> Bool) -> TextMap v -> TextMap v ``` @@ -165,7 +165,7 @@ value satisfies the predicate. ### `filterWithKey` -```haskell +```daml filterWithKey : (Text -> v -> Bool) -> TextMap v -> TextMap v ``` @@ -176,7 +176,7 @@ satisfy the predicate. ### `delete` -```haskell +```daml delete : Text -> TextMap a -> TextMap a ``` @@ -187,7 +187,7 @@ member of the map, the original map is returned. ### `singleton` -```haskell +```daml singleton : Text -> a -> TextMap a ``` @@ -197,7 +197,7 @@ Create a singleton map. ### `insert` -```haskell +```daml insert : Text -> a -> TextMap a -> TextMap a ``` @@ -209,7 +209,7 @@ supplied value. ### `insertWith` -```haskell +```daml insertWith : (v -> v -> v) -> Text -> v -> TextMap v -> TextMap v ``` @@ -221,7 +221,7 @@ present in the map, it is combined with the previous value using the given funct ### `union` -```haskell +```daml union : TextMap a -> TextMap a -> TextMap a ``` @@ -232,7 +232,7 @@ keys are encountered. ### `merge` -```haskell +```daml merge : (Text -> a -> Optional c) -> (Text -> b -> Optional c) -> (Text -> a -> b -> Optional c) -> TextMap a -> TextMap b -> TextMap c ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-time.mdx b/docs-main/appdev/reference/daml-standard-library/da-time.mdx index 224d5b587..15a631246 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-time.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-time.mdx @@ -56,7 +56,7 @@ Instances: ### `time` -```haskell +```daml time : Date -> Int -> Int -> Int -> Time ``` @@ -67,7 +67,7 @@ into a UTC timestamp (`Time`). Does not handle leap seconds. ### `addRelTime` -```haskell +```daml addRelTime : Time -> RelTime -> Time ``` @@ -77,7 +77,7 @@ Adjusts `Time` with given time offset. ### `subTime` -```haskell +```daml subTime : Time -> Time -> RelTime ``` @@ -87,7 +87,7 @@ Returns time offset between two given instants. ### `wholeDays` -```haskell +```daml wholeDays : RelTime -> Int ``` @@ -97,7 +97,7 @@ Returns the number of whole days in a time offset. Fraction of time is rounded t ### `days` -```haskell +```daml days : Int -> RelTime ``` @@ -107,7 +107,7 @@ A number of days in relative time. ### `hours` -```haskell +```daml hours : Int -> RelTime ``` @@ -117,7 +117,7 @@ A number of hours in relative time. ### `minutes` -```haskell +```daml minutes : Int -> RelTime ``` @@ -127,7 +127,7 @@ A number of minutes in relative time. ### `seconds` -```haskell +```daml seconds : Int -> RelTime ``` @@ -137,7 +137,7 @@ A number of seconds in relative time. ### `milliseconds` -```haskell +```daml milliseconds : Int -> RelTime ``` @@ -147,7 +147,7 @@ A number of milliseconds in relative time. ### `microseconds` -```haskell +```daml microseconds : Int -> RelTime ``` @@ -157,7 +157,7 @@ A number of microseconds in relative time. ### `convertRelTimeToMicroseconds` -```haskell +```daml convertRelTimeToMicroseconds : RelTime -> Int ``` @@ -168,7 +168,7 @@ Use higher level functions instead of the internal microseconds ### `convertMicrosecondsToRelTime` -```haskell +```daml convertMicrosecondsToRelTime : Int -> RelTime ``` @@ -179,7 +179,7 @@ Use higher level functions instead of the internal microseconds ### `isLedgerTimeLT` -```haskell +```daml isLedgerTimeLT : Time -> Update Bool ``` @@ -189,7 +189,7 @@ True iff the ledger time of the transaction is less than the given time. ### `isLedgerTimeLE` -```haskell +```daml isLedgerTimeLE : Time -> Update Bool ``` @@ -199,7 +199,7 @@ True iff the ledger time of the transaction is less than or equal to the given t ### `isLedgerTimeGT` -```haskell +```daml isLedgerTimeGT : Time -> Update Bool ``` @@ -209,7 +209,7 @@ True iff the ledger time of the transaction is greater than the given time. ### `isLedgerTimeGE` -```haskell +```daml isLedgerTimeGE : Time -> Update Bool ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-traversable.mdx b/docs-main/appdev/reference/daml-standard-library/da-traversable.mdx index a091825cf..412452d76 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-traversable.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-traversable.mdx @@ -69,7 +69,7 @@ Instances: ### `forA` -```haskell +```daml forA : (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b) ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-tuple.mdx b/docs-main/appdev/reference/daml-standard-library/da-tuple.mdx index 41410d381..6e029f9a9 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-tuple.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-tuple.mdx @@ -31,7 +31,7 @@ Deprecated since: `-` ### `first` -```haskell +```daml first : (a -> a') -> (a, b) -> (a', b) ``` @@ -42,7 +42,7 @@ supplied function to the argument pair's first field. ### `second` -```haskell +```daml second : (b -> b') -> (a, b) -> (a, b') ``` @@ -53,7 +53,7 @@ supplied function to the argument pair's second field. ### `both` -```haskell +```daml both : (a -> b) -> (a, a) -> (b, b) ``` @@ -65,7 +65,7 @@ fields. ### `swap` -```haskell +```daml swap : (a, b) -> (b, a) ``` @@ -76,7 +76,7 @@ argument pair's first and second fields. ### `dupe` -```haskell +```daml dupe : a -> (a, a) ``` @@ -88,7 +88,7 @@ Duplicate a single value into a pair. ### `fst3` -```haskell +```daml fst3 : (a, b, c) -> a ``` @@ -98,7 +98,7 @@ Extract the 'fst' of a triple. ### `snd3` -```haskell +```daml snd3 : (a, b, c) -> b ``` @@ -108,7 +108,7 @@ Extract the 'snd' of a triple. ### `thd3` -```haskell +```daml thd3 : (a, b, c) -> c ``` @@ -118,7 +118,7 @@ Extract the final element of a triple. ### `curry3` -```haskell +```daml curry3 : ((a, b, c) -> d) -> a -> b -> c -> d ``` @@ -128,7 +128,7 @@ Converts an uncurried function to a curried function. ### `uncurry3` -```haskell +```daml uncurry3 : (a -> b -> c -> d) -> (a, b, c) -> d ``` diff --git a/docs-main/appdev/reference/daml-standard-library/da-validation.mdx b/docs-main/appdev/reference/daml-standard-library/da-validation.mdx index b2208a9cf..e5e884b2d 100644 --- a/docs-main/appdev/reference/daml-standard-library/da-validation.mdx +++ b/docs-main/appdev/reference/daml-standard-library/da-validation.mdx @@ -57,7 +57,7 @@ Instances: ### `invalid` -```haskell +```daml invalid : err -> Validation err a ``` @@ -67,7 +67,7 @@ Fail for the given reason. ### `ok` -```haskell +```daml ok : a -> Validation err a ``` @@ -77,7 +77,7 @@ Succeed with the given value. ### `validate` -```haskell +```daml validate : Either err a -> Validation err a ``` @@ -87,7 +87,7 @@ Turn an `Either` into a `Validation`. ### `run` -```haskell +```daml run : Validation err a -> Either (NonEmpty err) a ``` @@ -98,7 +98,7 @@ taking the non-empty list of errors as the left value. ### `run1` -```haskell +```daml run1 : Validation err a -> Either err a ``` @@ -109,7 +109,7 @@ taking just the first error as the left value. ### `runWithDefault` -```haskell +```daml runWithDefault : a -> Validation err a -> a ``` @@ -119,7 +119,7 @@ Run a `Validation err a` with a default value in case of errors. ### `>` -```haskell +```daml > : Optional b -> err -> Validation err b ``` diff --git a/docs-main/appdev/reference/daml-standard-library/index.mdx b/docs-main/appdev/reference/daml-standard-library/index.mdx index 6b14cd54c..fd2ab184a 100644 --- a/docs-main/appdev/reference/daml-standard-library/index.mdx +++ b/docs-main/appdev/reference/daml-standard-library/index.mdx @@ -1,17 +1,17 @@ --- title: "Details and history" -description: "Reference documentation for Daml Standard Library modules." +description: "Generated source details and version history for Daml Standard Library modules." ---
Daml Reference
+Details and history
-Generated module overview for the Daml Standard Library, built from versioned docs JSON snapshots.
+Generated-source metadata, version coverage, module inventory, and module lifecycle changes for this source stream.
Action
- - - - - - - - - - - -DA.Action.State
- - - - - - - - - - - -DA.Action.State.Class
- - - - - - - - - - - --
- - - - - - - - - - - --
- - - - - - - - - - - -Functions for working with Crypto builtins.
- - - - - - - - - - - -This module provides a set of functions to manipulate Date values.
- - - - - - - - - - - -The Either type represents values with two possibilities.
- - - - - - - - - - - -Exception handling in Daml.
- - - - - - - - - - - -Fail, for FailureStatus
- - - - - - - - - - - -Class of data structures that can be folded to a summary value.
- - - - - - - - - - - -The Functor class is used for types that can be mapped over.
- - - - - - - - - - - --
- - - - - - - - - - - --
- - - - - - - - - - - -List
- - - - - - - - - - - -Note: This is only supported in Daml-LF 1.11 or later.
- - - - - - - - - - - --
- - - - - - - - - - - -Logic - Propositional calculus.
- - - - - - - - - - - -Note: This is only supported in Daml-LF 1.11 or later.
- - - - - - - - - - - -Math - Utility Math functions for Decimal
- - - - - - - - - - - --
- - - - - - - - - - - -Type and functions for non-empty lists. This module re-exports many functions with
- - - - - - - - - - - -This module contains the type for non-empty lists so we can give it a stable package id.
- - - - - - - - - - - --
- - - - - - - - - - - -The Optional type encapsulates an optional value. A value of type
- - - - - - - - - - - -Exports the record machinery necessary to allow one to annotate
- - - - - - - - - - - --
- - - - - - - - - - - -Note: This is only supported in Daml-LF 1.11 or later.
- - - - - - - - - - - --
- - - - - - - - - - - -Functions for working with Text.
- - - - - - - - - - -TextMap - A map is an associative array data type composed of a
+## Generated from - - +This module provides a set of functions to manipulate Time values.
+Module pages are generated from the publish-version Daml docs JSON, with lifecycle facts calculated across selected snapshots.
- - - - - - -Class of data structures that can be traversed from left to right, performing an action on each element.
- - - - - - - - - - - -Tuple - Ubiquitous functions of tuples.
- - - - - - - - - -Validation type and associated functions.
+| VERSION | +STATUS | +SUMMARY | +
|---|---|---|
3.4.9 |
+
+
-
+ |
+ 38 added, 1 deprecated. | +
3.4.10 |
+
+
-
+
+
+ 0 surface changes
+
-
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.11 |
+
+
-
+
+
+ 0 surface changes
+
+
+ |
+ No surface changes detected in the selected inputs. | +
The pieces that make up the Daml language.
+Open a module page for declarations, type signatures, warnings, and lifecycle details. - - - -Module changes included in this Daml docs JSON snapshot.
- - - -Module changes included in this Daml docs JSON snapshot.
- - - -| TYPE | +STATUS | +SUMMARY | +
|---|---|---|
| + DA.Action + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Action | +
| + DA.Action.State + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ DA.Action.State | +
| + DA.Action.State.Class + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ DA.Action.State.Class | +
| + DA.Assert + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ - | +
| + DA.Bifunctor + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ - | +
| + DA.Crypto.Text + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Functions for working with Crypto builtins. | +
| + DA.Date + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ This module provides a set of functions to manipulate Date values. | +
| + DA.Either + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ The Either type represents values with two possibilities. | +
| + DA.Exception + | +
+
+
+
+ Since 3.4.9
+
+
+ Deprecated 3.4.9
+
+
+ |
+ Exception handling in Daml. | +
| + DA.Fail + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Fail, for FailureStatus | +
| + DA.Foldable + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Class of data structures that can be folded to a summary value. | +
| + DA.Functor + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ The Functor class is used for types that can be mapped over. | +
| + DA.Internal.Interface.AnyView + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ - | +
| + DA.Internal.Interface.AnyView.Types + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ - | +
| + DA.List + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ List | +
| + DA.List.BuiltinOrder + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Note: This is only supported in Daml-LF 1.11 or later. | +
| + DA.List.Total + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ - | +
| + DA.Logic + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Logic - Propositional calculus. | +
| + DA.Map + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Note: This is only supported in Daml-LF 1.11 or later. | +
| + DA.Math + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Math - Utility Math functions for Decimal | +
| + DA.Monoid + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ - | +
| + DA.NonEmpty + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Type and functions for non-empty lists. This module re-exports many functions with | +
| + DA.NonEmpty.Types + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ This module contains the type for non-empty lists so we can give it a stable package id. | +
| + DA.Numeric + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ - | +
| + DA.Optional + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ The Optional type encapsulates an optional value. A value of type | +
| + DA.Record + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Exports the record machinery necessary to allow one to annotate | +
| + DA.Semigroup + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ - | +
| + DA.Set + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Note: This is only supported in Daml-LF 1.11 or later. | +
| + DA.Stack + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ - | +
| + DA.Text + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Functions for working with Text. | +
| + DA.TextMap + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ TextMap - A map is an associative array data type composed of a | +
| + DA.Time + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ This module provides a set of functions to manipulate Time values. | +
| + DA.Traversable + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Class of data structures that can be traversed from left to right, performing an action on each element. | +
| + DA.Tuple + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Tuple - Ubiquitous functions of tuples. | +
| + DA.Validation + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ Validation type and associated functions. | +
| + Prelude + | +
+
+
+
+ Since 3.4.9
+
+
+
+ |
+ The pieces that make up the Daml language. | +
Module changes included in this Daml docs JSON snapshot.
+## Known limits + + +- Change detection compares selected Daml docs JSON snapshots; it does not infer behavioral compatibility. -Protobuf Reference
- - -Operation-first gRPC pages with package-level browsing and recursive related schema sections.
- - -Details and history
-## Release Summary +Generated-source metadata, version coverage, package inventory, and per-release changes for this source stream.
-Endpoint / message / enum deltas for this release.
- - - - - -Endpoint / message / enum deltas for this release.
- - - + v3.4.11 - -Endpoint / message / enum deltas for this release.
- - - - - -Endpoint / message / enum deltas for this release.
- - - - -Endpoint / message / enum deltas for this release.
- - - - - +Endpoint / message / enum deltas for this release.
- - - - - +Endpoint / message / enum deltas for this release.
- - - - -Endpoint / message / enum deltas for this release.
- - - - -Endpoint / message / enum deltas for this release.
- - - +## Generated from - -Endpoint / message / enum deltas for this release.
- - - + - - - -Endpoint / message / enum deltas for this release.
- - - - - +9 services, 20 endpoints, 115 messages, 8 enums
- - - - - - - - - - -6 services, 28 endpoints, 78 messages, 3 enums
- - - +Package and operation pages are generated from the latest descriptor snapshot, with history calculated across selected release bundles.
- - - - - - - -1 services, 6 endpoints, 28 messages, 1 enums
- - - - - - - - - -1 services, 2 endpoints, 3 messages
- - - - - - - +| VERSION | +STATUS | +SUMMARY | +
|---|---|---|
3.4.0 |
+
+
+
+
+
+ 294 added
+
+
+
+ |
+ 294 added. | +
3.4.2 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.3 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.4 |
+
+
+
+
+
+ 1 changed
+
+
+
+ |
+ 1 changed. | +
3.4.5 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.6 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.7 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.8 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.9 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.10 |
+
+
+
+
+
+ 1 changed
+
+
+
+ |
+ 1 changed. | +
3.4.11 |
+
+
+
+
+
+ 3 added
+
+
+
+ |
+ 3 added. | +
| TYPE | +STATUS | +SUMMARY | +
|---|---|---|
| + com.daml.ledger.api.v2 + | +
+
+
+
+ Since 3.4.0
+
+
+ Changed 3.4.11
+
+
+ |
+ 9 services, 20 endpoints, 115 messages, 8 enums | +
| + com.daml.ledger.api.v2.admin + | +
+
+
+
+ Since 3.4.0
+
+
+
+ |
+ 6 services, 28 endpoints, 78 messages, 3 enums | +
| + com.daml.ledger.api.v2.interactive + | +
+
+
+
+ Since 3.4.0
+
+
+
+ |
+ 1 services, 6 endpoints, 28 messages, 1 enums | +
| + com.daml.ledger.api.v2.testing + | +
+
+
+
+ Since 3.4.0
+
+
+
+ |
+ 1 services, 2 endpoints, 3 messages | +
| + com.daml.ledger.api + | +
+
+
+
+ Current
+
+
+
+ |
+ 0 services, 0 endpoints, 0 messages | +
| + com.daml.ledger.api.v2.interactive.transaction.v1 + | +
+
+
+
+ Current
+
+
+
+ |
+ 0 services, 0 endpoints, 5 messages | +
0 services, 0 endpoints, 0 messages
- - - - - - - - - - -0 services, 0 endpoints, 5 messages
- - - +- Endpoint, message, and enum additions, removals, and structural changes are tracked when they are present in the selected snapshots. - - - - -Details and history
-openrpc spec
- -Descriptor-backed protobuf API history grouped by package. Operation-first gRPC pages with package-level browsing and recursive related schema sections.
- -Generated-source metadata, version coverage, package inventory, and per-release changes for this source stream.
-Counts are shown as added / changed / removed within each release slice. - - - -Endpoint / message / enum deltas for this release.
- - - - - -Endpoint / message / enum deltas for this release.
- - -Endpoint / message / enum deltas for this release.
+## Generated from - - +Endpoint / message / enum deltas for this release.
- - - -Endpoint / message / enum deltas for this release.
+Package and operation pages are generated from the latest descriptor snapshot, with history calculated across selected release bundles.
@@ -274,804 +108,444 @@ Counts are shown as added / changed / removed within each release slice.Endpoint / message / enum deltas for this release.
- - - - - -Endpoint / message / enum deltas for this release.
- - - - - +| VERSION | +STATUS | +SUMMARY | +
|---|---|---|
3.4.0 |
+
+
+
+
+
+ 499 added
+
+
+
+ |
+ 499 added. | +
3.4.2 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.3 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.4 |
+
+
+
+
+
+ 1 changed
+
+
+
+ |
+ 1 changed. | +
3.4.5 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.6 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.7 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.8 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.9 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.10 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.11 |
+
+
+
+
+
+ 1 added
+
+
+
+
+ 2 changed
+
+
+
+ |
+ 1 added, 2 changed. | +
| TYPE | +STATUS | +SUMMARY | +
|---|---|---|
| + com.digitalasset.canton.admin.participant.v30 + | +
+
+
+
+ Since 3.4.0
+
+
+
+ |
+ 11 services, 69 endpoints, 169 messages, 7 enums | +
| + com.digitalasset.canton.admin.sequencer.v30 + | +
+
+
+
+ Since 3.4.0
+
+
+
+ |
+ 1 services, 1 endpoints, 12 messages, 1 enums | +
| + com.digitalasset.canton.admin.mediator.v30 + | +
+
+
+
+ Since 3.4.0
+
+
+
+ |
+ 1 services, 1 endpoints, 3 messages | +
| + com.digitalasset.canton.admin.health.v30 + | +
+
+
+
+ Since 3.4.0
+
+
+
+ |
+ 1 services, 4 endpoints, 14 messages, 1 enums | +
| + com.digitalasset.canton.crypto.admin.v30 + | +
+
+
+
+ Since 3.4.0
+
+
+
+ |
+ 1 services, 12 endpoints, 33 messages | +
| + com.digitalasset.canton.time.admin.v30 + | +
+
+
+
+ Since 3.4.0
+
+
+
+ |
+ 1 services, 2 endpoints, 4 messages | +
| + com.digitalasset.canton.topology.admin.v30 + | +
+
+
+
+ Since 3.4.0
+
+
+
+ |
+ 4 services, 34 endpoints, 100 messages, 1 enums | +
| + com.digitalasset.canton.admin + | +
+
+
+
+ Current
+
+
+
+ |
+ 0 services, 0 endpoints, 0 messages | +
| + com.digitalasset.canton.admin.crypto.v30 + | +
+
+
+
+ Current
+
+
+
+ |
+ 0 services, 0 endpoints, 1 messages, 1 enums | +
| + com.digitalasset.canton.admin.pruning.v30 + | +
+
+
+
+ Current
+
+
+
+ |
+ 0 services, 0 endpoints, 28 messages | +
| + com.digitalasset.canton.admin.time.v30 + | +
+
+
+
+ Current
+
+
+
+ |
+ 0 services, 0 endpoints, 2 messages | +
Endpoint / message / enum deltas for this release.
- - - - - -Endpoint / message / enum deltas for this release.
+## Known limits - - - -Endpoint / message / enum deltas for this release.
- - - - - -Endpoint / message / enum deltas for this release.
- - - - - -1 services, 4 endpoints, 14 messages, 1 enums
- - - - - - - - - - - -1 services, 12 endpoints, 33 messages
- - - - - - - - - - - -1 services, 2 endpoints, 4 messages
- - - - - - - - - - - -4 services, 34 endpoints, 100 messages, 1 enums
- - - - - - - - -0 services, 0 endpoints, 0 messages
- - - - - - - - - - - -0 services, 0 endpoints, 1 messages, 1 enums
- - - - - - - - - - - -0 services, 0 endpoints, 28 messages
- - - - - - - - - - - -0 services, 0 endpoints, 2 messages
- - - - - - - - -Details and history
-openrpc spec
- -Generated Ledger API gRPC reference grouped by package. Operation-first gRPC pages with package-level browsing and recursive related schema sections.
- -Generated-source metadata, version coverage, package inventory, and per-release changes for this source stream.
-## Release Summary +Endpoint / message / enum deltas for this release.
- - - - - -Endpoint / message / enum deltas for this release.
- - - -Endpoint / message / enum deltas for this release.
- - - - - +Endpoint / message / enum deltas for this release.
- - - - - +Endpoint / message / enum deltas for this release.
- - - - -Endpoint / message / enum deltas for this release.
- - - +## Generated from - -Endpoint / message / enum deltas for this release.
- - - + - - - -Endpoint / message / enum deltas for this release.
- - - - - +Package and operation pages are generated from the latest descriptor snapshot, with history calculated across selected release bundles.
-9 services, 20 endpoints, 115 messages, 8 enums
- - - - - - - - - -6 services, 28 endpoints, 78 messages, 3 enums
- - - - - - - - - - -1 services, 6 endpoints, 28 messages, 1 enums
- - - - - - - - - - -1 services, 2 endpoints, 3 messages
- - - +## Version summary - - - - +| VERSION | +STATUS | +SUMMARY | +
|---|---|---|
3.4.4 |
+
+
+
+
+
+ 294 added
+
+
+
+ |
+ 294 added. | +
3.4.5 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.6 |
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.7 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.8 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.9 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.10 |
+
+
+
+
+
+ 1 changed
+
+
+
+ |
+ 1 changed. | +
3.4.11 |
+
+
+
+
+
+ 3 added
+
+
+
+ |
+ 3 added. | +
| TYPE | +STATUS | +SUMMARY | +
|---|---|---|
| + com.daml.ledger.api.v2 + | +
+
+
+
+ Since 3.4.4
+
+
+ Changed 3.4.11
+
+
+ |
+ 9 services, 20 endpoints, 115 messages, 8 enums | +
| + com.daml.ledger.api.v2.admin + | +
+
+
+
+ Since 3.4.4
+
+
+
+ |
+ 6 services, 28 endpoints, 78 messages, 3 enums | +
| + com.daml.ledger.api.v2.interactive + | +
+
+
+
+ Since 3.4.4
+
+
+
+ |
+ 1 services, 6 endpoints, 28 messages, 1 enums | +
| + com.daml.ledger.api.v2.testing + | +
+
+
+
+ Since 3.4.4
+
+
+
+ |
+ 1 services, 2 endpoints, 3 messages | +
| + com.daml.ledger.api.v2.interactive.transaction.v1 + | +
+
+
+
+ Current
+
+
+ |
+ 0 services, 0 endpoints, 5 messages | +
Details and history
-- Source name: `Published Java docs snapshots` -- Version filter: `configured bindings artifact versions` -- Artifacts: `1` -- Types: `185` -- Members: `1268` -## Artifacts +Generated-source metadata, version coverage, artifact inventory, and symbol lifecycle changes for this source stream.
+ + +Artifact, package, and object pages are generated from selected local Javadoc snapshots.
+ + + + + +| VERSION | +STATUS | +SUMMARY | +
|---|---|---|
3.4.8 |
+
+
+
+
+
+ 1451 added
+
+
+
+
+ 2 deprecated
+
+
+
+ |
+ 1451 added, 2 deprecated. | +
3.4.9 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.10 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.4.11 |
+
+
+
+
+
+ 2 added
+
+
+
+
+ 1 removed
+
+
+
+ |
+ 2 added, 1 removed. | +
| TYPE | +STATUS | +SUMMARY | +
|---|---|---|
| + com.daml:bindings-java + | +
+
+
+
+ Since 3.4.8
+
+
+
+ |
+ 185 types and 1268 members across 4 selected versions. | +
Details and history
-asyncapi reference
- -JSON Ledger API WebSocket AsyncAPI reference and version history. Operation-first WebSocket reference pages built from AsyncAPI channel snapshots and lifecycle deltas.
- -Generated-source metadata, version coverage, channel inventory, and per-version changes for this source stream.
+ + +Subscribe to command completion events.
-Channel and action pages are generated from the publish-version AsyncAPI document, with history calculated across selected snapshots.
+ + - - - - - - - -Returns a stream of the snapshot of the active contracts and incomplete (un)assignments at a ledger offset. Once the stream of GetActiveContractsResponses completes, the client...
-Read the ledger's filtered update stream for the specified contents and filters. It returns the event types in accordance with the stream contents selected. Also the selection c...
-| VERSION | +STATUS | +SUMMARY | +
|---|---|---|
3.4 |
+
+
+
+
+
+ 0 surface changes
+
+
+
+ |
+ No surface changes detected in the selected inputs. | +
3.5 |
+
+
+
+
+
+ 5 changed
+
+
+
+ |
+ 5 changed. | +
Get flat transactions update stream. Provided for backwards compatibility, it will be removed in the Canton version 3.5.0, use v2/updates instead.
-