Agda.TypeChecking.Serialise.Instances.Common

Documentation

newtype SerialisedRange

Ranges that should be serialised properly.

Constructors

SerialisedRange

Fields

• underlyingRange :: Range

Instances

EmbPrj SerialisedRange

Defined in Agda.TypeChecking.Serialise.Instances.Common

Methods

icode :: SerialisedRange -> S Int32

icod_ :: SerialisedRange -> S Int32

value :: Int32 -> R SerialisedRange

Orphan instances

EmbPrj AmbiguousQName

Methods

icode :: AmbiguousQName -> S Int32

icod_ :: AmbiguousQName -> S Int32

value :: Int32 -> R AmbiguousQName

EmbPrj ModuleName

Methods

icode :: ModuleName -> S Int32

icod_ :: ModuleName -> S Int32

value :: Int32 -> R ModuleName

EmbPrj Name

Methods

icode :: Name -> S Int32

icod_ :: Name -> S Int32

value :: Int32 -> R Name

EmbPrj QName

Methods

icode :: QName -> S Int32

icod_ :: QName -> S Int32

value :: Int32 -> R QName

EmbPrj Annotation

Methods

icode :: Annotation -> S Int32

icod_ :: Annotation -> S Int32

value :: Int32 -> R Annotation

EmbPrj ArgInfo

Methods

icode :: ArgInfo -> S Int32

icod_ :: ArgInfo -> S Int32

value :: Int32 -> R ArgInfo

EmbPrj Associativity

Methods

icode :: Associativity -> S Int32

icod_ :: Associativity -> S Int32

value :: Int32 -> R Associativity

EmbPrj BoundVariablePosition

Methods

icode :: BoundVariablePosition -> S Int32

icod_ :: BoundVariablePosition -> S Int32

value :: Int32 -> R BoundVariablePosition

EmbPrj Cohesion

Methods

icode :: Cohesion -> S Int32

icod_ :: Cohesion -> S Int32

value :: Int32 -> R Cohesion

EmbPrj ConOrigin

Methods

icode :: ConOrigin -> S Int32

icod_ :: ConOrigin -> S Int32

value :: Int32 -> R ConOrigin

EmbPrj Cubical

Methods

icode :: Cubical -> S Int32

icod_ :: Cubical -> S Int32

value :: Int32 -> R Cubical

EmbPrj Delayed

Methods

icode :: Delayed -> S Int32

icod_ :: Delayed -> S Int32

value :: Int32 -> R Delayed

EmbPrj ExpandedEllipsis

Methods

icode :: ExpandedEllipsis -> S Int32

icod_ :: ExpandedEllipsis -> S Int32

value :: Int32 -> R ExpandedEllipsis

EmbPrj FileType

Methods

icode :: FileType -> S Int32

icod_ :: FileType -> S Int32

value :: Int32 -> R FileType

EmbPrj Fixity

Methods

icode :: Fixity -> S Int32

icod_ :: Fixity -> S Int32

value :: Int32 -> R Fixity

EmbPrj Fixity'

Methods

icode :: Fixity' -> S Int32

icod_ :: Fixity' -> S Int32

value :: Int32 -> R Fixity'

EmbPrj FixityLevel

Methods

icode :: FixityLevel -> S Int32

icod_ :: FixityLevel -> S Int32

value :: Int32 -> R FixityLevel

EmbPrj FreeVariables

Methods

icode :: FreeVariables -> S Int32

icod_ :: FreeVariables -> S Int32

value :: Int32 -> R FreeVariables

EmbPrj Hiding

Methods

icode :: Hiding -> S Int32

icod_ :: Hiding -> S Int32

value :: Int32 -> R Hiding

EmbPrj Induction

Methods

icode :: Induction -> S Int32

icod_ :: Induction -> S Int32

value :: Int32 -> R Induction

EmbPrj IsAbstract

Methods

icode :: IsAbstract -> S Int32

icod_ :: IsAbstract -> S Int32

value :: Int32 -> R IsAbstract

EmbPrj Language

Methods

icode :: Language -> S Int32

icod_ :: Language -> S Int32

value :: Int32 -> R Language

EmbPrj Lock

Methods

icode :: Lock -> S Int32

icod_ :: Lock -> S Int32

value :: Int32 -> R Lock

EmbPrj MetaId

Methods

icode :: MetaId -> S Int32

icod_ :: MetaId -> S Int32

value :: Int32 -> R MetaId

EmbPrj Modality

Methods

icode :: Modality -> S Int32

icod_ :: Modality -> S Int32

value :: Int32 -> R Modality

EmbPrj ModuleNameHash

Methods

icode :: ModuleNameHash -> S Int32

icod_ :: ModuleNameHash -> S Int32

value :: Int32 -> R ModuleNameHash

EmbPrj NameId

Methods

icode :: NameId -> S Int32

icod_ :: NameId -> S Int32

value :: Int32 -> R NameId

EmbPrj NotationPart

Methods

icode :: NotationPart -> S Int32

icod_ :: NotationPart -> S Int32

value :: Int32 -> R NotationPart

EmbPrj Origin

Methods

icode :: Origin -> S Int32

icod_ :: Origin -> S Int32

value :: Int32 -> R Origin

EmbPrj PatternOrCopattern

Methods

icode :: PatternOrCopattern -> S Int32

icod_ :: PatternOrCopattern -> S Int32

value :: Int32 -> R PatternOrCopattern

EmbPrj ProjOrigin

Methods

icode :: ProjOrigin -> S Int32

icod_ :: ProjOrigin -> S Int32

value :: Int32 -> R ProjOrigin

EmbPrj Q0Origin

Methods

icode :: Q0Origin -> S Int32

icod_ :: Q0Origin -> S Int32

value :: Int32 -> R Q0Origin

EmbPrj Q1Origin

Methods

icode :: Q1Origin -> S Int32

icod_ :: Q1Origin -> S Int32

value :: Int32 -> R Q1Origin

EmbPrj Quantity

Methods

icode :: Quantity -> S Int32

icod_ :: Quantity -> S Int32

value :: Int32 -> R Quantity

EmbPrj QωOrigin

Methods

icode :: QωOrigin -> S Int32

icod_ :: QωOrigin -> S Int32

value :: Int32 -> R QωOrigin

EmbPrj Relevance

Methods

icode :: Relevance -> S Int32

icod_ :: Relevance -> S Int32

value :: Int32 -> R Relevance

EmbPrj Name

Methods

icode :: Name -> S Int32

icod_ :: Name -> S Int32

value :: Int32 -> R Name

EmbPrj NameInScope

Methods

icode :: NameInScope -> S Int32

icod_ :: NameInScope -> S Int32

value :: Int32 -> R NameInScope

EmbPrj NamePart

Methods

icode :: NamePart -> S Int32

icod_ :: NamePart -> S Int32

value :: Int32 -> R NamePart

EmbPrj QName

Methods

icode :: QName -> S Int32

icod_ :: QName -> S Int32

value :: Int32 -> R QName

EmbPrj Literal

Methods

icode :: Literal -> S Int32

icod_ :: Literal -> S Int32

value :: Int32 -> R Literal

EmbPrj Range

Ranges are always deserialised as noRange.

Methods

icode :: Range -> S Int32

icod_ :: Range -> S Int32

value :: Int32 -> R Range

EmbPrj RangeFile

Methods

icode :: RangeFile -> S Int32

icod_ :: RangeFile -> S Int32

value :: Int32 -> R RangeFile

EmbPrj TopLevelModuleName

Methods

icode :: TopLevelModuleName -> S Int32

icod_ :: TopLevelModuleName -> S Int32

value :: Int32 -> R TopLevelModuleName

EmbPrj Impossible

Methods

icode :: Impossible -> S Int32

icod_ :: Impossible -> S Int32

value :: Int32 -> R Impossible

EmbPrj Void

Methods

icode :: Void -> S Int32

icod_ :: Void -> S Int32

value :: Int32 -> R Void

EmbPrj Int32

Methods

icode :: Int32 -> S Int32

icod_ :: Int32 -> S Int32

value :: Int32 -> R Int32

EmbPrj CallStack

Methods

icode :: CallStack -> S Int32

icod_ :: CallStack -> S Int32

value :: Int32 -> R CallStack

EmbPrj SrcLoc

Methods

icode :: SrcLoc -> S Int32

icod_ :: SrcLoc -> S Int32

value :: Int32 -> R SrcLoc

EmbPrj Word64

Methods

icode :: Word64 -> S Int32

icod_ :: Word64 -> S Int32

value :: Int32 -> R Word64

EmbPrj IntSet

Methods

icode :: IntSet -> S Int32

icod_ :: IntSet -> S Int32

value :: Int32 -> R IntSet

EmbPrj Text

Methods

icode :: Text -> S Int32

icod_ :: Text -> S Int32

value :: Int32 -> R Text

EmbPrj Text

Methods

icode :: Text -> S Int32

icod_ :: Text -> S Int32

value :: Int32 -> R Text

EmbPrj String

Methods

icode :: String -> S Int32

icod_ :: String -> S Int32

value :: Int32 -> R String

EmbPrj Integer

Methods

icode :: Integer -> S Int32

icod_ :: Integer -> S Int32

value :: Int32 -> R Integer

EmbPrj ()

Methods

icode :: () -> S Int32

icod_ :: () -> S Int32

value :: Int32 -> R ()

EmbPrj Bool

Methods

icode :: Bool -> S Int32

icod_ :: Bool -> S Int32

value :: Int32 -> R Bool

EmbPrj Char

Methods

icode :: Char -> S Int32

icod_ :: Char -> S Int32

value :: Int32 -> R Char

EmbPrj Double

Methods

icode :: Double -> S Int32

icod_ :: Double -> S Int32

value :: Int32 -> R Double

EmbPrj Int

Methods

icode :: Int -> S Int32

icod_ :: Int -> S Int32

value :: Int32 -> R Int

EmbPrj a => EmbPrj (Arg a)

Methods

icode :: Arg a -> S Int32

icod_ :: Arg a -> S Int32

value :: Int32 -> R (Arg a)

EmbPrj a => EmbPrj (HasEta' a)

Methods

icode :: HasEta' a -> S Int32

icod_ :: HasEta' a -> S Int32

value :: Int32 -> R (HasEta' a)

EmbPrj a => EmbPrj (Ranged a)

Methods

icode :: Ranged a -> S Int32

icod_ :: Ranged a -> S Int32

value :: Int32 -> R (Ranged a)

EmbPrj a => EmbPrj (WithHiding a)

Methods

icode :: WithHiding a -> S Int32

icod_ :: WithHiding a -> S Int32

value :: Int32 -> R (WithHiding a)

EmbPrj a => EmbPrj (WithOrigin a)

Methods

icode :: WithOrigin a -> S Int32

icod_ :: WithOrigin a -> S Int32

value :: Int32 -> R (WithOrigin a)

EmbPrj a => EmbPrj (FieldAssignment' a)

Methods

icode :: FieldAssignment' a -> S Int32

icod_ :: FieldAssignment' a -> S Int32

value :: Int32 -> R (FieldAssignment' a)

EmbPrj a => EmbPrj (Interval' a)

Methods

icode :: Interval' a -> S Int32

icod_ :: Interval' a -> S Int32

value :: Int32 -> R (Interval' a)

EmbPrj a => EmbPrj (Position' a)

Methods

icode :: Position' a -> S Int32

icod_ :: Position' a -> S Int32

value :: Int32 -> R (Position' a)

EmbPrj a => EmbPrj (List1 a)

Methods

icode :: List1 a -> S Int32

icod_ :: List1 a -> S Int32

value :: Int32 -> R (List1 a)

EmbPrj a => EmbPrj (List2 a)

Methods

icode :: List2 a -> S Int32

icod_ :: List2 a -> S Int32

value :: Int32 -> R (List2 a)

Typeable b => EmbPrj (WithDefault b)

Methods

icode :: WithDefault b -> S Int32

icod_ :: WithDefault b -> S Int32

value :: Int32 -> R (WithDefault b)

EmbPrj a => EmbPrj (Seq a)

Methods

icode :: Seq a -> S Int32

icod_ :: Seq a -> S Int32

value :: Int32 -> R (Seq a)

(Ord a, EmbPrj a) => EmbPrj (Set a)

Methods

icode :: Set a -> S Int32

icod_ :: Set a -> S Int32

value :: Int32 -> R (Set a)

EmbPrj a => EmbPrj (Maybe a)

Methods

icode :: Maybe a -> S Int32

icod_ :: Maybe a -> S Int32

value :: Int32 -> R (Maybe a)

EmbPrj a => EmbPrj (Maybe a)

Methods

icode :: Maybe a -> S Int32

icod_ :: Maybe a -> S Int32

value :: Int32 -> R (Maybe a)

EmbPrj a => EmbPrj [a]

Methods

icode :: [a] -> S Int32

icod_ :: [a] -> S Int32

value :: Int32 -> R [a]

(EmbPrj a, EmbPrj b) => EmbPrj (ImportedName' a b)

Methods

icode :: ImportedName' a b -> S Int32

icod_ :: ImportedName' a b -> S Int32

value :: Int32 -> R (ImportedName' a b)

(EmbPrj s, EmbPrj t) => EmbPrj (Named s t)

Methods

icode :: Named s t -> S Int32

icod_ :: Named s t -> S Int32

value :: Int32 -> R (Named s t)

(EmbPrj k, EmbPrj v, EmbPrj (Tag v)) => EmbPrj (BiMap k v)

Methods

icode :: BiMap k v -> S Int32

icod_ :: BiMap k v -> S Int32

value :: Int32 -> R (BiMap k v)

(Ord a, EmbPrj a, EmbPrj b) => EmbPrj (Trie a b)

Methods

icode :: Trie a b -> S Int32

icod_ :: Trie a b -> S Int32

value :: Int32 -> R (Trie a b)

(EmbPrj a, EmbPrj b) => EmbPrj (Either a b)

Methods

icode :: Either a b -> S Int32

icod_ :: Either a b -> S Int32

value :: Int32 -> R (Either a b)

(Ord a, EmbPrj a, EmbPrj b) => EmbPrj (Map a b)

Methods

icode :: Map a b -> S Int32

icod_ :: Map a b -> S Int32

value :: Int32 -> R (Map a b)

(EmbPrj a, EmbPrj b) => EmbPrj (Pair a b)

Methods

icode :: Pair a b -> S Int32

icod_ :: Pair a b -> S Int32

value :: Int32 -> R (Pair a b)

(Eq k, Hashable k, EmbPrj k, EmbPrj v) => EmbPrj (HashMap k v)

Methods

icode :: HashMap k v -> S Int32

icod_ :: HashMap k v -> S Int32

value :: Int32 -> R (HashMap k v)

(EmbPrj a, EmbPrj b) => EmbPrj (a, b)

Methods

icode :: (a, b) -> S Int32

icod_ :: (a, b) -> S Int32

value :: Int32 -> R (a, b)

(EmbPrj a, EmbPrj b, EmbPrj c) => EmbPrj (a, b, c)

Methods

icode :: (a, b, c) -> S Int32

icod_ :: (a, b, c) -> S Int32

value :: Int32 -> R (a, b, c)