| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Evaluation.Builtins.BLS12_381.Utils
Synopsis
- type PlcTerm = Term TyName Name DefaultUni DefaultFun ()
- type PlcError = Error DefaultUni DefaultFun ()
- type UplcTerm = Term Name DefaultUni DefaultFun ()
- data CekResult
- evalTerm ∷ PlcTerm → CekResult
- uplcTrue ∷ CekResult
- uplcFalse ∷ CekResult
- integer ∷ Integer → PlcTerm
- bytestring ∷ ByteString → PlcTerm
- mkApp1 ∷ DefaultFun → PlcTerm → PlcTerm
- mkApp2 ∷ DefaultFun → PlcTerm → PlcTerm → PlcTerm
- compressionBit ∷ Word8
- infinityBit ∷ Word8
- signBit ∷ Word8
- unsafeUnconsBS ∷ ByteString → (Word8, ByteString)
- modifyMSB ∷ (Word8 → Word8) → ByteString → ByteString
- flipBits ∷ Word8 → ByteString → ByteString
- clearBits ∷ Word8 → ByteString → ByteString
- setBits ∷ Word8 → ByteString → ByteString
- isSet ∷ Word8 → ByteString → Bool
Documentation
type PlcTerm = Term TyName Name DefaultUni DefaultFun () Source #
type PlcError = Error DefaultUni DefaultFun () Source #
type UplcTerm = Term Name DefaultUni DefaultFun () Source #
Constructors
| TypeCheckError PlcError | |
| CekError | |
| CekSuccess UplcTerm |
compressionBit ∷ Word8 Source #
ByteString utilities. These are used in tests to check that the format of compressed points conforms to the specification at https://github.com/supranational/blst#serialization-format .
unsafeUnconsBS ∷ ByteString → (Word8, ByteString) Source #
modifyMSB ∷ (Word8 → Word8) → ByteString → ByteString Source #
Apply some function to the most significant byte of a bytestring
flipBits ∷ Word8 → ByteString → ByteString Source #
Flip a specified set of bits in the most significant byte of a bytestring.
clearBits ∷ Word8 → ByteString → ByteString Source #
Clear a specified set of bits in the most significant byte of a bytestring.
setBits ∷ Word8 → ByteString → ByteString Source #
Set a specified set of bits in the most significant byte of a bytestring.