Safe Haskell	Safe-Inferred
Language	Haskell2010

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 :: Type -> 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-Kp7ZcNnt5XdB8ImvFwyntI" '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 #