Language.IPA.Types

Notation systems

newtype IPA

Textual representation of a speech segment or grouping of segments, with zero or more articulatory features; encoded in IPA transcription. Note this has a Semigroup instance, so various IPAs can conveniently be concatenated with <>

Constructors

IPA

Fields

• unIPA :: Text

  The Text value should be normalized to NFC

Instances

Eq IPA

Defined in Language.IPA.Types

Methods

(==) :: IPA -> IPA -> Bool

(/=) :: IPA -> IPA -> Bool

Show IPA

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> IPA -> ShowS

show :: IPA -> String

showList :: [IPA] -> ShowS

Generic IPA

Defined in Language.IPA.Types

Associated Types

type Rep IPA :: Type -> Type

Methods

from :: IPA -> Rep IPA x

to :: Rep IPA x -> IPA

Semigroup IPA

Defined in Language.IPA.Types

Methods

(<>) :: IPA -> IPA -> IPA

sconcat :: NonEmpty IPA -> IPA

stimes :: Integral b => b -> IPA -> IPA

type Rep IPA

Defined in Language.IPA.Types

type Rep IPA = D1 ('MetaData "IPA" "Language.IPA.Types" "ipa-0.2-inplace" 'True) (C1 ('MetaCons "IPA" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIPA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

mkIPA :: Text -> IPA

normalizes Text value to NFC before wrapping it in IPA. This is to ensure the comparability of IPA values

newtype XSampa

X-SAMPA is an ASCII encoding of the IPA (ca. 1993). Note that fewer transcriptions are possible using X-SAMPA than the IPA, so certain valid IPA Segmentss have no direct equivalence using XSampa. As with IPA, XSampa is an instance of Semigroup

Constructors

XSampa Text

Instances

Eq XSampa

Defined in Language.IPA.Types

Methods

(==) :: XSampa -> XSampa -> Bool

(/=) :: XSampa -> XSampa -> Bool

Show XSampa

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> XSampa -> ShowS

show :: XSampa -> String

showList :: [XSampa] -> ShowS

Generic XSampa

Defined in Language.IPA.Types

Associated Types

type Rep XSampa :: Type -> Type

Methods

from :: XSampa -> Rep XSampa x

to :: Rep XSampa x -> XSampa

Semigroup XSampa

Defined in Language.IPA.Types

Methods

(<>) :: XSampa -> XSampa -> XSampa

sconcat :: NonEmpty XSampa -> XSampa

stimes :: Integral b => b -> XSampa -> XSampa

type Rep XSampa

Defined in Language.IPA.Types

type Rep XSampa = D1 ('MetaData "XSampa" "Language.IPA.Types" "ipa-0.2-inplace" 'True) (C1 ('MetaCons "XSampa" 'PrefixI 'True) (S1 ('MetaSel ('Just "unXSampa") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Segments

data Segment

A single segment, or combination of a segment and articulatory feature

Constructors

Consonant Consonant

Pulmonic and non-pulmonic consonants

Vowel Height Backness Roundedness

Zero

A null/zero phone

WithSegmentalFeature SegmentalFeature Segment

Various other articulatory features

Instances

Eq Segment

Defined in Language.IPA.Types

Methods

(==) :: Segment -> Segment -> Bool

(/=) :: Segment -> Segment -> Bool

Show Segment

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Segment -> ShowS

show :: Segment -> String

showList :: [Segment] -> ShowS

Generic Segment

Defined in Language.IPA.Types

Associated Types

type Rep Segment :: Type -> Type

Methods

from :: Segment -> Rep Segment x

to :: Rep Segment x -> Segment

ReprIPA Segment

Defined in Language.IPA

Methods

toIPA :: Segment -> Maybe IPA

toIPA' :: Segment -> IPA

toXSampa :: Segment -> Maybe XSampa

toXSampa' :: Segment -> XSampa

type Rep Segment

Defined in Language.IPA.Types

type Rep Segment = D1 ('MetaData "Segment" "Language.IPA.Types" "ipa-0.2-inplace" 'False) ((C1 ('MetaCons "Consonant" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Consonant)) :+: C1 ('MetaCons "Vowel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Height) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Backness) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Roundedness)))) :+: (C1 ('MetaCons "Zero" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WithSegmentalFeature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SegmentalFeature) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Segment))))

Consonants (pulmonic and non-pulmonic)

data Consonant

Pulmonic and non-pulmonic consonants

Constructors

Pulmonic Phonation Place Manner

Ejective Place Manner

Implosive Phonation Place

Click Place

DoublyArticulated Phonation Place Place Manner

Instances

Eq Consonant

Defined in Language.IPA.Types

Methods

(==) :: Consonant -> Consonant -> Bool

(/=) :: Consonant -> Consonant -> Bool

Show Consonant

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Consonant -> ShowS

show :: Consonant -> String

showList :: [Consonant] -> ShowS

Generic Consonant

Defined in Language.IPA.Types

Associated Types

type Rep Consonant :: Type -> Type

Methods

from :: Consonant -> Rep Consonant x

to :: Rep Consonant x -> Consonant

type Rep Consonant

Defined in Language.IPA.Types

type Rep Consonant = D1 ('MetaData "Consonant" "Language.IPA.Types" "ipa-0.2-inplace" 'False) ((C1 ('MetaCons "Pulmonic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phonation) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Place) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Manner))) :+: C1 ('MetaCons "Ejective" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Place) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Manner))) :+: (C1 ('MetaCons "Implosive" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phonation) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Place)) :+: (C1 ('MetaCons "Click" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Place)) :+: C1 ('MetaCons "DoublyArticulated" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phonation) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Place)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Place) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Manner))))))

Convenience patterns

These are convenience patterns for creating different types of Consonant Segments, as the nesting of data constructors might otherwise be somewhat troublesome

pattern PulmonicConsonant :: Phonation -> Place -> Manner -> Segment

pattern EjectiveConsonant :: Place -> Manner -> Segment

pattern ClickConsonant :: Place -> Segment

pattern ImplosiveConsonant :: Phonation -> Place -> Segment

Consonant features

data Manner

Consonantal manner of articulation

Constructors

Nasal

Plosive

Fricative Sibilance

Affricate Sibilance

Approximant

Flap

Trill

LateralAffricate

LateralFricative

LateralApproximant

LateralFlap

Instances

Eq Manner

Defined in Language.IPA.Types

Methods

(==) :: Manner -> Manner -> Bool

(/=) :: Manner -> Manner -> Bool

Show Manner

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Manner -> ShowS

show :: Manner -> String

showList :: [Manner] -> ShowS

Generic Manner

Defined in Language.IPA.Types

Associated Types

type Rep Manner :: Type -> Type

Methods

from :: Manner -> Rep Manner x

to :: Rep Manner x -> Manner

type Rep Manner

Defined in Language.IPA.Types

type Rep Manner = D1 ('MetaData "Manner" "Language.IPA.Types" "ipa-0.2-inplace" 'False) (((C1 ('MetaCons "Nasal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Plosive" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Fricative" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sibilance)) :+: (C1 ('MetaCons "Affricate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sibilance)) :+: C1 ('MetaCons "Approximant" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Flap" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Trill" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LateralAffricate" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LateralFricative" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LateralApproximant" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LateralFlap" 'PrefixI 'False) (U1 :: Type -> Type)))))

data Place

Consonantal place of articulation

Constructors

Bilabial

LabioDental

LinguoLabial

Dental

Alveolar

PostAlveolar

Retroflex

Palatal

Velar

Uvular

Pharyngeal

Glottal

Instances

Eq Place

Defined in Language.IPA.Types

Methods

(==) :: Place -> Place -> Bool

(/=) :: Place -> Place -> Bool

Ord Place

Defined in Language.IPA.Types

Methods

compare :: Place -> Place -> Ordering

(<) :: Place -> Place -> Bool

(<=) :: Place -> Place -> Bool

(>) :: Place -> Place -> Bool

(>=) :: Place -> Place -> Bool

max :: Place -> Place -> Place

min :: Place -> Place -> Place

Show Place

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Place -> ShowS

show :: Place -> String

showList :: [Place] -> ShowS

Generic Place

Defined in Language.IPA.Types

Associated Types

type Rep Place :: Type -> Type

Methods

from :: Place -> Rep Place x

to :: Rep Place x -> Place

type Rep Place

Defined in Language.IPA.Types

type Rep Place = D1 ('MetaData "Place" "Language.IPA.Types" "ipa-0.2-inplace" 'False) (((C1 ('MetaCons "Bilabial" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LabioDental" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LinguoLabial" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Dental" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Alveolar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PostAlveolar" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Retroflex" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Palatal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Velar" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Uvular" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pharyngeal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Glottal" 'PrefixI 'False) (U1 :: Type -> Type)))))

data Phonation

Phonation (voicing)

Constructors

Voiced

Voiceless

Instances

Eq Phonation

Defined in Language.IPA.Types

Methods

(==) :: Phonation -> Phonation -> Bool

(/=) :: Phonation -> Phonation -> Bool

Show Phonation

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Phonation -> ShowS

show :: Phonation -> String

showList :: [Phonation] -> ShowS

Generic Phonation

Defined in Language.IPA.Types

Associated Types

type Rep Phonation :: Type -> Type

Methods

from :: Phonation -> Rep Phonation x

to :: Rep Phonation x -> Phonation

type Rep Phonation

Defined in Language.IPA.Types

type Rep Phonation = D1 ('MetaData "Phonation" "Language.IPA.Types" "ipa-0.2-inplace" 'False) (C1 ('MetaCons "Voiced" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Voiceless" 'PrefixI 'False) (U1 :: Type -> Type))

data Sibilance

Sibilance for fricative consonants

Constructors

Sibilant

NonSibilant

Instances

Eq Sibilance

Defined in Language.IPA.Types

Methods

(==) :: Sibilance -> Sibilance -> Bool

(/=) :: Sibilance -> Sibilance -> Bool

Show Sibilance

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Sibilance -> ShowS

show :: Sibilance -> String

showList :: [Sibilance] -> ShowS

Generic Sibilance

Defined in Language.IPA.Types

Associated Types

type Rep Sibilance :: Type -> Type

Methods

from :: Sibilance -> Rep Sibilance x

to :: Rep Sibilance x -> Sibilance

type Rep Sibilance

Defined in Language.IPA.Types

type Rep Sibilance = D1 ('MetaData "Sibilance" "Language.IPA.Types" "ipa-0.2-inplace" 'False) (C1 ('MetaCons "Sibilant" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonSibilant" 'PrefixI 'False) (U1 :: Type -> Type))

Vowel features

data Height

Vowel height

Constructors

Close

NearClose

CloseMid

Mid

OpenMid

NearOpen

Open

Instances

Eq Height

Defined in Language.IPA.Types

Methods

(==) :: Height -> Height -> Bool

(/=) :: Height -> Height -> Bool

Show Height

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Height -> ShowS

show :: Height -> String

showList :: [Height] -> ShowS

Generic Height

Defined in Language.IPA.Types

Associated Types

type Rep Height :: Type -> Type

Methods

from :: Height -> Rep Height x

to :: Rep Height x -> Height

type Rep Height

Defined in Language.IPA.Types

type Rep Height = D1 ('MetaData "Height" "Language.IPA.Types" "ipa-0.2-inplace" 'False) ((C1 ('MetaCons "Close" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NearClose" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CloseMid" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Mid" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OpenMid" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NearOpen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Open" 'PrefixI 'False) (U1 :: Type -> Type))))

data Backness

Vowel backness

Constructors

Front

NearFront

Central

NearBack

Back

Instances

Eq Backness

Defined in Language.IPA.Types

Methods

(==) :: Backness -> Backness -> Bool

(/=) :: Backness -> Backness -> Bool

Ord Backness

Defined in Language.IPA.Types

Methods

compare :: Backness -> Backness -> Ordering

(<) :: Backness -> Backness -> Bool

(<=) :: Backness -> Backness -> Bool

(>) :: Backness -> Backness -> Bool

(>=) :: Backness -> Backness -> Bool

max :: Backness -> Backness -> Backness

min :: Backness -> Backness -> Backness

Show Backness

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Backness -> ShowS

show :: Backness -> String

showList :: [Backness] -> ShowS

Generic Backness

Defined in Language.IPA.Types

Associated Types

type Rep Backness :: Type -> Type

Methods

from :: Backness -> Rep Backness x

to :: Rep Backness x -> Backness

type Rep Backness

Defined in Language.IPA.Types

type Rep Backness = D1 ('MetaData "Backness" "Language.IPA.Types" "ipa-0.2-inplace" 'False) ((C1 ('MetaCons "Front" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NearFront" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Central" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NearBack" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Back" 'PrefixI 'False) (U1 :: Type -> Type))))

data Roundedness

Vowel roundedness

Constructors

Rounded

Unrounded

Instances

Eq Roundedness

Defined in Language.IPA.Types

Methods

(==) :: Roundedness -> Roundedness -> Bool

(/=) :: Roundedness -> Roundedness -> Bool

Show Roundedness

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Roundedness -> ShowS

show :: Roundedness -> String

showList :: [Roundedness] -> ShowS

Generic Roundedness

Defined in Language.IPA.Types

Associated Types

type Rep Roundedness :: Type -> Type

Methods

from :: Roundedness -> Rep Roundedness x

to :: Rep Roundedness x -> Roundedness

type Rep Roundedness

Defined in Language.IPA.Types

type Rep Roundedness = D1 ('MetaData "Roundedness" "Language.IPA.Types" "ipa-0.2-inplace" 'False) (C1 ('MetaCons "Rounded" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unrounded" 'PrefixI 'False) (U1 :: Type -> Type))

Suprasegmentals

data Syllable t

Multiple segments, or combination of multiple segments with suprasegmental feature

Constructors

Syllable (t Segment)

A grouping of segments without extra suprasegmental information

WithSuprasegmentalFeature SuprasegmentalFeature (Syllable t)

Articulatory features that affect/encompass the entire syllable

Instances

Eq (t Segment) => Eq (Syllable t)

Defined in Language.IPA.Types

Methods

(==) :: Syllable t -> Syllable t -> Bool

(/=) :: Syllable t -> Syllable t -> Bool

Show (t Segment) => Show (Syllable t)

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Syllable t -> ShowS

show :: Syllable t -> String

showList :: [Syllable t] -> ShowS

Generic (Syllable t)

Defined in Language.IPA.Types

Associated Types

type Rep (Syllable t) :: Type -> Type

Methods

from :: Syllable t -> Rep (Syllable t) x

to :: Rep (Syllable t) x -> Syllable t

Traversable t => ReprIPA (Syllable t)

Defined in Language.IPA

Methods

toIPA :: Syllable t -> Maybe IPA

toIPA' :: Syllable t -> IPA

toXSampa :: Syllable t -> Maybe XSampa

toXSampa' :: Syllable t -> XSampa

type Rep (Syllable t)

Defined in Language.IPA.Types

type Rep (Syllable t) = D1 ('MetaData "Syllable" "Language.IPA.Types" "ipa-0.2-inplace" 'False) (C1 ('MetaCons "Syllable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (t Segment))) :+: C1 ('MetaCons "WithSuprasegmentalFeature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SuprasegmentalFeature) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Syllable t))))

Suprasegmental features

data SuprasegmentalFeature

Constructors

LevelLexicalTone LevelTone

Level lexical tones in Chao letters

LevelLexicalToneDiacritic LevelTone

Level lexical tones, diacritic. The tone is a combining character

LexicalToneContour ToneContour

Lexical tone contours in Chao letters

LexicalToneContourDiacritic ToneContour

Lexical tone contours, as diacritics. Each contour is a combining character

Stress Stress

Syllable stress

Break

Explicit syllable break

Linking

Absence of a break

Instances

Eq SuprasegmentalFeature

Defined in Language.IPA.Types

Methods

(==) :: SuprasegmentalFeature -> SuprasegmentalFeature -> Bool

(/=) :: SuprasegmentalFeature -> SuprasegmentalFeature -> Bool

Show SuprasegmentalFeature

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> SuprasegmentalFeature -> ShowS

show :: SuprasegmentalFeature -> String

showList :: [SuprasegmentalFeature] -> ShowS

Generic SuprasegmentalFeature

Defined in Language.IPA.Types

Associated Types

type Rep SuprasegmentalFeature :: Type -> Type

Methods

from :: SuprasegmentalFeature -> Rep SuprasegmentalFeature x

to :: Rep SuprasegmentalFeature x -> SuprasegmentalFeature

type Rep SuprasegmentalFeature

Defined in Language.IPA.Types

type Rep SuprasegmentalFeature = D1 ('MetaData "SuprasegmentalFeature" "Language.IPA.Types" "ipa-0.2-inplace" 'False) ((C1 ('MetaCons "LevelLexicalTone" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LevelTone)) :+: (C1 ('MetaCons "LevelLexicalToneDiacritic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LevelTone)) :+: C1 ('MetaCons "LexicalToneContour" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ToneContour)))) :+: ((C1 ('MetaCons "LexicalToneContourDiacritic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ToneContour)) :+: C1 ('MetaCons "Stress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Stress))) :+: (C1 ('MetaCons "Break" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Linking" 'PrefixI 'False) (U1 :: Type -> Type))))

data ToneContour

Lexical tone represented as a contour

Constructors

Rising

Falling

HighRising

LowRising

HighFalling

LowFalling

RisingFalling

FallingRising

GlobalRise

GlobalFall

Instances

Eq ToneContour

Defined in Language.IPA.Types

Methods

(==) :: ToneContour -> ToneContour -> Bool

(/=) :: ToneContour -> ToneContour -> Bool

Ord ToneContour

Defined in Language.IPA.Types

Methods

compare :: ToneContour -> ToneContour -> Ordering

(<) :: ToneContour -> ToneContour -> Bool

(<=) :: ToneContour -> ToneContour -> Bool

(>) :: ToneContour -> ToneContour -> Bool

(>=) :: ToneContour -> ToneContour -> Bool

max :: ToneContour -> ToneContour -> ToneContour

min :: ToneContour -> ToneContour -> ToneContour

Show ToneContour

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> ToneContour -> ShowS

show :: ToneContour -> String

showList :: [ToneContour] -> ShowS

Generic ToneContour

Defined in Language.IPA.Types

Associated Types

type Rep ToneContour :: Type -> Type

Methods

from :: ToneContour -> Rep ToneContour x

to :: Rep ToneContour x -> ToneContour

type Rep ToneContour

Defined in Language.IPA.Types

type Rep ToneContour = D1 ('MetaData "ToneContour" "Language.IPA.Types" "ipa-0.2-inplace" 'False) (((C1 ('MetaCons "Rising" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Falling" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HighRising" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LowRising" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HighFalling" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "LowFalling" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RisingFalling" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FallingRising" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GlobalRise" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GlobalFall" 'PrefixI 'False) (U1 :: Type -> Type)))))

data LevelTone

Lexical tone with Chao-style tone letters

Constructors

ExtraHighTone

HighTone

MidTone

LowTone

ExtraLowTone

DownStep

UpStep

Instances

Eq LevelTone

Defined in Language.IPA.Types

Methods

(==) :: LevelTone -> LevelTone -> Bool

(/=) :: LevelTone -> LevelTone -> Bool

Ord LevelTone

Defined in Language.IPA.Types

Methods

compare :: LevelTone -> LevelTone -> Ordering

(<) :: LevelTone -> LevelTone -> Bool

(<=) :: LevelTone -> LevelTone -> Bool

(>) :: LevelTone -> LevelTone -> Bool

(>=) :: LevelTone -> LevelTone -> Bool

max :: LevelTone -> LevelTone -> LevelTone

min :: LevelTone -> LevelTone -> LevelTone

Show LevelTone

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> LevelTone -> ShowS

show :: LevelTone -> String

showList :: [LevelTone] -> ShowS

Generic LevelTone

Defined in Language.IPA.Types

Associated Types

type Rep LevelTone :: Type -> Type

Methods

from :: LevelTone -> Rep LevelTone x

to :: Rep LevelTone x -> LevelTone

type Rep LevelTone

Defined in Language.IPA.Types

type Rep LevelTone = D1 ('MetaData "LevelTone" "Language.IPA.Types" "ipa-0.2-inplace" 'False) ((C1 ('MetaCons "ExtraHighTone" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HighTone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MidTone" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LowTone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtraLowTone" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DownStep" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UpStep" 'PrefixI 'False) (U1 :: Type -> Type))))

data Stress

Constructors

Primary

Secondary

Instances

Eq Stress

Defined in Language.IPA.Types

Methods

(==) :: Stress -> Stress -> Bool

(/=) :: Stress -> Stress -> Bool

Ord Stress

Defined in Language.IPA.Types

Methods

compare :: Stress -> Stress -> Ordering

(<) :: Stress -> Stress -> Bool

(<=) :: Stress -> Stress -> Bool

(>) :: Stress -> Stress -> Bool

(>=) :: Stress -> Stress -> Bool

max :: Stress -> Stress -> Stress

min :: Stress -> Stress -> Stress

Show Stress

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Stress -> ShowS

show :: Stress -> String

showList :: [Stress] -> ShowS

Generic Stress

Defined in Language.IPA.Types

Associated Types

type Rep Stress :: Type -> Type

Methods

from :: Stress -> Rep Stress x

to :: Rep Stress x -> Stress

type Rep Stress

Defined in Language.IPA.Types

type Rep Stress = D1 ('MetaData "Stress" "Language.IPA.Types" "ipa-0.2-inplace" 'False) (C1 ('MetaCons "Primary" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Secondary" 'PrefixI 'False) (U1 :: Type -> Type))

Segmental articulatory features

data Length

Vowel length; also serves as a notation for consonant gemination in the IPA

Constructors

OverLong

HalfLong

Long

Short

The default/unmarked length; using this constructor doesn't affect the default IPA representation of the segment

ExtraShort

Instances

Eq Length

Defined in Language.IPA.Types

Methods

(==) :: Length -> Length -> Bool

(/=) :: Length -> Length -> Bool

Ord Length

Defined in Language.IPA.Types

Methods

compare :: Length -> Length -> Ordering

(<) :: Length -> Length -> Bool

(<=) :: Length -> Length -> Bool

(>) :: Length -> Length -> Bool

(>=) :: Length -> Length -> Bool

max :: Length -> Length -> Length

min :: Length -> Length -> Length

Show Length

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Length -> ShowS

show :: Length -> String

showList :: [Length] -> ShowS

Generic Length

Defined in Language.IPA.Types

Associated Types

type Rep Length :: Type -> Type

Methods

from :: Length -> Rep Length x

to :: Rep Length x -> Length

type Rep Length

Defined in Language.IPA.Types

type Rep Length = D1 ('MetaData "Length" "Language.IPA.Types" "ipa-0.2-inplace" 'False) ((C1 ('MetaCons "OverLong" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HalfLong" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Long" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Short" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtraShort" 'PrefixI 'False) (U1 :: Type -> Type))))

data SegmentalFeature

Various articulatory features with a diacritic represenation in the IPA. These can be combined with Segments using the WithSegmentalFeature constructor of that type to produce a Segment annotated with a given articulatory feature, e.g.:

>>> toIPA $ WithSegmentalFeature (Length Long) (Vowel Close Front Unrounded)
Just (IPA "i\720") -- iː

Constructors

Voicing Phonation

Length Length

SecondaryArticulation Segment

SuperScriptNumeric Int

Aspirated

MoreRounded

LessRounded

Advanced

Retracted

Centralized

MidCentralized

Compressed

Syllabic

NonSyllabic

Rhotacized

BreathyVoice

CreakyVoice

LinguoLabialized

Labialized

Palatalized

Velarized

Pharyngealized

Raised

Lowered

AdvancedTongueRoot

RetractedTongueRoot

Dentalized

Apical

Laminal

Nasalized

NasalRelease

LateralRelease

NoAudibleRelease

Instances

Eq SegmentalFeature

Defined in Language.IPA.Types

Methods

(==) :: SegmentalFeature -> SegmentalFeature -> Bool

(/=) :: SegmentalFeature -> SegmentalFeature -> Bool

Show SegmentalFeature

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> SegmentalFeature -> ShowS

show :: SegmentalFeature -> String

showList :: [SegmentalFeature] -> ShowS

Generic SegmentalFeature

Defined in Language.IPA.Types

Associated Types

type Rep SegmentalFeature :: Type -> Type

Methods

from :: SegmentalFeature -> Rep SegmentalFeature x

to :: Rep SegmentalFeature x -> SegmentalFeature

type Rep SegmentalFeature

Defined in Language.IPA.Types

type Rep SegmentalFeature = D1 ('MetaData "SegmentalFeature" "Language.IPA.Types" "ipa-0.2-inplace" 'False) (((((C1 ('MetaCons "Voicing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phonation)) :+: C1 ('MetaCons "Length" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Length))) :+: (C1 ('MetaCons "SecondaryArticulation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Segment)) :+: C1 ('MetaCons "SuperScriptNumeric" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) :+: ((C1 ('MetaCons "Aspirated" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MoreRounded" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LessRounded" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Advanced" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "Retracted" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Centralized" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MidCentralized" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Compressed" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Syllabic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonSyllabic" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rhotacized" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BreathyVoice" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "CreakyVoice" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LinguoLabialized" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Labialized" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Palatalized" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Velarized" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pharyngealized" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Raised" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Lowered" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "AdvancedTongueRoot" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RetractedTongueRoot" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Dentalized" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Apical" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Laminal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Nasalized" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NasalRelease" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LateralRelease" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoAudibleRelease" 'PrefixI 'False) (U1 :: Type -> Type)))))))

Errors

data IPAException

Constructors

InvalidIPA Text

InvalidXSampa Text

Instances

Eq IPAException

Defined in Language.IPA.Types

Methods

(==) :: IPAException -> IPAException -> Bool

(/=) :: IPAException -> IPAException -> Bool

Show IPAException

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> IPAException -> ShowS

show :: IPAException -> String

showList :: [IPAException] -> ShowS

Generic IPAException

Defined in Language.IPA.Types

Associated Types

type Rep IPAException :: Type -> Type

Methods

from :: IPAException -> Rep IPAException x

to :: Rep IPAException x -> IPAException

Exception IPAException

Defined in Language.IPA.Types

Methods

toException :: IPAException -> SomeException

fromException :: SomeException -> Maybe IPAException

displayException :: IPAException -> String

type Rep IPAException

Defined in Language.IPA.Types

type Rep IPAException = D1 ('MetaData "IPAException" "Language.IPA.Types" "ipa-0.2-inplace" 'False) (C1 ('MetaCons "InvalidIPA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "InvalidXSampa" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))