Safe Haskell	None
Language	Haskell2010

PlutusCore.AstSize

Synopsis

newtype AstSize = AstSize {
- unAstSize :: Integer
}
kindAstSize :: Kind a -> AstSize
typeAstSize :: forall tyname (uni :: Type -> Type) ann. Type tyname uni ann -> AstSize
tyVarDeclAstSize :: TyVarDecl tyname ann -> AstSize
termAstSize :: forall tyname name (uni :: Type -> Type) fun ann. Term tyname name uni fun ann -> AstSize
varDeclAstSize :: forall tyname name (uni :: Type -> Type) ann. VarDecl tyname name uni ann -> AstSize
programAstSize :: forall tyname name (uni :: Type -> Type) fun ann. Program tyname name uni fun ann -> AstSize
serialisedAstSize :: Flat a => a -> Integer

Documentation

newtype AstSize Source #

Constructors

AstSize
Fields unAstSize :: Integer

Instances

Instances details

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

kindAstSize :: Kind a -> AstSize Source #

Count the number of AST nodes in a kind.

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

typeAstSize :: forall tyname (uni :: Type -> Type) ann. Type tyname uni ann -> AstSize Source #

Count the number of AST nodes in a type.

tyVarDeclAstSize :: TyVarDecl tyname ann -> AstSize Source #

termAstSize :: forall tyname name (uni :: Type -> Type) fun ann. Term tyname name uni fun ann -> AstSize Source #

Count the number of AST nodes in a term.

varDeclAstSize :: forall tyname name (uni :: Type -> Type) ann. VarDecl tyname name uni ann -> AstSize Source #

programAstSize :: forall tyname name (uni :: Type -> Type) fun ann. Program tyname name uni fun ann -> AstSize Source #

Count the number of AST nodes in a program.

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

Compute the size of the serializabled form of a value.