Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
The constructor reference type.
Synopsis
- data GConstructorReference r = ConstructorReference !r !ConstructorId
- type ConstructorReference = GConstructorReference TypeReference
- type ConstructorReferenceId = GConstructorReference TypeReferenceId
- reference_ :: Lens (GConstructorReference r) (GConstructorReference s) r s
- toId :: ConstructorReference -> Maybe ConstructorReferenceId
- toShortHash :: ConstructorReference -> ShortHash
Documentation
data GConstructorReference r Source #
A reference to a constructor is represented by a reference to its type declaration, plus the ordinal constructor id.
Instances
reference_ :: Lens (GConstructorReference r) (GConstructorReference s) r s Source #
A lens onto the reference part of a constructor reference.