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 FakeNamedDeBruijn Source #
Instance details Methods encode :: FakeNamedDeBruijn -> Encoding Source # decode :: Get FakeNamedDeBruijn Source # size :: FakeNamedDeBruijn -> 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 FakeNamedDeBruijn ) Source #
Instance details Methods encode :: Binder FakeNamedDeBruijn -> Encoding Source # decode :: Get ( Binder FakeNamedDeBruijn ) Source # size :: Binder FakeNamedDeBruijn -> 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 #