Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.ConstructorReference

Description

The constructor reference type.

Synopsis

Documentation

data GConstructorReference r Source #

A reference to a constructor is represented by a reference to its type declaration, plus the ordinal constructor id.

Constructors

ConstructorReference !r !ConstructorId

Instances

Instances details

Functor GConstructorReference Source #
Instance details Defined in Unison.ConstructorReference Methods fmap :: (a -> b) -> GConstructorReference a -> GConstructorReference b # (<$) :: a -> GConstructorReference b -> GConstructorReference a #
Generic (GConstructorReference r) Source #
Instance details Defined in Unison.ConstructorReference Associated Types type Rep (GConstructorReference r) :: Type -> Type # Methods from :: GConstructorReference r -> Rep (GConstructorReference r) x # to :: Rep (GConstructorReference r) x -> GConstructorReference r #
Show r => Show (GConstructorReference r) Source #
Instance details Defined in Unison.ConstructorReference Methods showsPrec :: Int -> GConstructorReference r -> ShowS # show :: GConstructorReference r -> String # showList :: [GConstructorReference r] -> ShowS #
NFData r => NFData (GConstructorReference r) Source #
Instance details Defined in Unison.ConstructorReference Methods rnf :: GConstructorReference r -> () #
Eq r => Eq (GConstructorReference r) Source #
Instance details Defined in Unison.ConstructorReference Methods (==) :: GConstructorReference r -> GConstructorReference r -> Bool # (/=) :: GConstructorReference r -> GConstructorReference r -> Bool #
Ord r => Ord (GConstructorReference r) Source #
Instance details Defined in Unison.ConstructorReference Methods compare :: GConstructorReference r -> GConstructorReference r -> Ordering # (<) :: GConstructorReference r -> GConstructorReference r -> Bool # (<=) :: GConstructorReference r -> GConstructorReference r -> Bool # (>) :: GConstructorReference r -> GConstructorReference r -> Bool # (>=) :: GConstructorReference r -> GConstructorReference r -> Bool # max :: GConstructorReference r -> GConstructorReference r -> GConstructorReference r # min :: GConstructorReference r -> GConstructorReference r -> GConstructorReference r #
type Rep (GConstructorReference r) Source #
Instance details Defined in Unison.ConstructorReference type Rep (GConstructorReference r) = D1 ('MetaData "GConstructorReference" "Unison.ConstructorReference" "unison-core1-0.0.0-81K0NP5FQX63ztzOFtUCNN" 'False) (C1 ('MetaCons "ConstructorReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConstructorId)))

type ConstructorReference = GConstructorReference TypeReference Source #

type ConstructorReferenceId = GConstructorReference TypeReferenceId Source #

reference_ :: Lens (GConstructorReference r) (GConstructorReference s) r s Source #

A lens onto the reference part of a constructor reference.

toId :: ConstructorReference -> Maybe ConstructorReferenceId Source #

toShortHash :: ConstructorReference -> ShortHash Source #

toText :: ConstructorReference -> Text Source #