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