Constructors
Instances1EmbPrj
EmbPrj AbsNameWithFixityDefined in Agda-2.7.0.1 · Agda.TypeChecking.Serialise.Instances.Abstract
ModuleAgda-2.7.0.1Haskell2010
Agda.TypeChecking.Serialise.Instances.Abstract
- 1 type
- 2 values
- PackageAgda-2.7.0.1
- Exports3
- LanguageHaskell2010
- LicenceMIT
Orphan instances
21 instancesEmbPrj BindNameEmbPrj SuffixEmbPrj AccessEmbPrj ParenPreferenceEmbPrj PrecedenceEmbPrj ConPatInfoEmbPrj ConPatLazyEmbPrj AbstractModuleEmbPrj AbstractNameEmbPrj BindingSourceEmbPrj DataOrRecordModuleEmbPrj KindOfNameEmbPrj LocalVarEmbPrj NameMetadataEmbPrj NameOrModuleEmbPrj NameSpaceEmbPrj NameSpaceIdEmbPrj ScopeEmbPrj ScopeInfoEmbPrj WhyInScopeEmbPrj a => EmbPrj (Pattern' a)