Constructors
Instances1EmbPrj
EmbPrj AbsNameWithFixityDefined in Agda-2.8.0.2 · Agda.TypeChecking.Serialise.Instances.Abstract
ModuleAgda-2.8.0.2Haskell2010
Agda.TypeChecking.Serialise.Instances.Abstract
- 1 type
- 2 values
- PackageAgda-2.8.0.2
- Exports3
- LanguageHaskell2010
- LicenceMIT
Orphan instances
22 instancesEmbPrj BindNameEmbPrj PatternHackish serialization for patterns that deletes dot patterns. So that we can serialize the
WithClauseProjectionFixityMismatchwithout having to define serialization of expressions.EmbPrj SuffixEmbPrj AccessEmbPrj ParenPreferenceEmbPrj PrecedenceEmbPrj ConPatInfoEmbPrj ConPatLazyEmbPrj AbstractModuleEmbPrj AbstractNameEmbPrj BindingSourceEmbPrj DataOrRecordModuleEmbPrj KindOfNameEmbPrj LocalVarEmbPrj NameMetadataEmbPrj NameOrModuleEmbPrj NameSpaceEmbPrj NameSpaceIdEmbPrj ScopeEmbPrj ScopeInfoEmbPrj WhyInScopeEmbPrj a => EmbPrj (Pattern' a)