plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Size

Synopsis

Documentation

newtype Size Source #

Constructors

Size 

Fields

Instances

Instances details
Monoid Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

memptySize Source #

mappendSizeSizeSize Source #

mconcat ∷ [Size] → Size Source #

Semigroup Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

(<>)SizeSizeSize Source #

sconcatNonEmpty SizeSize Source #

stimesIntegral b ⇒ b → SizeSize Source #

Num Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

(+)SizeSizeSize Source #

(-)SizeSizeSize Source #

(*)SizeSizeSize Source #

negateSizeSize Source #

absSizeSize Source #

signumSizeSize Source #

fromIntegerIntegerSize Source #

Show Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

showsPrecIntSizeShowS Source #

showSizeString Source #

showList ∷ [Size] → ShowS Source #

Eq Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

(==)SizeSizeBool Source #

(/=)SizeSizeBool Source #

Ord Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

compareSizeSizeOrdering Source #

(<)SizeSizeBool Source #

(<=)SizeSizeBool Source #

(>)SizeSizeBool Source #

(>=)SizeSizeBool Source #

maxSizeSizeSize Source #

minSizeSizeSize Source #

Pretty Size Source # 
Instance details

Defined in PlutusCore.Size

Methods

prettySizeDoc ann Source #

prettyList ∷ [Size] → Doc ann Source #

kindSizeKind a → Size Source #

Count the number of AST nodes in a kind.

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

typeSizeType tyname uni ann → Size Source #

Count the number of AST nodes in a type.

tyVarDeclSizeTyVarDecl tyname ann → Size Source #

termSizeTerm tyname name uni fun ann → Size Source #

Count the number of AST nodes in a term.

varDeclSizeVarDecl tyname name uni ann → Size Source #

programSizeProgram tyname name uni fun ann → Size Source #

Count the number of AST nodes in a program.

serialisedSizeFlat a ⇒ a → Integer Source #

Compute the size of the serializabled form of a value.