Safe Haskell | None |
---|---|
Language | Haskell98 |
- sizeOfSeq :: (a -> Int) -> [a] -> Int
- sizeOfFile :: [Decl Text Prim] -> Int
- sizeOfDecl :: Decl Text Prim -> Int
- sizeOfRef :: Ref Text Prim -> Int
- sizeOfExp :: Exp Text Prim -> Int
- sizeOfParam :: Param -> Int
- sizeOfCar :: Car Text Prim -> Int
- sizeOfSnvBind :: SnvBind Text Prim -> Int
- sizeOfUpsBump :: UpsBump -> Int
- sizeOfName :: Text -> Int
- sizeOfBump :: Integer -> Int
- sizeOfNom :: Integer -> Int
Documentation
sizeOfFile :: [Decl Text Prim] -> Int Source #
Compute the size of a serialized shimmer file containing the given decls.
sizeOfParam :: Param -> Int Source #
Compute the serialized size of a parameter.
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.