- Overview
- Tutorials
- Getting started
- Get started with Canton and the JSON Ledger API
- Get Started with Canton, the JSON Ledger API, TypeScript and WebSockets
- Get Started with Canton, the JSON Ledger API, and TypeScript
- Multi-Synchronizer Operations with the JSON Ledger API and TypeScript
- Get started with Canton Network App Dev Quickstart
- Using the JSON Ledger API
- Deploy Quickstart to DevNet
- Appendix
- Get started with smart contract development
- Basic contracts
- Test templates using Daml scripts
- Build the Daml Archive (.dar) file
- Data types
- Transform contracts using choices
- Add constraints to a contract
- Parties and authority
- Compose choices
- Handle exceptions (Deprecated)
- Work with dependencies
- Functional programming 101
- The Daml standard library
- Test Daml contracts
- Next steps
- Interfaces
- Application development
- Getting started
- Development how-tos
- Best practices for Canton Network application development
- System design
- Application development
- How to use the Canton Network App Dev Quickstart
- Develop
- How to upload and query Daml packages
- How to allocate and query Daml parties
- Multi-Synchronizer Application Best Practices
- How to Onboard and Use External Parties in Quickstart
- How to work with contracts and transactions in Java
- How to disclose contracts to non-stakeholders
- How to query contracts and transactions using SQL
- Debug
- Observe
- Secure
- Harden
- Optimize
- Upgrade
- Smart contract development
- Migration guides
- Component how-tos
- Explanations
- References
- Application development
- Smart contract development
- Daml language cheat sheet
- Daml language reference
- Overview: Template Structure
- Reference: Templates
- Reference: Choices
- Reference: Updates
- Reference: Data Types
- Reference: Built-in Functions
- Reference: Expressions
- Reference: Functions
- Reference: Daml File Structure
- Reference: Daml Packages
- Reference: Contract Keys
- Reference: Interfaces
- Reference: Exceptions (Deprecated)
- Reference: Serializable
- Fixity, Associativity and Precedence
- Daml standard library
- DA.Action.State.Class
- DA.Action.State
- DA.Action
- DA.Assert
- DA.Bifunctor
- DA.Crypto.Text
- DA.Date
- DA.Either
- DA.Exception
- DA.Fail
- DA.Foldable
- DA.Functor
- DA.Internal.Interface.AnyView.Types
- DA.Internal.Interface.AnyView
- DA.List.BuiltinOrder
- DA.List.Total
- DA.List
- DA.Logic
- DA.Map
- DA.Math
- DA.Monoid
- DA.NonEmpty.Types
- DA.NonEmpty
- DA.Numeric
- DA.Optional
- DA.Record
- DA.Semigroup
- DA.Set
- DA.Stack
- DA.Text
- DA.TextMap
- DA.Time
- DA.Traversable
- DA.Tuple
- DA.Validation
- DA.ContractKeys
- GHC.Show.Text
- GHC.Tuple.Check
- Prelude
- Daml Script
- Smart contract upgrading reference
- Glossary of concepts
DA.Numeric¶
Data Types¶
data RoundingMode
Rounding modes.
Round away from zero.
Round towards zero.
Round towards positive infinity.
Round towards negative infinity.
Round towards the nearest neighbor unless both neighbors are equidistant, in which case round away from zero.
Round towards the nearest neighbor unless both neighbors are equidistant, in which case round towards zero.
Round towards the nearest neighbor unless both neighbors are equidistant, in which case round towards the even neighbor.
Do not round. Raises an error if the result cannot be represented without rounding at the targeted scale.
Functions¶
- mul
: NumericScale n3 => Numeric n1 -> Numeric n2 -> Numeric n3
Multiply two numerics. Both inputs and the output may have different scales, unlike
(*)which forces all numeric scales to be the same. Raises an error on overflow, rounds to chosen scale otherwise.
- div
: NumericScale n3 => Numeric n1 -> Numeric n2 -> Numeric n3
Divide two numerics. Both inputs and the output may have different scales, unlike
(/)which forces all numeric scales to be the same. Raises an error on overflow, rounds to chosen scale otherwise.
- cast
: NumericScale n2 => Numeric n1 -> Numeric n2
Cast a Numeric. Raises an error on overflow or loss of precision.
- castAndRound
: NumericScale n2 => Numeric n1 -> Numeric n2
Cast a Numeric. Raises an error on overflow, rounds to chosen scale otherwise.
- shift
: NumericScale n2 => Numeric n1 -> Numeric n2
Move the decimal point left or right by multiplying the numeric value by 10^(n1 - n2). Does not overflow or underflow.
- pi
: NumericScale n => Numeric n
The number pi.
- epsilon
: NumericScale n => Numeric n
The minimum strictly positive value that can be represented by a numeric of scale
n.
- roundNumeric
: NumericScale n => Int -> RoundingMode -> Numeric n -> Numeric n
Round a
Numericnumber. The value ofround n r ais the value ofarounded tondecimal places (i.e. scale), according to the rounding moder.This will fail when using the
RoundingUnnecessarymode for a number that cannot be represented exactly with at mostndecimal places.