shimmer-0.1.1: The Reflective Lambda Machine

Safe HaskellNone
LanguageHaskell98

SMR.Codec.Size

Synopsis

Documentation

sizeOfSeq :: (a -> Int) -> [a] -> Int Source #

Compute the serialized size of a sequence of things.

sizeOfFile :: [Decl Text Prim] -> Int Source #

Compute the size of a serialized shimmer file containing the given decls.

sizeOfDecl :: Decl Text Prim -> Int Source #

Compute the serialized size of a given declaration.

sizeOfRef :: Ref Text Prim -> Int Source #

Compute the serialized size of the given reference.

sizeOfExp :: Exp Text Prim -> Int Source #

Compute the serialized size of the given expression.

sizeOfParam :: Param -> Int Source #

Compute the serialized size of a parameter.

sizeOfCar :: Car Text Prim -> Int Source #

Compute the serialized size of a substitution car.

sizeOfSnvBind :: SnvBind Text Prim -> Int Source #

Compute the serialized size of a substitution bind.

sizeOfUpsBump :: UpsBump -> Int Source #

Compute the serialized size of an lifting bump.

sizeOfName :: Text -> Int Source #

Compute the serialized size of a text string.

sizeOfBump :: Integer -> Int Source #

Compute the serialized size of a bump bounter.

sizeOfNom :: Integer -> Int Source #

Compute the serialized size of a nominal atom.