Brassica.SoundChange.Types

This module contains the types used to represent sound changes and words in Brassica. In brief:

• A set of SoundChanges is composed of a list of elements
• Their most important elements are sound change Rules
• Sound changes are composed of Lexemes denoting parts of the input and output words
• Each word is a sequence of Graphemes

For more details on the syntax and semantics of sound changes, refer to the reference guide.

Words and graphemes

type Grapheme = [Char]

The type of graphemes within a word. "#" is taken to denote a word boundary (whch is universally treated as a normal grapheme in sound changes.)

type PWord = [Grapheme]

Brassica views a word, or a subsequence of one, as a list of Graphemes. For instance, Portuguese "filha" becomes ["f", "i", "lh", "a"] when tokenised correctly.

(The name PWord is from ‘phonological word’, these being what sound changes typically manipulate. The name was chosen to avoid a clash with Word from base.)

addBoundaries :: PWord -> PWord

Add word boundaries ("#") at the beginning and end of a PWord.

removeBoundaries :: PWord -> PWord

Remove word boundaries ("#") from the beginning and end of a PWord.

concatWithBoundary :: PWord -> String

Render a PWord as a String: does removeBoundaries then concat.

Lexemes

data Lexeme category (a :: LexemeType) where

Each part of a sound change is made up of a sequence of Lexemes. Each Lexeme denotes part of an input or output word.

The first type variable category is the type used to represent categories within the sound change. This will usually be CategorySpec after parsing, or Expanded after expansion.

The second type variable is phantom and represents the part of the rule in which the lexeme is placed. Various lexemes are restricted to Matched or Replacement positions respectively.

For details on the syntax and semantics of each kind of lexeme, refer to the reference guide.

Constructors

Grapheme :: Grapheme -> Lexeme category a

Category :: category a -> Lexeme category a

GreedyCategory :: category 'Matched -> Lexeme category 'Matched

Written %category, matching-only

Optional :: [Lexeme category a] -> Lexeme category a

Written (lexemes)

GreedyOptional :: [Lexeme category 'Matched] -> Lexeme category 'Matched

Written %(lexemes), matching-only

Metathesis :: Lexeme category 'Replacement

Written \, replacement-only

Geminate :: Lexeme category a

Written >

Wildcard :: Lexeme category a -> Lexeme category a

Written ^lexeme

Kleene :: Lexeme category a -> Lexeme category a

Written lexeme*

Discard :: Lexeme category 'Replacement

Written ~, replacement-only

Backreference :: Either String Int -> category a -> Lexeme category a

Written @n category or @#id category

Multiple :: category 'Replacement -> Lexeme category 'Replacement

Written @? category

Feature

Written lexeme$Name or variations (see reference guide)

Fields

• :: Bool

  True iff the feature is negated

• -> String

  Feature name

• -> Maybe String

  Identifier if backreferenced, else Nothing

• -> [[Grapheme]]

  List of correspondence sets

• -> Lexeme category a
• -> Lexeme category a

Autosegment

Not directly available in Brassica syntax, inserted in expansion

Fields

• :: Grapheme

  Feature name

• -> [[(Grapheme, Bool)]]

  List of correspondence sets, with exclusion states

• -> [Grapheme]

  Graphemes to be matched by this Autosegment

• -> Lexeme category a

Instances

(forall (x :: LexemeType). Show (c x)) => Show (Lexeme c a)

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Lexeme c a -> ShowS

show :: Lexeme c a -> String

showList :: [Lexeme c a] -> ShowS

(forall (x :: LexemeType). NFData (c x)) => NFData (Lexeme c a)

Defined in Brassica.SoundChange.Types

Methods

rnf :: Lexeme c a -> ()

(forall (x :: LexemeType). Eq (c x)) => Eq (Lexeme c a)

Defined in Brassica.SoundChange.Types

Methods

(==) :: Lexeme c a -> Lexeme c a -> Bool

(/=) :: Lexeme c a -> Lexeme c a -> Bool

(forall (x :: LexemeType). Ord (c x)) => Ord (Lexeme c a)

Defined in Brassica.SoundChange.Types

Methods

compare :: Lexeme c a -> Lexeme c a -> Ordering

(<) :: Lexeme c a -> Lexeme c a -> Bool

(<=) :: Lexeme c a -> Lexeme c a -> Bool

(>) :: Lexeme c a -> Lexeme c a -> Bool

(>=) :: Lexeme c a -> Lexeme c a -> Bool

max :: Lexeme c a -> Lexeme c a -> Lexeme c a

min :: Lexeme c a -> Lexeme c a -> Lexeme c a

data LexemeType

The part of a Rule in which a Lexeme may occur.

Constructors

Matched

In the target, environment or exception (‘matching’ position)

Replacement

In the replacement only

AnyPart

Not restricted to any one part

generalise :: (c 'AnyPart -> c a) -> Lexeme c 'AnyPart -> Lexeme c a

Generalise a Lexeme c 'AnyPart so it can be used in any specific part of a sound change, given a way to similarly generalise any categories it contains.

Categories

mapCategory :: (forall x. c x -> c' x) -> Lexeme c a -> Lexeme c' a

Map a function over any categories in the given Lexeme.

mapCategoryA :: Applicative t => (forall x. c x -> t (c' x)) -> Lexeme c a -> t (Lexeme c' a)

Like mapCategory, with an Applicative effect.

type CategoryElement category a = [Lexeme category a]

A single element of a category: a sequence of Lexemes. (Single Graphemes receive some special treatment, e.g. they can be written without surrounding braces in Brassica syntax.)

data CategorySpec a

The specification of a category in Brassica sound-change syntax. Usually this will be as a CategorySpec: a list of CategoryElements, each of which modifies the previous definition using the given CategoryModification method.

In some positions (e.g. after a Backreference) a category must be provided, but that category can be predefined, to be inlined during expansion. In such positions, the given category name is stored as a MustInline category. (In other positions predefined categories are indistinguishable from normal Graphemes, and represented as such.)

Constructors

CategorySpec [(CategoryModification, CategoryElement CategorySpec a)]

MustInline String

A single grapheme assumed to have been specified earlier as a category

Instances

Generic (CategorySpec a)

Defined in Brassica.SoundChange.Types

Associated Types

type Rep (CategorySpec a) :: Type -> Type

Methods

from :: CategorySpec a -> Rep (CategorySpec a) x

to :: Rep (CategorySpec a) x -> CategorySpec a

Show (CategorySpec a)

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> CategorySpec a -> ShowS

show :: CategorySpec a -> String

showList :: [CategorySpec a] -> ShowS

NFData (CategorySpec a)

Defined in Brassica.SoundChange.Types

Methods

rnf :: CategorySpec a -> ()

Eq (CategorySpec a)

Defined in Brassica.SoundChange.Types

Methods

(==) :: CategorySpec a -> CategorySpec a -> Bool

(/=) :: CategorySpec a -> CategorySpec a -> Bool

Ord (CategorySpec a)

Defined in Brassica.SoundChange.Types

Methods

compare :: CategorySpec a -> CategorySpec a -> Ordering

(<) :: CategorySpec a -> CategorySpec a -> Bool

(<=) :: CategorySpec a -> CategorySpec a -> Bool

(>) :: CategorySpec a -> CategorySpec a -> Bool

(>=) :: CategorySpec a -> CategorySpec a -> Bool

max :: CategorySpec a -> CategorySpec a -> CategorySpec a

min :: CategorySpec a -> CategorySpec a -> CategorySpec a

type Rep (CategorySpec a)

Defined in Brassica.SoundChange.Types

type Rep (CategorySpec a) = D1 ('MetaData "CategorySpec" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "CategorySpec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(CategoryModification, CategoryElement CategorySpec a)])) :+: C1 ('MetaCons "MustInline" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data CategoryModification

The individual operations used to construct a category in Brassica sound-change syntax.

Constructors

Union

Written [Category1 &Category2] or [Category1 Category2]

Intersect

Written [Category1 +Category2]

Subtract

Written [Category1 -Category2]

Instances

Generic CategoryModification

Defined in Brassica.SoundChange.Types

Associated Types

type Rep CategoryModification :: Type -> Type

Methods

from :: CategoryModification -> Rep CategoryModification x

to :: Rep CategoryModification x -> CategoryModification

Show CategoryModification

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> CategoryModification -> ShowS

show :: CategoryModification -> String

showList :: [CategoryModification] -> ShowS

NFData CategoryModification

Defined in Brassica.SoundChange.Types

Methods

rnf :: CategoryModification -> ()

Eq CategoryModification

Defined in Brassica.SoundChange.Types

Methods

(==) :: CategoryModification -> CategoryModification -> Bool

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

Ord CategoryModification

Defined in Brassica.SoundChange.Types

Methods

compare :: CategoryModification -> CategoryModification -> Ordering

(<) :: CategoryModification -> CategoryModification -> Bool

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

(>) :: CategoryModification -> CategoryModification -> Bool

(>=) :: CategoryModification -> CategoryModification -> Bool

max :: CategoryModification -> CategoryModification -> CategoryModification

min :: CategoryModification -> CategoryModification -> CategoryModification

type Rep CategoryModification

Defined in Brassica.SoundChange.Types

type Rep CategoryModification = D1 ('MetaData "CategoryModification" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "Union" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Intersect" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Subtract" 'PrefixI 'False) (U1 :: Type -> Type)))

newtype Expanded a

The type of a category after expansion: a simple list of CategoryElements.

Constructors

FromElements

Fields

• elements :: [CategoryElement Expanded a]

Instances

Monoid (Expanded a)

Defined in Brassica.SoundChange.Types

Methods

mempty :: Expanded a

mappend :: Expanded a -> Expanded a -> Expanded a

mconcat :: [Expanded a] -> Expanded a

Semigroup (Expanded a)

Defined in Brassica.SoundChange.Types

Methods

(<>) :: Expanded a -> Expanded a -> Expanded a

sconcat :: NonEmpty (Expanded a) -> Expanded a

stimes :: Integral b => b -> Expanded a -> Expanded a

Generic (Expanded a)

Defined in Brassica.SoundChange.Types

Associated Types

type Rep (Expanded a) :: Type -> Type

Methods

from :: Expanded a -> Rep (Expanded a) x

to :: Rep (Expanded a) x -> Expanded a

Show (Expanded a)

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Expanded a -> ShowS

show :: Expanded a -> String

showList :: [Expanded a] -> ShowS

NFData (Expanded a)

Defined in Brassica.SoundChange.Types

Methods

rnf :: Expanded a -> ()

Eq (Expanded a)

Defined in Brassica.SoundChange.Types

Methods

(==) :: Expanded a -> Expanded a -> Bool

(/=) :: Expanded a -> Expanded a -> Bool

Ord (Expanded a)

Defined in Brassica.SoundChange.Types

Methods

compare :: Expanded a -> Expanded a -> Ordering

(<) :: Expanded a -> Expanded a -> Bool

(<=) :: Expanded a -> Expanded a -> Bool

(>) :: Expanded a -> Expanded a -> Bool

(>=) :: Expanded a -> Expanded a -> Bool

max :: Expanded a -> Expanded a -> Expanded a

min :: Expanded a -> Expanded a -> Expanded a

type Rep (Expanded a)

Defined in Brassica.SoundChange.Types

type Rep (Expanded a) = D1 ('MetaData "Expanded" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'True) (C1 ('MetaCons "FromElements" 'PrefixI 'True) (S1 ('MetaSel ('Just "elements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CategoryElement Expanded a])))

generaliseExpanded :: Expanded 'AnyPart -> Expanded a

Generalise an Expanded category to be used in any part of a sound change, similarly to generalise.

Rules

data Rule c

A single sound change rule.

In Brassica sound-change syntax with all elements specified, this would be -flags target / replacement / environment1 / environment2 / … / exception.

Constructors

Rule

Fields

• target :: [Lexeme c 'Matched]
• replacement :: [Lexeme c 'Replacement]
• environment :: [Environment c]
• exception :: Maybe (Environment c)
• flags :: Flags
• plaintext :: String

  Rule text before parsing (displayed e.g. for debugging purposes)

Instances

Generic (Rule c)

Defined in Brassica.SoundChange.Types

Associated Types

type Rep (Rule c) :: Type -> Type

Methods

from :: Rule c -> Rep (Rule c) x

to :: Rep (Rule c) x -> Rule c

(forall (a :: LexemeType). Show (c a)) => Show (Rule c)

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Rule c -> ShowS

show :: Rule c -> String

showList :: [Rule c] -> ShowS

(forall (a :: LexemeType). NFData (c a)) => NFData (Rule c)

Defined in Brassica.SoundChange.Types

Methods

rnf :: Rule c -> ()

type Rep (Rule c)

Defined in Brassica.SoundChange.Types

type Rep (Rule c) = D1 ('MetaData "Rule" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "Rule" 'PrefixI 'True) ((S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Lexeme c 'Matched]) :*: (S1 ('MetaSel ('Just "replacement") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Lexeme c 'Replacement]) :*: S1 ('MetaSel ('Just "environment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Environment c]))) :*: (S1 ('MetaSel ('Just "exception") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Environment c))) :*: (S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Flags) :*: S1 ('MetaSel ('Just "plaintext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

type Environment c = ([Lexeme c 'Matched], [Lexeme c 'Matched])

An Environment is a tuple of (before, after) components, corresponding to an environment or exception in a sound change: before _ after.

(An empty environment is just ([], []).)

data Direction

Specifies application direction of rule: either left-to-right or right-to-left.

Constructors

LTR

RTL

Instances

Generic Direction

Defined in Brassica.SoundChange.Types

Associated Types

type Rep Direction :: Type -> Type

Methods

from :: Direction -> Rep Direction x

to :: Rep Direction x -> Direction

Show Direction

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS

NFData Direction

Defined in Brassica.SoundChange.Types

Methods

rnf :: Direction -> ()

Eq Direction

Defined in Brassica.SoundChange.Types

Methods

(==) :: Direction -> Direction -> Bool

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

type Rep Direction

Defined in Brassica.SoundChange.Types

type Rep Direction = D1 ('MetaData "Direction" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "LTR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RTL" 'PrefixI 'False) (U1 :: Type -> Type))

data Sporadicity

Specifies how regularly a rule should be applied. A sporadic rule will produce two or more results, preserving the input as one of the outputs.

Constructors

ApplyAlways

Always apply the rule

PerWord

Apply sporadically, either to the whole word or to none of the word

PerApplication

Apply sporadically, at each application site

Instances

Generic Sporadicity

Defined in Brassica.SoundChange.Types

Associated Types

type Rep Sporadicity :: Type -> Type

Methods

from :: Sporadicity -> Rep Sporadicity x

to :: Rep Sporadicity x -> Sporadicity

Show Sporadicity

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Sporadicity -> ShowS

show :: Sporadicity -> String

showList :: [Sporadicity] -> ShowS

NFData Sporadicity

Defined in Brassica.SoundChange.Types

Methods

rnf :: Sporadicity -> ()

Eq Sporadicity

Defined in Brassica.SoundChange.Types

Methods

(==) :: Sporadicity -> Sporadicity -> Bool

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

type Rep Sporadicity

Defined in Brassica.SoundChange.Types

type Rep Sporadicity = D1 ('MetaData "Sporadicity" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "ApplyAlways" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PerWord" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PerApplication" 'PrefixI 'False) (U1 :: Type -> Type)))

data Flags

Flags which can be enabled, disabled or altered on a Rule to change how it is applied.

Constructors

Flags

Fields

• highlightChanges :: Bool

  Whether results from this sound change can be highlighted in a GUI

• applyDirection :: Direction

  Direction in which to apply the rule

• applyOnceOnly :: Bool

  Whether to apply the rule only once to a word

• sporadic :: Sporadicity

  Whether the rule should be applied sporadically, and if so, how

• nonOverlappingTarget :: Bool

  Whether the rule should apply non-iteratively (avoiding environments which overlap with targets)

Instances

Generic Flags

Defined in Brassica.SoundChange.Types

Associated Types

type Rep Flags :: Type -> Type

Methods

from :: Flags -> Rep Flags x

to :: Rep Flags x -> Flags

Show Flags

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Flags -> ShowS

show :: Flags -> String

showList :: [Flags] -> ShowS

NFData Flags

Defined in Brassica.SoundChange.Types

Methods

rnf :: Flags -> ()

type Rep Flags

Defined in Brassica.SoundChange.Types

type Rep Flags = D1 ('MetaData "Flags" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "Flags" 'PrefixI 'True) ((S1 ('MetaSel ('Just "highlightChanges") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "applyDirection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Direction)) :*: (S1 ('MetaSel ('Just "applyOnceOnly") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "sporadic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sporadicity) :*: S1 ('MetaSel ('Just "nonOverlappingTarget") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

defFlags :: Flags

A default selection of flags which are appropriate for most rules:

defFlags = Flags
    { highlightChanges = True
    , applyDirection = LTR
    , applyOnceOnly = False
    , sporadic = False
    , nonOverlappingTarget = False
    }

That is: apply repeatedly and iteratively from left to right, non-sporadically, with the results available for highlighting.

Statements

data Filter c

A filter, constraining the output to not match the given elements. (The String is the plaintext, as with Rule.)

Constructors

Filter String [Lexeme c 'Matched]

Instances

Generic (Filter c)

Defined in Brassica.SoundChange.Types

Associated Types

type Rep (Filter c) :: Type -> Type

Methods

from :: Filter c -> Rep (Filter c) x

to :: Rep (Filter c) x -> Filter c

(forall (a :: LexemeType). Show (c a)) => Show (Filter c)

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Filter c -> ShowS

show :: Filter c -> String

showList :: [Filter c] -> ShowS

(forall (a :: LexemeType). NFData (c a)) => NFData (Filter c)

Defined in Brassica.SoundChange.Types

Methods

rnf :: Filter c -> ()

type Rep (Filter c)

Defined in Brassica.SoundChange.Types

type Rep (Filter c) = D1 ('MetaData "Filter" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "Filter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Lexeme c 'Matched])))

data Statement c decl

A Statement within a sound change file can be a single sound change rule, a filter, an instruction to report intermediate results, or some other declaration.

The declaration type depends on the current sound change phase. Usually it will be Directive after parsing, or GraphemeList after expansion.

Constructors

RuleS (Rule c)

Sound change rule

FilterS (Filter c)

Filter

ReportS

Report intermediate result

DeclS decl

Declaration (phase-dependent)

Instances

Generic (Statement c decl)

Defined in Brassica.SoundChange.Types

Associated Types

type Rep (Statement c decl) :: Type -> Type

Methods

from :: Statement c decl -> Rep (Statement c decl) x

to :: Rep (Statement c decl) x -> Statement c decl

(forall (a :: LexemeType). Show (c a), Show decl) => Show (Statement c decl)

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Statement c decl -> ShowS

show :: Statement c decl -> String

showList :: [Statement c decl] -> ShowS

(forall (a :: LexemeType). NFData (c a), NFData decl) => NFData (Statement c decl)

Defined in Brassica.SoundChange.Types

Methods

rnf :: Statement c decl -> ()

type Rep (Statement c decl)

Defined in Brassica.SoundChange.Types

type Rep (Statement c decl) = D1 ('MetaData "Statement" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) ((C1 ('MetaCons "RuleS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Rule c))) :+: C1 ('MetaCons "FilterS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Filter c)))) :+: (C1 ('MetaCons "ReportS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeclS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 decl))))

plaintext' :: Statement c decl -> String

A simple wrapper around plaintext for Statements. Returns "<declaration>" for all DeclS inputs.

type SoundChanges c decl = [Statement c decl]

A set of SoundChanges is simply a list of Statements.

Directives

data Directive

A directive used in Brassica sound-change syntax: anything which occurs in a sound change file with the primary purpose of defining something for later use.

Constructors

Categories

Category definition block

Fields

• Bool

  Whether category was introduced with new

• Bool

  Whether category was introduced with noreplace

• [CategoryDefinition]

ExtraGraphemes [String]

Extra graphemes declaration: extra …

Instances

Generic Directive

Defined in Brassica.SoundChange.Types

Associated Types

type Rep Directive :: Type -> Type

Methods

from :: Directive -> Rep Directive x

to :: Rep Directive x -> Directive

Show Directive

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Directive -> ShowS

show :: Directive -> String

showList :: [Directive] -> ShowS

NFData Directive

Defined in Brassica.SoundChange.Types

Methods

rnf :: Directive -> ()

Eq Directive

Defined in Brassica.SoundChange.Types

Methods

(==) :: Directive -> Directive -> Bool

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

Ord Directive

Defined in Brassica.SoundChange.Types

Methods

compare :: Directive -> Directive -> Ordering

(<) :: Directive -> Directive -> Bool

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

(>) :: Directive -> Directive -> Bool

(>=) :: Directive -> Directive -> Bool

max :: Directive -> Directive -> Directive

min :: Directive -> Directive -> Directive

type Rep Directive

Defined in Brassica.SoundChange.Types

type Rep Directive = D1 ('MetaData "Directive" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "Categories" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CategoryDefinition]))) :+: C1 ('MetaCons "ExtraGraphemes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])))

data CategoryDefinition

A single definition within a category definition block.

Constructors

DefineCategory String (CategorySpec 'AnyPart)

Defines a category with the given name and value

DefineFeature FeatureSpec

Defines a feature as a set of categories

DefineAuto String

Defines a category as autosegmental

Instances

Generic CategoryDefinition

Defined in Brassica.SoundChange.Types

Associated Types

type Rep CategoryDefinition :: Type -> Type

Methods

from :: CategoryDefinition -> Rep CategoryDefinition x

to :: Rep CategoryDefinition x -> CategoryDefinition

Show CategoryDefinition

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> CategoryDefinition -> ShowS

show :: CategoryDefinition -> String

showList :: [CategoryDefinition] -> ShowS

NFData CategoryDefinition

Defined in Brassica.SoundChange.Types

Methods

rnf :: CategoryDefinition -> ()

Eq CategoryDefinition

Defined in Brassica.SoundChange.Types

Methods

(==) :: CategoryDefinition -> CategoryDefinition -> Bool

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

Ord CategoryDefinition

Defined in Brassica.SoundChange.Types

Methods

compare :: CategoryDefinition -> CategoryDefinition -> Ordering

(<) :: CategoryDefinition -> CategoryDefinition -> Bool

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

(>) :: CategoryDefinition -> CategoryDefinition -> Bool

(>=) :: CategoryDefinition -> CategoryDefinition -> Bool

max :: CategoryDefinition -> CategoryDefinition -> CategoryDefinition

min :: CategoryDefinition -> CategoryDefinition -> CategoryDefinition

type Rep CategoryDefinition

Defined in Brassica.SoundChange.Types

type Rep CategoryDefinition = D1 ('MetaData "CategoryDefinition" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "DefineCategory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CategorySpec 'AnyPart))) :+: (C1 ('MetaCons "DefineFeature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FeatureSpec)) :+: C1 ('MetaCons "DefineAuto" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

data FeatureSpec

The specification of a suprasegmental feature in Brassica sound-change syntax.

Deprecated since 1.0.0.

Constructors

FeatureSpec

Fields

• featureBaseName :: Maybe String
• featureBaseValues :: CategorySpec 'AnyPart
• featureDerived :: [(String, CategorySpec 'AnyPart)]

Instances

Generic FeatureSpec

Defined in Brassica.SoundChange.Types

Associated Types

type Rep FeatureSpec :: Type -> Type

Methods

from :: FeatureSpec -> Rep FeatureSpec x

to :: Rep FeatureSpec x -> FeatureSpec

Show FeatureSpec

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> FeatureSpec -> ShowS

show :: FeatureSpec -> String

showList :: [FeatureSpec] -> ShowS

NFData FeatureSpec

Defined in Brassica.SoundChange.Types

Methods

rnf :: FeatureSpec -> ()

Eq FeatureSpec

Defined in Brassica.SoundChange.Types

Methods

(==) :: FeatureSpec -> FeatureSpec -> Bool

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

Ord FeatureSpec

Defined in Brassica.SoundChange.Types

Methods

compare :: FeatureSpec -> FeatureSpec -> Ordering

(<) :: FeatureSpec -> FeatureSpec -> Bool

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

(>) :: FeatureSpec -> FeatureSpec -> Bool

(>=) :: FeatureSpec -> FeatureSpec -> Bool

max :: FeatureSpec -> FeatureSpec -> FeatureSpec

min :: FeatureSpec -> FeatureSpec -> FeatureSpec

type Rep FeatureSpec

Defined in Brassica.SoundChange.Types

type Rep FeatureSpec = D1 ('MetaData "FeatureSpec" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "FeatureSpec" 'PrefixI 'True) (S1 ('MetaSel ('Just "featureBaseName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: (S1 ('MetaSel ('Just "featureBaseValues") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CategorySpec 'AnyPart)) :*: S1 ('MetaSel ('Just "featureDerived") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(String, CategorySpec 'AnyPart)]))))

data GraphemeList

A list of graphemes, replacing Categories in expanded sound changes. These are used in tokenisation to determine which multigraphs are used, and in rule application to filter unwanted graphemes. The first Bool indicates whether filtration should occur for any particular categories block.

Constructors

GraphemeList Bool [Grapheme]

Instances

Generic GraphemeList

Defined in Brassica.SoundChange.Types

Associated Types

type Rep GraphemeList :: Type -> Type

Methods

from :: GraphemeList -> Rep GraphemeList x

to :: Rep GraphemeList x -> GraphemeList

Show GraphemeList

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> GraphemeList -> ShowS

show :: GraphemeList -> String

showList :: [GraphemeList] -> ShowS

NFData GraphemeList

Defined in Brassica.SoundChange.Types

Methods

rnf :: GraphemeList -> ()

Eq GraphemeList

Defined in Brassica.SoundChange.Types

Methods

(==) :: GraphemeList -> GraphemeList -> Bool

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

Ord GraphemeList

Defined in Brassica.SoundChange.Types

Methods

compare :: GraphemeList -> GraphemeList -> Ordering

(<) :: GraphemeList -> GraphemeList -> Bool

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

(>) :: GraphemeList -> GraphemeList -> Bool

(>=) :: GraphemeList -> GraphemeList -> Bool

max :: GraphemeList -> GraphemeList -> GraphemeList

min :: GraphemeList -> GraphemeList -> GraphemeList

type Rep GraphemeList

Defined in Brassica.SoundChange.Types

type Rep GraphemeList = D1 ('MetaData "GraphemeList" "Brassica.SoundChange.Types" "brassica-1.0.0-23v7eBGV3gz5i0Q0Z9IDsG" 'False) (C1 ('MetaCons "GraphemeList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Grapheme])))