ModuleAgda-2.8.0.2Haskell2010
Agda.TypeChecking.Serialise.Instances.Errors
- PackageAgda-2.8.0.2
- Exports0
- LanguageHaskell2010
- LicenceMIT
Orphan instances
27 instancesEmbPrj ExecutablesFileEmbPrj LibPositionInfoEmbPrj LibWarningEmbPrj LibWarning'EmbPrj OptionWarningEmbPrj ConfluenceCheckEmbPrj InfectiveCoinfectiveEmbPrj PragmaOptionsEmbPrj WarningModeEmbPrj WarningModeErrorEmbPrj WarningNameEmbPrj DocEmbPrj DeclarationWarningEmbPrj DeclarationWarning'EmbPrj OpenOrImportEmbPrj UnicodeOrAsciiEmbPrj ParseWarningEmbPrj CutOffEmbPrj IllegalRewriteRuleReasonEmbPrj IsAmbiguousEmbPrj LHSOrPatSynEmbPrj TCWarningEmbPrj WarningEmbPrj RecordFieldWarningEmbPrj UselessPublicReasonEmbPrj ProfileOptionEmbPrj ProfileOptions