Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Analysis.Size

Synopsis

newtype Size = Size {
- unSize ∷ Integer
}
kindSize ∷ Kind a → Size
typeSize ∷ ∀ tyname (uni ∷ Type → Type) ann. Type tyname uni ann → Size
tyVarDeclSize ∷ TyVarDecl tyname ann → Size
termSize ∷ Term tyname name uni fun ann → Size
varDeclSize ∷ ∀ tyname name (uni ∷ Type → Type) ann. VarDecl tyname name uni ann → Size

Documentation

newtype Size Source #

Constructors

Size
Fields unSize ∷ Integer

Instances

Instances details

Monoid Size
Instance details Defined in PlutusCore.Size Methods mempty ∷ Size Source # mappend ∷ Size → Size → Size Source # mconcat ∷ [Size] → Size Source #
Semigroup Size
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
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
Instance details Defined in PlutusCore.Size Methods showsPrec ∷ Int → Size → ShowS Source # show ∷ Size → String Source # showList ∷ [Size] → ShowS Source #
Eq Size
Instance details Defined in PlutusCore.Size Methods (==) ∷ Size → Size → Bool Source # (/=) ∷ Size → Size → Bool Source #
Ord Size
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
Instance details Defined in PlutusCore.Size Methods pretty ∷ Size → Doc ann Source # prettyList ∷ [Size] → Doc ann Source #

kindSize ∷ Kind 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 ∷ Type → Type) ann. Type tyname uni ann → Size Source #

Count the number of AST nodes in a type.

tyVarDeclSize ∷ TyVarDecl tyname ann → Size Source #

termSize ∷ Term tyname name uni fun ann → Size Source #

Count the number of AST nodes in a term.

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