Pretty TopLevelModuleName Source # | |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName |
PrettyTCM TopLevelModuleName Source # | |
Instance detailsDefined in Agda.TypeChecking.Pretty |
EmbPrj TopLevelModuleName Source # | |
Instance detailsDefined in Agda.TypeChecking.Serialise.Instances.Common |
Sized TopLevelModuleName Source # | |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName |
HasRange (TopLevelModuleName' Range) Source # | |
Instance detailsDefined in Agda.Syntax.Position |
KillRange (TopLevelModuleName' Range) Source # | |
Instance detailsDefined in Agda.Syntax.Position |
SetRange (TopLevelModuleName' Range) Source # | |
Instance detailsDefined in Agda.Syntax.Position |
HasTag (TopLevelModuleName' range) Source # | |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName.Boot |
Generic (TopLevelModuleName' range) Source # | |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName.Boot |
Show range => Show (TopLevelModuleName' range) Source # | |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName.Boot |
NFData (TopLevelModuleName' range) Source # | The range is not forced. |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName.Boot |
Eq (TopLevelModuleName' range) Source # | |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName.Boot |
Ord (TopLevelModuleName' range) Source # | |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName.Boot |
Hashable (TopLevelModuleName' range) Source # | |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName.Boot |
type Tag (TopLevelModuleName' range) Source # | |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName.Boot |
type Rep (TopLevelModuleName' range) Source # | |
Instance detailsDefined in Agda.Syntax.TopLevelModuleName.Boot |