Documentation

Cedar.Spec.Ext.Decimal

This file defines Cedar decimal values and functions.

source
@[reducible, inline]
abbrev Cedar.Spec.Ext.Decimal :
Type
Equations
Instances For
    source
    def Cedar.Spec.Ext.Decimal.decimal? (i : Int) :
    Option Decimal

    Create a Decimal from an Int representing its internal encoding. Most callers should use higher-level constructors, e.g., Decimal.parse

    Equations
    Instances For
      source
      def Cedar.Spec.Ext.Decimal.parse (str : String) :
      Option Decimal
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        @[reducible, inline]
        abbrev Cedar.Spec.Ext.Decimal.decimal (str : String) :
        Option Decimal
        Equations
        Instances For