Ranges that should be serialised properly.
Constructors
Instances1EmbPrj
EmbPrj SerialisedRangeDefined in Agda-2.7.0.1 · Agda.TypeChecking.Serialise.Instances.Common
ModuleAgda-2.7.0.1Haskell2010
Agda.TypeChecking.Serialise.Instances.Common
- 1 type
- PackageAgda-2.7.0.1
- Exports1
- LanguageHaskell2010
- LicenceMIT
- SourceCommon.hs
Orphan instances
98 instancesEmbPrj OptionsPragmaEmbPrj AmbiguousQNameEmbPrj ModuleNameEmbPrj NameEmbPrj QNameEmbPrj BuiltinIdEmbPrj PrimitiveIdEmbPrj SomeBuiltinEmbPrj AnnotationEmbPrj ArgInfoEmbPrj AssociativityEmbPrj BoundVariablePositionEmbPrj CohesionEmbPrj ConOriginEmbPrj CubicalEmbPrj ExpandedEllipsisEmbPrj FileTypeEmbPrj FixityEmbPrj Fixity'EmbPrj FixityLevelEmbPrj FreeVariablesEmbPrj HidingEmbPrj IsAbstractEmbPrj IsInstanceEmbPrj IsOpaqueEmbPrj LanguageEmbPrj LockEmbPrj MetaIdEmbPrj ModalityEmbPrj NameIdEmbPrj NotationPartEmbPrj OpaqueIdEmbPrj OriginEmbPrj OverlapModeEmbPrj PatternOrCopatternEmbPrj 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 IntegerEmbPrj StringEmbPrj VoidEmbPrj Int32EmbPrj CallStackEmbPrj SrcLocEmbPrj Word64EmbPrj BoolEmbPrj CharEmbPrj DoubleEmbPrj IntEmbPrj 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 (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)