EmbPrj OptionsPragma Source # | |
Instance details |
EmbPrj AmbiguousQName Source # | |
Instance details |
EmbPrj ModuleName Source # | |
Instance details |
EmbPrj Name Source # | |
Instance details |
EmbPrj QName Source # | |
Instance details |
EmbPrj BuiltinId Source # | |
Instance details |
EmbPrj PrimitiveId Source # | |
Instance details |
EmbPrj SomeBuiltin Source # | |
Instance details |
EmbPrj Annotation Source # | |
Instance details |
EmbPrj ArgInfo Source # | |
Instance details |
EmbPrj Associativity Source # | |
Instance details |
EmbPrj BoundVariablePosition Source # | |
Instance details |
EmbPrj Cohesion Source # | |
Instance details |
EmbPrj ConOrigin Source # | |
Instance details |
EmbPrj Cubical Source # | |
Instance details |
EmbPrj ExpandedEllipsis Source # | |
Instance details |
EmbPrj FileType Source # | |
Instance details |
EmbPrj Fixity Source # | |
Instance details |
EmbPrj Fixity' Source # | |
Instance details |
EmbPrj FixityLevel Source # | |
Instance details |
EmbPrj FreeVariables Source # | |
Instance details |
EmbPrj Hiding Source # | |
Instance details |
EmbPrj IsAbstract Source # | |
Instance details |
EmbPrj IsInstance Source # | |
Instance details |
EmbPrj IsOpaque Source # | |
Instance details |
EmbPrj Language Source # | |
Instance details |
EmbPrj Lock Source # | |
Instance details |
EmbPrj MetaId Source # | |
Instance details |
EmbPrj Modality Source # | |
Instance details |
EmbPrj NameId Source # | |
Instance details |
EmbPrj NotationPart Source # | |
Instance details |
EmbPrj OpaqueId Source # | |
Instance details |
EmbPrj Origin Source # | |
Instance details |
EmbPrj OverlapMode Source # | |
Instance details |
EmbPrj PatternOrCopattern Source # | |
Instance details |
EmbPrj ProblemId Source # | |
Instance details |
EmbPrj ProjOrigin Source # | |
Instance details |
EmbPrj Q0Origin Source # | |
Instance details |
EmbPrj Q1Origin Source # | |
Instance details |
EmbPrj Quantity Source # | |
Instance details |
EmbPrj QωOrigin Source # | |
Instance details |
EmbPrj Relevance Source # | |
Instance details |
EmbPrj Induction Source # | |
Instance details |
EmbPrj KwRange Source # | |
Instance details |
EmbPrj RecordDirective Source # | |
Instance details |
EmbPrj Name Source # | |
Instance details |
EmbPrj NameInScope Source # | |
Instance details |
EmbPrj NamePart Source # | |
Instance details |
EmbPrj QName Source # | |
Instance details |
EmbPrj Literal Source # | |
Instance details |
EmbPrj Range Source # | Ranges are always deserialised as noRange . |
Instance details |
EmbPrj RangeFile Source # | |
Instance details |
EmbPrj TopLevelModuleName Source # | |
Instance details |
EmbPrj ModuleNameHash Source # | |
Instance details |
EmbPrj Impossible Source # | |
Instance details |
EmbPrj IntSet Source # | |
Instance details |
EmbPrj Void Source # | |
Instance details |
EmbPrj Int32 Source # | |
Instance details |
EmbPrj CallStack Source # | |
Instance details |
EmbPrj SrcLoc Source # | |
Instance details |
EmbPrj Word64 Source # | |
Instance details |
EmbPrj Text Source # | |
Instance details |
EmbPrj Text Source # | |
Instance details |
EmbPrj Integer Source # | |
Instance details |
EmbPrj String Source # | |
Instance details |
EmbPrj () Source # | |
Instance details |
EmbPrj Bool Source # | |
Instance details |
EmbPrj Char Source # | |
Instance details |
EmbPrj Double Source # | |
Instance details |
EmbPrj Int Source # | |
Instance details |
EmbPrj a => EmbPrj (Arg a) Source # | |
Instance details |
EmbPrj a => EmbPrj (HasEta' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Ranged a) Source # | |
Instance details |
EmbPrj a => EmbPrj (RecordDirectives' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (WithHiding a) Source # | |
Instance details |
EmbPrj a => EmbPrj (WithOrigin a) Source # | |
Instance details |
EmbPrj a => EmbPrj (FieldAssignment' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Interval' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Position' a) Source # | |
Instance details |
EmbPrj a => EmbPrj (List1 a) Source # | |
Instance details |
EmbPrj a => EmbPrj (List2 a) Source # | |
Instance details |
Typeable a => EmbPrj (SmallSet a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Seq a) Source # | |
Instance details |
(Ord a, EmbPrj a) => EmbPrj (Set a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Maybe a) Source # | |
Instance details |
EmbPrj a => EmbPrj (Maybe a) Source # | |
Instance details |
EmbPrj a => EmbPrj [a] Source # | |
Instance details |
(EmbPrj a, EmbPrj b) => EmbPrj (ImportedName' a b) Source # | |
Instance details |
(EmbPrj s, EmbPrj t) => EmbPrj (Named s t) Source # | |
Instance details |
(EmbPrj k, EmbPrj v, EmbPrj (Tag v)) => EmbPrj (BiMap k v) Source # | |
Instance details |
(Ord a, EmbPrj a, EmbPrj b) => EmbPrj (Trie a b) Source # | |
Instance details |
(EmbPrj a, Typeable b) => EmbPrj (WithDefault' a b) Source # | |
Instance details |
(Ord a, EmbPrj a, EmbPrj b) => EmbPrj (Map a b) Source # | |
Instance details |
(EmbPrj a, EmbPrj b) => EmbPrj (Either a b) Source # | |
Instance details |
(Eq k, Hashable k, EmbPrj k, EmbPrj v) => EmbPrj (HashMap k v) Source # | |
Instance details |
(EmbPrj a, EmbPrj b) => EmbPrj (Pair a b) Source # | |
Instance details |
(EmbPrj a, EmbPrj b) => EmbPrj (a, b) Source # | |
Instance details |
(EmbPrj a, EmbPrj b, EmbPrj c) => EmbPrj (a, b, c) Source # | |
Instance details |