:: Text -> Int

length :: Text -> Int
daml-stdlib DA.Text
Compute the number of symbols in the text.
fromEnum :: (Enum a) => a -> Int
daml-stdlib Prelude
Convert a value from an `Enum` value to an `Int`: ie, returns the `Int` position of the element within the `Enum`. If `fromEnum` is applied to a value that's too large to fit in an `Int`, what is returned is up to your implementation.
error :: Text -> a
daml-stdlib Prelude
Throws a `GeneralError` exception.
throwPure :: (HasThrow e) => e -> t
daml-stdlib DA.Exception
Throw exception in a pure context.
_view :: (HasInterfaceView i v) => i -> v
daml-stdlib Prelude
view :: (HasInterfaceView i v) => i -> v
daml-stdlib Prelude
key :: (HasKey t k) => t -> k
daml-stdlib Prelude
The key of a contract.
toInterface :: (HasToInterface t i) => t -> i
daml-stdlib Prelude
(Daml-LF >= 1.15) Convert a template value into an interface value. For example `toInterface @MyInterface value` converts a template `value` into a `MyInterface` type.
getField :: (HasField x r a) => r -> a
daml-stdlib DA.Record
assertFail :: (CanAssert m) => Text -> m t
daml-stdlib Prelude
Abort since an assertion has failed. In an Update, Scenario, Script, or Trigger context this will throw an AssertionFailed exception. In an `Either Text` context, this will return the message as an error.
abort :: (CanAbort m) => Text -> m a
daml-stdlib Prelude
Abort the current action with a message.
fail :: (ActionFail m) => Text -> m a
daml-stdlib Prelude
Fail with an error message.
throw :: (ActionThrow m, Exception e) => e -> m t
daml-stdlib DA.Exception