Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.TypeChecking.Serialise.Instances.Abstract
Contents
Documentation
data AbsNameWithFixity Source #
Constructors
AbsNameWithFixity Fixity QName KindOfName WhyInScope NameMetadata |
Instances
EmbPrj AbsNameWithFixity Source # | |
Defined in Agda.TypeChecking.Serialise.Instances.Abstract Methods icode :: AbsNameWithFixity -> S Word32 Source # icod_ :: AbsNameWithFixity -> S Word32 Source # value :: Word32 -> R AbsNameWithFixity Source # |