Safe Haskell	None
Language	Haskell2010

PlutusCore.Flat

Contents

Orphan instances

Description

Flat instances for Plutus Core types. Make sure to read the Note [Stable encoding of PLC] before touching anything in this file. Also see the Notes [Serialising unit annotations] and [Serialising Scripts] before using anything in this file.

Synopsis

newtype AsSerialize a = AsSerialize {
- unAsSerialize :: a
}
safeEncodeBits :: NumBits -> Word8 -> Encoding

Documentation

newtype AsSerialize a Source #

For deriving Flat instances via Serialize.

Constructors

AsSerialize
Fields unAsSerialize :: a

Instances

Instances details

Serialise a => Flat (AsSerialize a) Source #
Instance details Defined in PlutusCore.Flat Methods encode :: AsSerialize a -> Encoding Source # decode :: Get (AsSerialize a) Source # size :: AsSerialize a -> NumBits -> NumBits Source #
Serialise a => Serialise (AsSerialize a) Source #
Instance details Defined in PlutusCore.Flat Methods encode :: AsSerialize a -> Encoding Source # decode :: Decoder s (AsSerialize a) Source # encodeList :: [AsSerialize a] -> Encoding Source # decodeList :: Decoder s [AsSerialize a] Source #

safeEncodeBits :: NumBits -> Word8 -> Encoding Source #

Orphan instances

Flat Data Source #
Instance details Methods encode :: Data -> Encoding Source # decode :: Get Data Source # size :: Data -> NumBits -> NumBits Source #
Flat Unique Source #
Instance details Methods encode :: Unique -> Encoding Source # decode :: Get Unique Source # size :: Unique -> NumBits -> NumBits Source #
Flat TyName Source #
Instance details Methods encode :: TyName -> Encoding Source # decode :: Get TyName Source # size :: TyName -> NumBits -> NumBits Source #
Flat Name Source #
Instance details Methods encode :: Name -> Encoding Source # decode :: Get Name Source # size :: Name -> NumBits -> NumBits Source #
Flat TyDeBruijn Source #
Instance details Methods encode :: TyDeBruijn -> Encoding Source # decode :: Get TyDeBruijn Source # size :: TyDeBruijn -> NumBits -> NumBits Source #
Flat NamedTyDeBruijn Source #
Instance details Methods encode :: NamedTyDeBruijn -> Encoding Source # decode :: Get NamedTyDeBruijn Source # size :: NamedTyDeBruijn -> NumBits -> NumBits Source #
Flat DeBruijn Source #
Instance details Methods encode :: DeBruijn -> Encoding Source # decode :: Get DeBruijn Source # size :: DeBruijn -> NumBits -> NumBits Source #
Flat NamedDeBruijn Source #
Instance details Methods encode :: NamedDeBruijn -> Encoding Source # decode :: Get NamedDeBruijn Source # size :: NamedDeBruijn -> NumBits -> NumBits Source #
Flat Index Source #
Instance details Methods encode :: Index -> Encoding Source # decode :: Get Index Source # size :: Index -> NumBits -> NumBits Source #
Closed uni => Flat (SomeTypeIn uni) Source #
Instance details Methods encode :: SomeTypeIn uni -> Encoding Source # decode :: Get (SomeTypeIn uni) Source # size :: SomeTypeIn uni -> NumBits -> NumBits Source #
Flat ann => Flat (Version ann) Source #
Instance details Methods encode :: Version ann -> Encoding Source # decode :: Get (Version ann) Source # size :: Version ann -> NumBits -> NumBits Source #
Flat ann => Flat (Kind ann) Source #
Instance details Methods encode :: Kind ann -> Encoding Source # decode :: Get (Kind ann) Source # size :: Kind ann -> NumBits -> NumBits Source #
Flat (Binder TyName) Source #
Instance details Methods encode :: Binder TyName -> Encoding Source # decode :: Get (Binder TyName) Source # size :: Binder TyName -> NumBits -> NumBits Source #
Flat (Binder Name) Source #
Instance details Methods encode :: Binder Name -> Encoding Source # decode :: Get (Binder Name) Source # size :: Binder Name -> NumBits -> NumBits Source #
Flat (Binder NamedTyDeBruijn) Source #
Instance details Methods encode :: Binder NamedTyDeBruijn -> Encoding Source # decode :: Get (Binder NamedTyDeBruijn) Source # size :: Binder NamedTyDeBruijn -> NumBits -> NumBits Source #
Flat (Binder DeBruijn) Source #
Instance details Methods encode :: Binder DeBruijn -> Encoding Source # decode :: Get (Binder DeBruijn) Source # size :: Binder DeBruijn -> NumBits -> NumBits Source #
Flat (Binder NamedDeBruijn) Source #
Instance details Methods encode :: Binder NamedDeBruijn -> Encoding Source # decode :: Get (Binder NamedDeBruijn) Source # size :: Binder NamedDeBruijn -> NumBits -> NumBits Source #
Flat a => Flat (Normalized a) Source #
Instance details Methods encode :: Normalized a -> Encoding Source # decode :: Get (Normalized a) Source # size :: Normalized a -> NumBits -> NumBits Source #
(Closed uni, Everywhere uni Flat) => Flat (Some (ValueOf uni)) Source #
Instance details Methods encode :: Some (ValueOf uni) -> Encoding Source # decode :: Get (Some (ValueOf uni)) Source # size :: Some (ValueOf uni) -> NumBits -> NumBits Source #
(Flat ann, Flat tyname) => Flat (TyVarDecl tyname ann) Source #
Instance details Methods encode :: TyVarDecl tyname ann -> Encoding Source # decode :: Get (TyVarDecl tyname ann) Source # size :: TyVarDecl tyname ann -> NumBits -> NumBits Source #
(Closed uni, Flat ann, Flat tyname) => Flat (Type tyname uni ann) Source #
Instance details Methods encode :: Type tyname uni ann -> Encoding Source # decode :: Get (Type tyname uni ann) Source # size :: Type tyname uni ann -> NumBits -> NumBits Source #
(Flat ann, Flat (Term tyname name uni fun ann)) => Flat (Program tyname name uni fun ann) Source #
Instance details Methods encode :: Program tyname name uni fun ann -> Encoding Source # decode :: Get (Program tyname name uni fun ann) Source # size :: Program tyname name uni fun ann -> NumBits -> NumBits Source #
(Closed uni, Everywhere uni Flat, Flat fun, Flat ann, Flat tyname, Flat name) => Flat (Term tyname name uni fun ann) Source #
Instance details Methods encode :: Term tyname name uni fun ann -> Encoding Source # decode :: Get (Term tyname name uni fun ann) Source # size :: Term tyname name uni fun ann -> NumBits -> NumBits Source #
(Closed uni, Flat fun, Flat ann, Flat tyname, Flat name) => Flat (VarDecl tyname name uni fun ann) Source #
Instance details Methods encode :: VarDecl tyname name uni fun ann -> Encoding Source # decode :: Get (VarDecl tyname name uni fun ann) Source # size :: VarDecl tyname name uni fun ann -> NumBits -> NumBits Source #