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

PlutusIR.Analysis.Size

Synopsis

Documentation

newtype Size Source #

Constructors

Size 

Fields

Instances

Instances details
Monoid Size 
Instance details

Defined in PlutusCore.Size

Methods

memptySize Source #

mappendSizeSizeSize Source #

mconcat ∷ [Size] → Size Source #

Semigroup Size 
Instance details

Defined in PlutusCore.Size

Methods

(<>)SizeSizeSize Source #

sconcatNonEmpty SizeSize Source #

stimesIntegral b ⇒ b → SizeSize Source #

Num Size 
Instance details

Defined in PlutusCore.Size

Methods

(+)SizeSizeSize Source #

(-)SizeSizeSize Source #

(*)SizeSizeSize Source #

negateSizeSize Source #

absSizeSize Source #

signumSizeSize Source #

fromIntegerIntegerSize Source #

Show Size 
Instance details

Defined in PlutusCore.Size

Methods

showsPrecIntSizeShowS Source #

showSizeString Source #

showList ∷ [Size] → ShowS Source #

Eq Size 
Instance details

Defined in PlutusCore.Size

Methods

(==)SizeSizeBool Source #

(/=)SizeSizeBool Source #

Ord Size 
Instance details

Defined in PlutusCore.Size

Methods

compareSizeSizeOrdering Source #

(<)SizeSizeBool Source #

(<=)SizeSizeBool Source #

(>)SizeSizeBool Source #

(>=)SizeSizeBool Source #

maxSizeSizeSize Source #

minSizeSizeSize Source #

Pretty Size 
Instance details

Defined in PlutusCore.Size

Methods

prettySizeDoc ann #

prettyList ∷ [Size] → Doc ann #

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}

typeSize ∷ ∀ tyname (uni ∷ TypeType) ann. Type 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.

varDeclSize ∷ ∀ tyname name (uni ∷ TypeType) ann. VarDecl tyname name uni ann → Size Source #