unison-core1-0.0.0
Safe HaskellNone
LanguageHaskell2010

Unison.Symbol

Documentation

data Symbol Source #

Constructors

Symbol !Word64 Type 

Instances

Instances details
Generic Symbol Source # 
Instance details

Defined in Unison.Symbol

Associated Types

type Rep Symbol 
Instance details

Defined in Unison.Symbol

type Rep Symbol = D1 ('MetaData "Symbol" "Unison.Symbol" "unison-core1-0.0.0-7C4HRERtMMPLlv1FW49L56" 'False) (C1 ('MetaCons "Symbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))

Methods

from :: Symbol -> Rep Symbol x #

to :: Rep Symbol x -> Symbol #

Show Symbol Source # 
Instance details

Defined in Unison.Symbol

Methods

showsPrec :: Int -> Symbol -> ShowS #

show :: Symbol -> String #

showList :: [Symbol] -> ShowS #

Eq Symbol Source # 
Instance details

Defined in Unison.Symbol

Methods

(==) :: Symbol -> Symbol -> Bool #

(/=) :: Symbol -> Symbol -> Bool #

Ord Symbol Source # 
Instance details

Defined in Unison.Symbol

Methods

compare :: Symbol -> Symbol -> Ordering #

(<) :: Symbol -> Symbol -> Bool #

(<=) :: Symbol -> Symbol -> Bool #

(>) :: Symbol -> Symbol -> Bool #

(>=) :: Symbol -> Symbol -> Bool #

max :: Symbol -> Symbol -> Symbol #

min :: Symbol -> Symbol -> Symbol #

Var Symbol Source # 
Instance details

Defined in Unison.Symbol

Methods

freshIn :: Set Symbol -> Symbol -> Symbol #

Var Symbol Source # 
Instance details

Defined in Unison.Symbol

Methods

typed :: Type -> Symbol Source #

typeOf :: Symbol -> Type Source #

freshId :: Symbol -> Word64 Source #

freshenId :: Word64 -> Symbol -> Symbol Source #

type Rep Symbol Source # 
Instance details

Defined in Unison.Symbol

type Rep Symbol = D1 ('MetaData "Symbol" "Unison.Symbol" "unison-core1-0.0.0-7C4HRERtMMPLlv1FW49L56" 'False) (C1 ('MetaCons "Symbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))

symbol :: Text -> Symbol Source #