Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Size

Synopsis

Documentation

Constructors

Size
Fields unSize :: Integer

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 # prettyList :: [Size] -> Doc ann #

Count the number of AST nodes in a kind.

>>> kindSize $ Type ()
Size {unSize = 1}
>>> kindSize $ KindArrow () (KindArrow () (Type ()) (Type ())) (Type ())
Size {unSize = 5}

typeSize :: Type tyname uni ann -> Size Source #

Count the number of AST nodes in a type.

termSize :: Term tyname name uni fun ann -> Size Source #

Count the number of AST nodes in a term.

varDeclSize :: VarDecl tyname name uni ann -> Size Source #

programSize :: Program tyname name uni fun ann -> Size Source #

Count the number of AST nodes in a program.

Compute the size of the serializabled form of a value.