ModuleAgda-2.7.0.1Haskell2010
Agda.TypeChecking.Serialise.Instances.Internal
- 2 values
- PackageAgda-2.7.0.1
- Exports2
- LanguageHaskell2010
- LicenceMIT
Orphan instances
69 instancesEmbPrj Blocked_EmbPrj ClauseEmbPrj ConHeadEmbPrj ConPatternInfoEmbPrj DBPatVarEmbPrj DataOrRecordEmbPrj LevelEmbPrj NotBlockedEmbPrj PatOriginEmbPrj PatternInfoEmbPrj PlusLevelEmbPrj SortEmbPrj TermEmbPrj IsFibrantEmbPrj UnivEmbPrj CompiledClausesEmbPrj LazySplitEmbPrj SplitTagEmbPrj KeyEmbPrj BuiltinSortEmbPrj CheckpointIdEmbPrj CompKitEmbPrj ComparisonEmbPrj DefinitionEmbPrj DefnEmbPrj DisplayFormEmbPrj DisplayTermEmbPrj DoGeneralizeEmbPrj EtaEqualityEmbPrj ExtLamInfoEmbPrj FunctionFlagEmbPrj InstanceInfoEmbPrj InstanceTableEmbPrj InstantiationEmbPrj IsForcedEmbPrj MutualIdEmbPrj NLPSortEmbPrj NLPTypeEmbPrj NLPatEmbPrj NumGeneralizableArgsEmbPrj OpaqueBlockEmbPrj PolarityEmbPrj ProjLamsEmbPrj ProjectionEmbPrj ProjectionLikenessMissingEmbPrj RemoteMetaVariableEmbPrj RewriteRuleEmbPrj SectionEmbPrj SignatureEmbPrj SystemEmbPrj TermHeadEmbPrj OccurrenceEmbPrj PermutationEmbPrj a => EmbPrj (Abs a)EmbPrj a => EmbPrj (Dom a)EmbPrj a => EmbPrj (Pattern' a)EmbPrj a => EmbPrj (Substitution' a)EmbPrj a => EmbPrj (Tele a)EmbPrj a => EmbPrj (Type' a)EmbPrj a => EmbPrj (Elim' a)EmbPrj a => EmbPrj (Case a)EmbPrj a => EmbPrj (WithArity a)EmbPrj a => EmbPrj (SplitTree' a)EmbPrj a => EmbPrj (Builtin a)EmbPrj a => EmbPrj (FunctionInverse' a)EmbPrj a => EmbPrj (Judgement a)EmbPrj a => EmbPrj (Open a)EmbPrj a => EmbPrj (Drop a)(EmbPrj a, Ord a) => EmbPrj (DiscrimTree a)