plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Flat

Description

Flat instances for Plutus Core types. Make sure to read Note [Stable encoding of TPLC] and Note [Stable encoding of UPLC] before touching anything in this file.

Documentation

Orphan instances

Flat Data Source # 
Instance details

Flat DeBruijn Source # 
Instance details

Flat FakeNamedDeBruijn Source # 
Instance details

Flat Index Source # 
Instance details

Flat NamedDeBruijn Source # 
Instance details

Flat NamedTyDeBruijn Source # 
Instance details

Flat TyDeBruijn Source # 
Instance details

Flat Name Source # 
Instance details

Flat TyName Source # 
Instance details

Flat Unique Source # 
Instance details

Flat Version Source # 
Instance details

Flat (Binder DeBruijn) Source # 
Instance details

Flat (Binder FakeNamedDeBruijn) Source # 
Instance details

Flat (Binder NamedDeBruijn) Source # 
Instance details

Flat (Binder NamedTyDeBruijn) Source # 
Instance details

Flat (Binder Name) Source # 
Instance details

Flat (Binder TyName) Source # 
Instance details

Flat ann ⇒ Flat (Kind ann) Source # 
Instance details

Methods

encodeKind ann → Encoding Source #

decodeGet (Kind ann) Source #

sizeKind ann → NumBitsNumBits Source #

Flat a ⇒ Flat (Normalized a) Source # 
Instance details

Closed uni ⇒ Flat (SomeTypeIn uni) Source # 
Instance details

(Flat ann, Flat tyname) ⇒ Flat (TyVarDecl tyname ann) Source # 
Instance details

Methods

encodeTyVarDecl tyname ann → Encoding Source #

decodeGet (TyVarDecl tyname ann) Source #

sizeTyVarDecl tyname ann → NumBitsNumBits Source #

(Closed uni, Everywhere uni Flat) ⇒ Flat (Some (ValueOf uni)) Source # 
Instance details

Methods

encodeSome (ValueOf uni) → Encoding Source #

decodeGet (Some (ValueOf uni)) Source #

sizeSome (ValueOf uni) → NumBitsNumBits Source #

(Closed uni, Flat ann, Flat tyname) ⇒ Flat (Type tyname uni ann) Source # 
Instance details

Methods

encodeType tyname uni ann → Encoding Source #

decodeGet (Type tyname uni ann) Source #

sizeType tyname uni ann → NumBitsNumBits Source #

(Closed uni, Flat ann, Flat tyname, Flat name) ⇒ Flat (VarDecl tyname name uni ann) Source # 
Instance details

Methods

encodeVarDecl tyname name uni ann → Encoding Source #

decodeGet (VarDecl tyname name uni ann) Source #

sizeVarDecl tyname name uni ann → NumBitsNumBits Source #

(Flat ann, Flat (Term tyname name uni fun ann)) ⇒ Flat (Program tyname name uni fun ann) Source # 
Instance details

Methods

encodeProgram tyname name uni fun ann → Encoding Source #

decodeGet (Program tyname name uni fun ann) Source #

sizeProgram tyname name uni fun ann → NumBitsNumBits 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

encodeTerm tyname name uni fun ann → Encoding Source #

decodeGet (Term tyname name uni fun ann) Source #

sizeTerm tyname name uni fun ann → NumBitsNumBits Source #