Ranges that should be serialised properly.
Constructors
Instances1EmbPrj
EmbPrj SerialisedRangeDefined in Agda-2.8.0.2 · Agda.TypeChecking.Serialise.Instances.Common
ModuleAgda-2.8.0.2Haskell2010
Agda.TypeChecking.Serialise.Instances.Common
- 1 type
- PackageAgda-2.8.0.2
- Exports1
- LanguageHaskell2010
- LicenceMIT
- SourceCommon.hs
Orphan instances
107 instancesEmbPrj OptionsPragmaEmbPrj AmbiguousQNameEmbPrj ModuleNameEmbPrj NameEmbPrj QNameEmbPrj BuiltinIdEmbPrj PrimitiveIdEmbPrj SomeBuiltinEmbPrj AnnotationEmbPrj ArgInfoEmbPrj AssociativityEmbPrj BoundVariablePositionEmbPrj CatchallEmbPrj CohesionEmbPrj ConOriginEmbPrj ConstructorOrPatternSynonymEmbPrj CubicalEmbPrj ExpandedEllipsisEmbPrj FileTypeEmbPrj FixityEmbPrj Fixity'EmbPrj FixityLevelEmbPrj FreeVariablesEmbPrj HidingEmbPrj IsAbstractEmbPrj IsInstanceEmbPrj IsOpaqueEmbPrj LanguageEmbPrj LockEmbPrj MetaIdEmbPrj ModalPolarityEmbPrj ModalityEmbPrj NameIdEmbPrj NotationPartEmbPrj OpaqueIdEmbPrj OriginEmbPrj OriginIrrelevantEmbPrj OriginRelevantEmbPrj OriginShapeIrrelevantEmbPrj OverlapModeEmbPrj PatternOrCopatternEmbPrj PolarityModalityEmbPrj ProblemIdEmbPrj ProjOriginEmbPrj Q0OriginEmbPrj Q1OriginEmbPrj QωOriginEmbPrj QuantityEmbPrj RelevanceEmbPrj InductionEmbPrj KwRangeEmbPrj RecordDirectiveEmbPrj NameEmbPrj NameInScopeEmbPrj NamePartEmbPrj QNameEmbPrj LiteralEmbPrj RangeRanges are always deserialised as noRange.
EmbPrj RangeFileEmbPrj TopLevelModuleNameEmbPrj ModuleNameHashEmbPrj ImpossibleEmbPrj IntSetEmbPrj StringEmbPrj VoidEmbPrj IntegerEmbPrj Int32EmbPrj CallStackEmbPrj SrcLocEmbPrj BoolEmbPrj CharEmbPrj DoubleEmbPrj IntEmbPrj Word32EmbPrj Word64EmbPrj TextEmbPrj TextEmbPrj ()EmbPrj a => EmbPrj (Arg a)EmbPrj a => EmbPrj (HasEta' a)EmbPrj a => EmbPrj (Ranged a)EmbPrj a => EmbPrj (RecordDirectives' a)EmbPrj a => EmbPrj (WithHiding a)EmbPrj a => EmbPrj (WithOrigin a)EmbPrj a => EmbPrj (FieldAssignment' a)EmbPrj a => EmbPrj (Interval' a)EmbPrj a => EmbPrj (Position' a)EmbPrj a => EmbPrj (List1 a)EmbPrj a => EmbPrj (List2 a)EmbPrj a => EmbPrj (Seq a)EmbPrj a => EmbPrj (Maybe a)EmbPrj a => EmbPrj (Maybe a)EmbPrj a => EmbPrj [a]Typeable a => EmbPrj (SmallSet a)(Ord a, EmbPrj a) => EmbPrj (Set1 a)(Ord a, EmbPrj a) => EmbPrj (Set a)(EmbPrj a, EmbPrj b) => EmbPrj (ImportedName' a b)(EmbPrj a, EmbPrj b) => EmbPrj (Either a b)(EmbPrj a, EmbPrj b) => EmbPrj (Pair a b)(EmbPrj a, EmbPrj b) => EmbPrj (a, b)(EmbPrj a, Typeable b) => EmbPrj (WithDefault' a b)(EmbPrj k, EmbPrj v, EmbPrj (Tag v)) => EmbPrj (BiMap k v)(EmbPrj s, EmbPrj t) => EmbPrj (Named s t)(Eq k, Hashable k, EmbPrj k, EmbPrj v) => EmbPrj (HashMap k v)(Ord a, EmbPrj a, EmbPrj b) => EmbPrj (Trie a b)(Ord a, EmbPrj a, EmbPrj b) => EmbPrj (Map a b)(EmbPrj a, EmbPrj b, EmbPrj c) => EmbPrj (a, b, c)