Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Size

Synopsis

newtype Size = Size {
- unSize ∷ Integer
}
termSize ∷ Term name uni fun ann → Size
programSize ∷ Program name uni fun ann → Size
serialisedSize ∷ Flat a ⇒ a → Integer

Documentation

newtype Size Source #

Constructors

Size
Fields unSize ∷ Integer

Instances

Instances details

Monoid Size Source #
Instance details Defined in PlutusCore.Size Methods mempty ∷ Size Source # mappend ∷ Size → Size → Size Source # mconcat ∷ [Size] → Size Source #
Semigroup Size Source #
Instance details Defined in PlutusCore.Size Methods (<>) ∷ Size → Size → Size Source # sconcat ∷ NonEmpty Size → Size Source # stimes ∷ Integral b ⇒ b → Size → Size Source #
Num Size Source #
Instance details Defined in PlutusCore.Size Methods (+) ∷ Size → Size → Size Source # (-) ∷ Size → Size → Size Source # (*) ∷ Size → Size → Size Source # negate ∷ Size → Size Source # abs ∷ Size → Size Source # signum ∷ Size → Size Source # fromInteger ∷ Integer → Size Source #
Show Size Source #
Instance details Defined in PlutusCore.Size Methods showsPrec ∷ Int → Size → ShowS Source # show ∷ Size → String Source # showList ∷ [Size] → ShowS Source #
Eq Size Source #
Instance details Defined in PlutusCore.Size Methods (==) ∷ Size → Size → Bool Source # (/=) ∷ Size → Size → Bool Source #
Ord Size Source #
Instance details Defined in PlutusCore.Size Methods compare ∷ Size → Size → Ordering Source # (<) ∷ Size → Size → Bool Source # (<=) ∷ Size → Size → Bool Source # (>) ∷ Size → Size → Bool Source # (>=) ∷ Size → Size → Bool Source # max ∷ Size → Size → Size Source # min ∷ Size → Size → Size Source #
Pretty Size Source #
Instance details Defined in PlutusCore.Size Methods pretty ∷ Size → Doc ann Source # prettyList ∷ [Size] → Doc ann Source #

termSize ∷ Term name uni fun ann → Size Source #

Count the number of AST nodes in a term.

programSize ∷ Program name uni fun ann → Size Source #

Count the number of AST nodes in a program.

serialisedSize ∷ Flat a ⇒ a → Integer Source #

Compute the size of the serialized form of a value.