unison-core1-0.0.0
Safe HaskellNone
LanguageHaskell2010

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 #

NFData r => NFData (GConstructorReference r) Source # 
Instance details

Defined in Unison.ConstructorReference

Methods

rnf :: GConstructorReference r -> () #

Generic (GConstructorReference r) Source # 
Instance details

Defined in Unison.ConstructorReference

Associated Types

type Rep (GConstructorReference r) 
Instance details

Defined in Unison.ConstructorReference

type Rep (GConstructorReference r) = D1 ('MetaData "GConstructorReference" "Unison.ConstructorReference" "unison-core1-0.0.0-7C4HRERtMMPLlv1FW49L56" '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)))

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 #

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-7C4HRERtMMPLlv1FW49L56" '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_ :: forall r s f. Functor f => (r -> f s) -> GConstructorReference r -> f (GConstructorReference 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 #