Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.NameSegment.Internal

Description

This module exposes the underlying representation of NameSegment, and thus should only be imported by parsers & printers.

Synopsis

newtype NameSegment = NameSegment {
- toUnescapedText :: Text
}

Documentation

newtype NameSegment Source #

Represents the parts of a name between the .s.

Constructors

NameSegment

Fields

toUnescapedText :: Text
Convert a name segment to unescaped text.
You might use this when storing a name segment as text in a database, where the literal name segment bytes are all that matter. However, you wouldn't use this to display the name segment to a user - that depends on concrete syntax. See Unison.Syntax.NameSegment (or indeed, some actual yet-built interface that abstracts concrete syntax) for that kind of function.
```
toUnescapedText (unsafeFromText ".~") = ".~"
```

Instances

Instances details

(TypeError ((('Text "You cannot implicitly convert a \8216String\8217 to a \8216NameSegment\8217. If you need a" ':$$: 'Text "special-cased segment it should exist as a constant in") ':$$: 'Text "\8220Unison.NameSegment\8221, otherwise it should be parsed via") ':$$: 'Text "\8220Unison.Syntax.NameSegment\8221.") :: Constraint) => IsString NameSegment Source #
Instance details Defined in Unison.NameSegment.Internal Methods fromString :: String -> NameSegment #
Generic NameSegment Source #
Instance details Defined in Unison.NameSegment.Internal Associated Types type Rep NameSegment :: Type -> Type # Methods from :: NameSegment -> Rep NameSegment x # to :: Rep NameSegment x -> NameSegment #
Show NameSegment Source #
Instance details Defined in Unison.NameSegment.Internal Methods showsPrec :: Int -> NameSegment -> ShowS # show :: NameSegment -> String # showList :: [NameSegment] -> ShowS #
NFData NameSegment Source #
Instance details Defined in Unison.NameSegment.Internal Methods rnf :: NameSegment -> () #
Eq NameSegment Source #
Instance details Defined in Unison.NameSegment.Internal Methods (==) :: NameSegment -> NameSegment -> Bool # (/=) :: NameSegment -> NameSegment -> Bool #
Ord NameSegment Source #
Instance details Defined in Unison.NameSegment.Internal Methods compare :: NameSegment -> NameSegment -> Ordering # (<) :: NameSegment -> NameSegment -> Bool # (<=) :: NameSegment -> NameSegment -> Bool # (>) :: NameSegment -> NameSegment -> Bool # (>=) :: NameSegment -> NameSegment -> Bool # max :: NameSegment -> NameSegment -> NameSegment # min :: NameSegment -> NameSegment -> NameSegment #
Alphabetical NameSegment Source #
Instance details Defined in Unison.NameSegment.Internal Methods compareAlphabetical :: NameSegment -> NameSegment -> Ordering Source #
type Rep NameSegment Source #
Instance details Defined in Unison.NameSegment.Internal type Rep NameSegment = D1 ('MetaData "NameSegment" "Unison.NameSegment.Internal" "unison-core-0.0.0-EJg6qqV6eHy5XORPPpuyNK" 'True) (C1 ('MetaCons "NameSegment" 'PrefixI 'True) (S1 ('MetaSel ('Just "toUnescapedText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))