Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Syntax.TopLevelModuleName.Boot

Documentation

newtype ModuleNameHash Source #

Constructors

ModuleNameHash
Fields moduleNameHash :: Word64

Instances

Instances details

EmbPrj ModuleNameHash Source #
Instance details Defined in Agda.TypeChecking.Serialise.Instances.Common Methods icode :: ModuleNameHash -> S Int32 Source # icod_ :: ModuleNameHash -> S Int32 Source # value :: Int32 -> R ModuleNameHash Source #
HasTag ModuleNameHash Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Associated Types type Tag ModuleNameHash Source # Methods tag :: ModuleNameHash -> Maybe (Tag ModuleNameHash) Source #
ToJSON ModuleNameHash Source #
Instance details Defined in Agda.Interaction.JSONTop Methods toJSON :: ModuleNameHash -> Value # toEncoding :: ModuleNameHash -> Encoding # toJSONList :: [ModuleNameHash] -> Value # toEncodingList :: [ModuleNameHash] -> Encoding # omitField :: ModuleNameHash -> Bool #
Show ModuleNameHash Source #	The record selector is not included in the resulting strings.
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Methods showsPrec :: Int -> ModuleNameHash -> ShowS # show :: ModuleNameHash -> String # showList :: [ModuleNameHash] -> ShowS #
NFData ModuleNameHash Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Methods rnf :: ModuleNameHash -> () #
Eq ModuleNameHash Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Methods (==) :: ModuleNameHash -> ModuleNameHash -> Bool # (/=) :: ModuleNameHash -> ModuleNameHash -> Bool #
Ord ModuleNameHash Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Methods compare :: ModuleNameHash -> ModuleNameHash -> Ordering # (<) :: ModuleNameHash -> ModuleNameHash -> Bool # (<=) :: ModuleNameHash -> ModuleNameHash -> Bool # (>) :: ModuleNameHash -> ModuleNameHash -> Bool # (>=) :: ModuleNameHash -> ModuleNameHash -> Bool # max :: ModuleNameHash -> ModuleNameHash -> ModuleNameHash # min :: ModuleNameHash -> ModuleNameHash -> ModuleNameHash #
Hashable ModuleNameHash Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Methods hashWithSalt :: Int -> ModuleNameHash -> Int # hash :: ModuleNameHash -> Int #
NFData (BiMap RawTopLevelModuleName ModuleNameHash) Source #
Instance details Defined in Agda.TypeChecking.Monad.Base Methods rnf :: BiMap RawTopLevelModuleName ModuleNameHash -> () #
type Tag ModuleNameHash Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot type Tag ModuleNameHash = ModuleNameHash

noModuleNameHash :: ModuleNameHash Source #

type TopLevelModuleNameParts = List1 Text Source #

data TopLevelModuleName' range Source #

Constructors

TopLevelModuleName
Fields moduleNameRange :: range moduleNameId :: !ModuleNameHash moduleNameParts :: TopLevelModuleNameParts

Instances

Instances details

Pretty TopLevelModuleName Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName Methods pretty :: TopLevelModuleName -> Doc Source # prettyPrec :: Int -> TopLevelModuleName -> Doc Source # prettyList :: [TopLevelModuleName] -> Doc Source #
PrettyTCM TopLevelModuleName Source #
Instance details Defined in Agda.TypeChecking.Pretty Methods prettyTCM :: MonadPretty m => TopLevelModuleName -> m Doc Source #
EmbPrj TopLevelModuleName Source #
Instance details Defined in Agda.TypeChecking.Serialise.Instances.Common Methods icode :: TopLevelModuleName -> S Int32 Source # icod_ :: TopLevelModuleName -> S Int32 Source # value :: Int32 -> R TopLevelModuleName Source #
Sized TopLevelModuleName Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName Methods size :: TopLevelModuleName -> Int Source # natSize :: TopLevelModuleName -> Peano Source #
HasRange (TopLevelModuleName' Range) Source #
Instance details Defined in Agda.Syntax.Position Methods getRange :: TopLevelModuleName' Range -> Range Source #
KillRange (TopLevelModuleName' Range) Source #
Instance details Defined in Agda.Syntax.Position Methods killRange :: KillRangeT (TopLevelModuleName' Range) Source #
SetRange (TopLevelModuleName' Range) Source #
Instance details Defined in Agda.Syntax.Position Methods setRange :: Range -> TopLevelModuleName' Range -> TopLevelModuleName' Range Source #
HasTag (TopLevelModuleName' range) Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Associated Types type Tag (TopLevelModuleName' range) Source # Methods tag :: TopLevelModuleName' range -> Maybe (Tag (TopLevelModuleName' range)) Source #
Generic (TopLevelModuleName' range) Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Associated Types type Rep (TopLevelModuleName' range) :: Type -> Type # Methods from :: TopLevelModuleName' range -> Rep (TopLevelModuleName' range) x # to :: Rep (TopLevelModuleName' range) x -> TopLevelModuleName' range #
Show range => Show (TopLevelModuleName' range) Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Methods showsPrec :: Int -> TopLevelModuleName' range -> ShowS # show :: TopLevelModuleName' range -> String # showList :: [TopLevelModuleName' range] -> ShowS #
NFData (TopLevelModuleName' range) Source #	The `range` is not forced.
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Methods rnf :: TopLevelModuleName' range -> () #
Eq (TopLevelModuleName' range) Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Methods (==) :: TopLevelModuleName' range -> TopLevelModuleName' range -> Bool # (/=) :: TopLevelModuleName' range -> TopLevelModuleName' range -> Bool #
Ord (TopLevelModuleName' range) Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Methods compare :: TopLevelModuleName' range -> TopLevelModuleName' range -> Ordering # (<) :: TopLevelModuleName' range -> TopLevelModuleName' range -> Bool # (<=) :: TopLevelModuleName' range -> TopLevelModuleName' range -> Bool # (>) :: TopLevelModuleName' range -> TopLevelModuleName' range -> Bool # (>=) :: TopLevelModuleName' range -> TopLevelModuleName' range -> Bool # max :: TopLevelModuleName' range -> TopLevelModuleName' range -> TopLevelModuleName' range # min :: TopLevelModuleName' range -> TopLevelModuleName' range -> TopLevelModuleName' range #
Hashable (TopLevelModuleName' range) Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot Methods hashWithSalt :: Int -> TopLevelModuleName' range -> Int # hash :: TopLevelModuleName' range -> Int #
type Tag (TopLevelModuleName' range) Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot type Tag (TopLevelModuleName' range) = ModuleNameHash
type Rep (TopLevelModuleName' range) Source #
Instance details Defined in Agda.Syntax.TopLevelModuleName.Boot type Rep (TopLevelModuleName' range) = D1 ('MetaData "TopLevelModuleName'" "Agda.Syntax.TopLevelModuleName.Boot" "Agda-2.6.4.3-Ljl5wY0h7qEDjMk20qhhzf" 'False) (C1 ('MetaCons "TopLevelModuleName" 'PrefixI 'True) (S1 ('MetaSel ('Just "moduleNameRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 range) :: (S1 ('MetaSel ('Just "moduleNameId") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 ModuleNameHash) :: S1 ('MetaSel ('Just "moduleNameParts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TopLevelModuleNameParts))))