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.3.1-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 Segments have no direct equivalence using XSampa. As with IPA, XSampa is an instance of Semigroup

Constructors

XSampa

Fields

• unXSampa :: Text

  The wrapped Text should only contain ASCII characters

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.3.1-inplace" 'True) (C1 ('MetaCons "XSampa" 'PrefixI 'True) (S1 ('MetaSel ('Just "unXSampa") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

mkXSampa :: Text -> Maybe XSampa

Wraps a Text value in XSampa, provided the text only contains ASCII characters

Segments

data Segment

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

Constructors

Consonant Consonant

Pulmonic and non-pulmonic consonants

Vowel Vowel

Monoph-, diph-, and triphthongs

Zero

A null/zero phone

WithSegmentalFeature SegmentalFeature Segment

Various other articulatory features

Optional Segment

A segment that is conventionally surrounded by parentheses. This is not an official part of the IPA, but is nevertheless encountered fairly frequently in IPA notation in the wild

Instances

Eq Segment

Defined in Language.IPA.Types

Methods

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

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

Data Segment

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Segment -> c Segment

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Segment

toConstr :: Segment -> Constr

dataTypeOf :: Segment -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Segment)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Segment)

gmapT :: (forall b. Data b => b -> b) -> Segment -> Segment

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Segment -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Segment -> r

gmapQ :: (forall d. Data d => d -> u) -> Segment -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Segment -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Segment -> m Segment

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Segment -> m Segment

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Segment -> m Segment

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

ReprXSampa Segment

Defined in Language.IPA.Class

Methods

toXSampa :: Segment -> Maybe XSampa

parseXSampa :: Text -> Either IPAException Segment

ReprIPA Segment

Defined in Language.IPA.Class

Methods

toIPA :: Segment -> Maybe IPA

parseIPA :: Text -> Either IPAException Segment

Lift Segment

Defined in Language.IPA.Types

Methods

lift :: Segment -> Q Exp

liftTyped :: Segment -> Q (TExp Segment)

type Rep Segment

Defined in Language.IPA.Types

type Rep Segment = D1 ('MetaData "Segment" "Language.IPA.Types" "ipa-0.3.1-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 Vowel))) :+: (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)) :+: C1 ('MetaCons "Optional" 'PrefixI 'False) (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

PostAlveolar place represents a lateral click

DoublyArticulated Phonation Place Place Manner

Instances

Eq Consonant

Defined in Language.IPA.Types

Methods

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

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

Data Consonant

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Consonant -> c Consonant

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Consonant

toConstr :: Consonant -> Constr

dataTypeOf :: Consonant -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Consonant)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Consonant)

gmapT :: (forall b. Data b => b -> b) -> Consonant -> Consonant

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Consonant -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Consonant -> r

gmapQ :: (forall d. Data d => d -> u) -> Consonant -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Consonant -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Consonant -> m Consonant

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Consonant -> m Consonant

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Consonant -> m Consonant

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

Lift Consonant

Defined in Language.IPA.Types

Methods

lift :: Consonant -> Q Exp

liftTyped :: Consonant -> Q (TExp Consonant)

type Rep Consonant

Defined in Language.IPA.Types

type Rep Consonant = D1 ('MetaData "Consonant" "Language.IPA.Types" "ipa-0.3.1-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 tiresome

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

pattern EjectiveConsonant :: Place -> Manner -> Segment

pattern ClickConsonant :: Place -> Segment

pattern ImplosiveConsonant :: Phonation -> Place -> Segment

pattern DoublyArticulatedConsonant :: Phonation -> Place -> Place -> Manner -> 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

Data Manner

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Manner -> c Manner

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Manner

toConstr :: Manner -> Constr

dataTypeOf :: Manner -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Manner)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Manner)

gmapT :: (forall b. Data b => b -> b) -> Manner -> Manner

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Manner -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Manner -> r

gmapQ :: (forall d. Data d => d -> u) -> Manner -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Manner -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Manner -> m Manner

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Manner -> m Manner

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Manner -> m Manner

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

Lift Manner

Defined in Language.IPA.Types

Methods

lift :: Manner -> Q Exp

liftTyped :: Manner -> Q (TExp Manner)

type Rep Manner

Defined in Language.IPA.Types

type Rep Manner = D1 ('MetaData "Manner" "Language.IPA.Types" "ipa-0.3.1-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

Data Place

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Place -> c Place

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Place

toConstr :: Place -> Constr

dataTypeOf :: Place -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Place)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Place)

gmapT :: (forall b. Data b => b -> b) -> Place -> Place

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Place -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Place -> r

gmapQ :: (forall d. Data d => d -> u) -> Place -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Place -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Place -> m Place

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Place -> m Place

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Place -> m Place

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

Lift Place

Defined in Language.IPA.Types

Methods

lift :: Place -> Q Exp

liftTyped :: Place -> Q (TExp Place)

type Rep Place

Defined in Language.IPA.Types

type Rep Place = D1 ('MetaData "Place" "Language.IPA.Types" "ipa-0.3.1-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

Data Phonation

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Phonation -> c Phonation

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Phonation

toConstr :: Phonation -> Constr

dataTypeOf :: Phonation -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Phonation)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Phonation)

gmapT :: (forall b. Data b => b -> b) -> Phonation -> Phonation

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Phonation -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Phonation -> r

gmapQ :: (forall d. Data d => d -> u) -> Phonation -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Phonation -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Phonation -> m Phonation

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Phonation -> m Phonation

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Phonation -> m Phonation

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

Lift Phonation

Defined in Language.IPA.Types

Methods

lift :: Phonation -> Q Exp

liftTyped :: Phonation -> Q (TExp Phonation)

type Rep Phonation

Defined in Language.IPA.Types

type Rep Phonation = D1 ('MetaData "Phonation" "Language.IPA.Types" "ipa-0.3.1-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

Data Sibilance

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sibilance -> c Sibilance

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Sibilance

toConstr :: Sibilance -> Constr

dataTypeOf :: Sibilance -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Sibilance)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Sibilance)

gmapT :: (forall b. Data b => b -> b) -> Sibilance -> Sibilance

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sibilance -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sibilance -> r

gmapQ :: (forall d. Data d => d -> u) -> Sibilance -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Sibilance -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sibilance -> m Sibilance

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sibilance -> m Sibilance

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sibilance -> m Sibilance

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

Lift Sibilance

Defined in Language.IPA.Types

Methods

lift :: Sibilance -> Q Exp

liftTyped :: Sibilance -> Q (TExp Sibilance)

type Rep Sibilance

Defined in Language.IPA.Types

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

Vowels

data Vowel

Vowel type. Note that this type does not prevent the construction of nonsensical vowel values such as Diphthong (Diphthong ...) (Diphthong ...)

Constructors

Pure Height Backness Roundedness

Diphthongized Vowel Vowel

Triphthongized Vowel Vowel Vowel

Instances

Eq Vowel

Defined in Language.IPA.Types

Methods

(==) :: Vowel -> Vowel -> Bool

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

Data Vowel

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Vowel -> c Vowel

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Vowel

toConstr :: Vowel -> Constr

dataTypeOf :: Vowel -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Vowel)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Vowel)

gmapT :: (forall b. Data b => b -> b) -> Vowel -> Vowel

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Vowel -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Vowel -> r

gmapQ :: (forall d. Data d => d -> u) -> Vowel -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Vowel -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Vowel -> m Vowel

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Vowel -> m Vowel

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Vowel -> m Vowel

Show Vowel

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Vowel -> ShowS

show :: Vowel -> String

showList :: [Vowel] -> ShowS

Generic Vowel

Defined in Language.IPA.Types

Associated Types

type Rep Vowel :: Type -> Type

Methods

from :: Vowel -> Rep Vowel x

to :: Rep Vowel x -> Vowel

Lift Vowel

Defined in Language.IPA.Types

Methods

lift :: Vowel -> Q Exp

liftTyped :: Vowel -> Q (TExp Vowel)

type Rep Vowel

Defined in Language.IPA.Types

type Rep Vowel = D1 ('MetaData "Vowel" "Language.IPA.Types" "ipa-0.3.1-inplace" 'False) (C1 ('MetaCons "Pure" '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 "Diphthongized" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vowel) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vowel)) :+: C1 ('MetaCons "Triphthongized" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vowel) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vowel) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vowel)))))

Convenience patterns

pattern PureVowel :: Height -> Backness -> Roundedness -> Segment

pattern Diphthong :: Vowel -> Vowel -> Segment

pattern Triphthong :: Vowel -> Vowel -> Vowel -> Segment

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

Data Height

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Height -> c Height

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Height

toConstr :: Height -> Constr

dataTypeOf :: Height -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Height)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Height)

gmapT :: (forall b. Data b => b -> b) -> Height -> Height

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Height -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Height -> r

gmapQ :: (forall d. Data d => d -> u) -> Height -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Height -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Height -> m Height

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Height -> m Height

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Height -> m Height

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

Lift Height

Defined in Language.IPA.Types

Methods

lift :: Height -> Q Exp

liftTyped :: Height -> Q (TExp Height)

type Rep Height

Defined in Language.IPA.Types

type Rep Height = D1 ('MetaData "Height" "Language.IPA.Types" "ipa-0.3.1-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

Data Backness

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Backness -> c Backness

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Backness

toConstr :: Backness -> Constr

dataTypeOf :: Backness -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Backness)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Backness)

gmapT :: (forall b. Data b => b -> b) -> Backness -> Backness

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Backness -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Backness -> r

gmapQ :: (forall d. Data d => d -> u) -> Backness -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Backness -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Backness -> m Backness

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Backness -> m Backness

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Backness -> m Backness

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

Lift Backness

Defined in Language.IPA.Types

Methods

lift :: Backness -> Q Exp

liftTyped :: Backness -> Q (TExp Backness)

type Rep Backness

Defined in Language.IPA.Types

type Rep Backness = D1 ('MetaData "Backness" "Language.IPA.Types" "ipa-0.3.1-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

Data Roundedness

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Roundedness -> c Roundedness

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Roundedness

toConstr :: Roundedness -> Constr

dataTypeOf :: Roundedness -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Roundedness)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Roundedness)

gmapT :: (forall b. Data b => b -> b) -> Roundedness -> Roundedness

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Roundedness -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Roundedness -> r

gmapQ :: (forall d. Data d => d -> u) -> Roundedness -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Roundedness -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Roundedness -> m Roundedness

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Roundedness -> m Roundedness

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Roundedness -> m Roundedness

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

Lift Roundedness

Defined in Language.IPA.Types

Methods

lift :: Roundedness -> Q Exp

liftTyped :: Roundedness -> Q (TExp Roundedness)

type Rep Roundedness

Defined in Language.IPA.Types

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

Suprasegmentals

type MultiSegment t = (Applicative t, Traversable t, Monoid (t Segment))

Constraint synonym for syllable containers

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

Lift (t Segment) => Lift (Syllable t :: Type)

Defined in Language.IPA.Types

Methods

lift :: Syllable t -> Q Exp

liftTyped :: Syllable t -> Q (TExp (Syllable t))

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

Defined in Language.IPA.Types

Methods

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

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

(Data (t Segment), Typeable t) => Data (Syllable t)

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Syllable t -> c (Syllable t)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Syllable t)

toConstr :: Syllable t -> Constr

dataTypeOf :: Syllable t -> DataType

dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Syllable t))

dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Syllable t))

gmapT :: (forall b. Data b => b -> b) -> Syllable t -> Syllable t

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Syllable t -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Syllable t -> r

gmapQ :: (forall d. Data d => d -> u) -> Syllable t -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Syllable t -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Syllable t -> m (Syllable t)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Syllable t -> m (Syllable t)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Syllable t -> m (Syllable t)

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

MultiSegment t => ReprXSampa (Syllable t)

Defined in Language.IPA.Class

Methods

toXSampa :: Syllable t -> Maybe XSampa

parseXSampa :: Text -> Either IPAException (Syllable t)

MultiSegment t => ReprIPA (Syllable t)

Defined in Language.IPA.Class

Methods

toIPA :: Syllable t -> Maybe IPA

parseIPA :: Text -> Either IPAException (Syllable t)

type Rep (Syllable t)

Defined in Language.IPA.Types

type Rep (Syllable t) = D1 ('MetaData "Syllable" "Language.IPA.Types" "ipa-0.3.1-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

ToneNumber Int

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

Data SuprasegmentalFeature

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SuprasegmentalFeature -> c SuprasegmentalFeature

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SuprasegmentalFeature

toConstr :: SuprasegmentalFeature -> Constr

dataTypeOf :: SuprasegmentalFeature -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SuprasegmentalFeature)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SuprasegmentalFeature)

gmapT :: (forall b. Data b => b -> b) -> SuprasegmentalFeature -> SuprasegmentalFeature

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SuprasegmentalFeature -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SuprasegmentalFeature -> r

gmapQ :: (forall d. Data d => d -> u) -> SuprasegmentalFeature -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SuprasegmentalFeature -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SuprasegmentalFeature -> m SuprasegmentalFeature

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SuprasegmentalFeature -> m SuprasegmentalFeature

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SuprasegmentalFeature -> m SuprasegmentalFeature

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

Lift SuprasegmentalFeature

Defined in Language.IPA.Types

Methods

lift :: SuprasegmentalFeature -> Q Exp

liftTyped :: SuprasegmentalFeature -> Q (TExp SuprasegmentalFeature)

type Rep SuprasegmentalFeature

Defined in Language.IPA.Types

type Rep SuprasegmentalFeature = D1 ('MetaData "SuprasegmentalFeature" "Language.IPA.Types" "ipa-0.3.1-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 "ToneNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: 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

Data ToneContour

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ToneContour -> c ToneContour

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ToneContour

toConstr :: ToneContour -> Constr

dataTypeOf :: ToneContour -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ToneContour)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ToneContour)

gmapT :: (forall b. Data b => b -> b) -> ToneContour -> ToneContour

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ToneContour -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ToneContour -> r

gmapQ :: (forall d. Data d => d -> u) -> ToneContour -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ToneContour -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ToneContour -> m ToneContour

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ToneContour -> m ToneContour

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ToneContour -> m ToneContour

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

Lift ToneContour

Defined in Language.IPA.Types

Methods

lift :: ToneContour -> Q Exp

liftTyped :: ToneContour -> Q (TExp ToneContour)

type Rep ToneContour

Defined in Language.IPA.Types

type Rep ToneContour = D1 ('MetaData "ToneContour" "Language.IPA.Types" "ipa-0.3.1-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

Data LevelTone

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LevelTone -> c LevelTone

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LevelTone

toConstr :: LevelTone -> Constr

dataTypeOf :: LevelTone -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LevelTone)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LevelTone)

gmapT :: (forall b. Data b => b -> b) -> LevelTone -> LevelTone

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LevelTone -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LevelTone -> r

gmapQ :: (forall d. Data d => d -> u) -> LevelTone -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LevelTone -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LevelTone -> m LevelTone

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LevelTone -> m LevelTone

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LevelTone -> m LevelTone

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

Lift LevelTone

Defined in Language.IPA.Types

Methods

lift :: LevelTone -> Q Exp

liftTyped :: LevelTone -> Q (TExp LevelTone)

type Rep LevelTone

Defined in Language.IPA.Types

type Rep LevelTone = D1 ('MetaData "LevelTone" "Language.IPA.Types" "ipa-0.3.1-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

Data Stress

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Stress -> c Stress

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Stress

toConstr :: Stress -> Constr

dataTypeOf :: Stress -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Stress)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Stress)

gmapT :: (forall b. Data b => b -> b) -> Stress -> Stress

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Stress -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Stress -> r

gmapQ :: (forall d. Data d => d -> u) -> Stress -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Stress -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Stress -> m Stress

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Stress -> m Stress

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Stress -> m Stress

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

Lift Stress

Defined in Language.IPA.Types

Methods

lift :: Stress -> Q Exp

liftTyped :: Stress -> Q (TExp Stress)

type Rep Stress

Defined in Language.IPA.Types

type Rep Stress = D1 ('MetaData "Stress" "Language.IPA.Types" "ipa-0.3.1-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

Data Length

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Length -> c Length

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Length

toConstr :: Length -> Constr

dataTypeOf :: Length -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Length)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Length)

gmapT :: (forall b. Data b => b -> b) -> Length -> Length

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Length -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Length -> r

gmapQ :: (forall d. Data d => d -> u) -> Length -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Length -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Length -> m Length

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Length -> m Length

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Length -> m Length

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

Lift Length

Defined in Language.IPA.Types

Methods

lift :: Length -> Q Exp

liftTyped :: Length -> Q (TExp Length)

type Rep Length

Defined in Language.IPA.Types

type Rep Length = D1 ('MetaData "Length" "Language.IPA.Types" "ipa-0.3.1-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

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

Data SegmentalFeature

Defined in Language.IPA.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SegmentalFeature -> c SegmentalFeature

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SegmentalFeature

toConstr :: SegmentalFeature -> Constr

dataTypeOf :: SegmentalFeature -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SegmentalFeature)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SegmentalFeature)

gmapT :: (forall b. Data b => b -> b) -> SegmentalFeature -> SegmentalFeature

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SegmentalFeature -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SegmentalFeature -> r

gmapQ :: (forall d. Data d => d -> u) -> SegmentalFeature -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SegmentalFeature -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SegmentalFeature -> m SegmentalFeature

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SegmentalFeature -> m SegmentalFeature

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SegmentalFeature -> m SegmentalFeature

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

Lift SegmentalFeature

Defined in Language.IPA.Types

Methods

lift :: SegmentalFeature -> Q Exp

liftTyped :: SegmentalFeature -> Q (TExp SegmentalFeature)

type Rep SegmentalFeature

Defined in Language.IPA.Types

type Rep SegmentalFeature = D1 ('MetaData "SegmentalFeature" "Language.IPA.Types" "ipa-0.3.1-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 "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))))))

Transcription delimiters

data Delimiter

Transcription delimiters/brackets

Constructors

Phonetic

Actual pronunciation, transcribed with square brackets, [ .. ]

Phonemic

Abstract phonemic representation, transcribed with slashes, / .. /

Instances

Eq Delimiter

Defined in Language.IPA.Types

Methods

(==) :: Delimiter -> Delimiter -> Bool

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

Show Delimiter

Defined in Language.IPA.Types

Methods

showsPrec :: Int -> Delimiter -> ShowS

show :: Delimiter -> String

showList :: [Delimiter] -> ShowS

Generic Delimiter

Defined in Language.IPA.Types

Associated Types

type Rep Delimiter :: Type -> Type

Methods

from :: Delimiter -> Rep Delimiter x

to :: Rep Delimiter x -> Delimiter

type Rep Delimiter

Defined in Language.IPA.Types

type Rep Delimiter = D1 ('MetaData "Delimiter" "Language.IPA.Types" "ipa-0.3.1-inplace" 'False) (C1 ('MetaCons "Phonetic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Phonemic" '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.3.1-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)))