unison-core1-0.0.0
Safe HaskellNone
LanguageHaskell2010

Unison.ReferentPrime

Synopsis

Documentation

data Referent' r Source #

Specifies a term.

Either a term Reference, a data constructor, or an effect constructor.

Slightly odd naming. This is the "referent of term name in the codebase", rather than the target of a Reference.

When Ref' then r represents a term.

When Con' then r is a type declaration.

Constructors

Ref' r 
Con' (GConstructorReference r) ConstructorType 

Instances

Instances details
Functor Referent' Source # 
Instance details

Defined in Unison.ReferentPrime

Methods

fmap :: (a -> b) -> Referent' a -> Referent' b #

(<$) :: a -> Referent' b -> Referent' a #

NFData r => NFData (Referent' r) Source # 
Instance details

Defined in Unison.ReferentPrime

Methods

rnf :: Referent' r -> () #

Generic (Referent' r) Source # 
Instance details

Defined in Unison.ReferentPrime

Associated Types

type Rep (Referent' r) 
Instance details

Defined in Unison.ReferentPrime

type Rep (Referent' r) = D1 ('MetaData "Referent'" "Unison.ReferentPrime" "unison-core1-0.0.0-7C4HRERtMMPLlv1FW49L56" 'False) (C1 ('MetaCons "Ref'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)) :+: C1 ('MetaCons "Con'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GConstructorReference r)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstructorType)))

Methods

from :: Referent' r -> Rep (Referent' r) x #

to :: Rep (Referent' r) x -> Referent' r #

Show r => Show (Referent' r) Source # 
Instance details

Defined in Unison.ReferentPrime

Methods

showsPrec :: Int -> Referent' r -> ShowS #

show :: Referent' r -> String #

showList :: [Referent' r] -> ShowS #

Eq r => Eq (Referent' r) Source # 
Instance details

Defined in Unison.ReferentPrime

Methods

(==) :: Referent' r -> Referent' r -> Bool #

(/=) :: Referent' r -> Referent' r -> Bool #

Ord r => Ord (Referent' r) Source # 
Instance details

Defined in Unison.ReferentPrime

Methods

compare :: Referent' r -> Referent' r -> Ordering #

(<) :: Referent' r -> Referent' r -> Bool #

(<=) :: Referent' r -> Referent' r -> Bool #

(>) :: Referent' r -> Referent' r -> Bool #

(>=) :: Referent' r -> Referent' r -> Bool #

max :: Referent' r -> Referent' r -> Referent' r #

min :: Referent' r -> Referent' r -> Referent' r #

type Rep (Referent' r) Source # 
Instance details

Defined in Unison.ReferentPrime

type Rep (Referent' r) = D1 ('MetaData "Referent'" "Unison.ReferentPrime" "unison-core1-0.0.0-7C4HRERtMMPLlv1FW49L56" 'False) (C1 ('MetaCons "Ref'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)) :+: C1 ('MetaCons "Con'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GConstructorReference r)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstructorType)))

Basic queries

isConstructor :: Referent' r -> Bool Source #

fold :: (r -> a) -> (r -> ConstructorId -> ConstructorType -> a) -> Referent' r -> a Source #

Lenses

reference_ :: forall r r' f. Functor f => (r -> f r') -> Referent' r -> f (Referent' r') Source #

A lens onto the reference in a referent.

termReference_ :: forall r p f. (Choice p, Applicative f) => p r (f r) -> p (Referent' r) (f (Referent' r)) Source #

A prism onto the term reference in a referent.

Conversions

toReference' :: Referent' r -> r Source #

toTermReference :: Referent' r -> Maybe r Source #

toTypeReference :: Referent' r -> Maybe r Source #