Moduleplutus-core-1.70.0.0
PlutusCore.FlatInstances
- 2 values
- Packageplutus-core-1.70.0.0
- Exports2
- LicenceApache-2.0
Orphan instances
26 instancesFlat DataFlat DeBruijnFlat FakeNamedDeBruijnFlat IndexFlat NamedDeBruijnFlat NamedTyDeBruijnFlat TyDeBruijnFlat NameFlat TyNameFlat UniqueFlat VersionFlat (Binder DeBruijn)Flat (Binder FakeNamedDeBruijn)Flat (Binder NamedDeBruijn)Flat (Binder NamedTyDeBruijn)Flat (Binder Name)Flat (Binder TyName)Flat a => Flat (Normalized a)Flat ann => Flat (Kind ann)Closed uni => Flat (SomeTypeIn uni)(Flat ann, Flat tyname) => Flat (TyVarDecl tyname ann)(Closed uni, Everywhere uni Flat) => Flat (Some (ValueOf uni))(Closed uni, Flat ann, Flat tyname) => Flat (Type tyname uni ann)(Closed uni, Flat ann, Flat tyname, Flat name) => Flat (VarDecl tyname name uni ann)(Flat ann, Flat (Term tyname name uni fun ann)) => Flat (Program tyname name uni fun ann)(Closed uni, Everywhere uni Flat, Flat fun, Flat ann, Flat tyname, Flat name) => Flat (Term tyname name uni fun ann)