Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.AstSize

Synopsis

newtype AstSize = AstSize {
- unAstSize :: Flat a => a -> Integer

Documentation

newtype AstSize #

Constructors

AstSize
Fields unAstSize :: Integer

Instances

Instances details

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

kindAstSize :: Kind a -> AstSize #

Count the number of AST nodes in a kind.

>>> kindAstSize $ Type ()
AstSize {unAstSize = 1}
>>> kindAstSize $ KindArrow () (KindArrow () (Type ()) (Type ())) (Type ())
AstSize {unAstSize = 5}

typeAstSize :: Type tyname uni ann -> AstSize #

Count the number of AST nodes in a type.

tyVarDeclAstSize :: TyVarDecl tyname ann -> AstSize #

termAstSize :: Term tyname name uni fun ann -> AstSize #

Count the number of AST nodes in a term.

varDeclAstSize :: VarDecl tyname name uni ann -> AstSize #

programAstSize :: Program tyname name uni fun ann -> AstSize #

Count the number of AST nodes in a program.

serialisedAstSize :: Flat a => a -> Integer #

Compute the size of the serializabled form of a value.