ModuleAgda-2.8.0.2Haskell2010
Agda.TypeChecking.Serialise.Instances.Internal
- 2 values
- PackageAgda-2.8.0.2
- 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 DefinitionEmbPrj DefnEmbPrj DisplayFormEmbPrj DisplayTermEmbPrj DoGeneralizeEmbPrj EtaEqualityEmbPrj ExtLamInfoEmbPrj FunctionFlagEmbPrj InstanceInfoEmbPrj InstanceTableEmbPrj InstantiationEmbPrj IsForcedEmbPrj MutualIdEmbPrj NLPSortEmbPrj NLPTypeEmbPrj NLPatEmbPrj NumGeneralizableArgsEmbPrj OpaqueBlockEmbPrj ProjLamsEmbPrj ProjectionEmbPrj ProjectionLikenessMissingEmbPrj RemoteMetaVariableEmbPrj RewriteRuleEmbPrj SectionEmbPrj SignatureEmbPrj SystemEmbPrj TermHeadEmbPrj ComparisonEmbPrj PolarityEmbPrj 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)