Brassica.SoundChange.Types

Words and graphemes

type Grapheme = [Char]

The type of graphemes, or more accurately multigraphs: for instance, "a", "ch", "c̓" :: Grapheme.

type PWord = [Grapheme]

A word (or a subsequence of one) can be viewed as a list of Graphemes: e.g. Portuguese "filha" becomes ["f", "i", "lh", "a"] :: PWord.

(The name PWord is from ‘phonological word’, these being what a SCA typically manipulates; this name was chosen to avoid a clash with Prelude.Word.)

Lexemes

data Lexeme (a :: LexemeType) where

A Lexeme is the smallest part of a sound change. Both matches and replacements are made up of Lexemes: the phantom type variable specifies where each different variety of Lexeme may occur.

Constructors

Grapheme :: Grapheme -> Lexeme a

In Brassica sound-change syntax, one or more letters without intervening whitespace

Category :: [CategoryElement a] -> Lexeme a

In Brassica sound-change syntax, delimited by square brackets

Boundary :: Lexeme 'Env

In Brassica sound-change syntax, specified as #

Optional :: [Lexeme a] -> Lexeme a

In Brassica sound-change syntax, delimited by parentheses

Metathesis :: Lexeme 'Replacement

In Brassica sound-change syntax, specified as @@

Geminate :: Lexeme a

In Brassica sound-change syntax, specified as >

Wildcard :: OneOf a 'Target 'Env => Lexeme a -> Lexeme a

In Brassica sound-change syntax, specified as ^ before another Lexeme

Kleene :: OneOf a 'Target 'Env => Lexeme a -> Lexeme a

In Brassica sound-change syntax, specified as * after another Lexeme

Discard :: Lexeme 'Replacement

In Brassica sound-change syntax, specified as ~

Instances

Show (Lexeme a)

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Lexeme a -> ShowS

show :: Lexeme a -> String

showList :: [Lexeme a] -> ShowS

NFData (Lexeme a)

Defined in Brassica.SoundChange.Types

Methods

rnf :: Lexeme a -> ()

data CategoryElement (a :: LexemeType) where

The elements allowed in a Category: currently, only Graphemes and word boundaries.

Constructors

GraphemeEl :: Grapheme -> CategoryElement a

BoundaryEl :: CategoryElement 'Env

Instances

Show (CategoryElement a)

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> CategoryElement a -> ShowS

show :: CategoryElement a -> String

showList :: [CategoryElement a] -> ShowS

NFData (CategoryElement a)

Defined in Brassica.SoundChange.Types

Methods

rnf :: CategoryElement a -> ()

Eq (CategoryElement a)

Defined in Brassica.SoundChange.Types

Methods

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

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

Ord (CategoryElement a)

Defined in Brassica.SoundChange.Types

Methods

compare :: CategoryElement a -> CategoryElement a -> Ordering

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

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

(>) :: CategoryElement a -> CategoryElement a -> Bool

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

max :: CategoryElement a -> CategoryElement a -> CategoryElement a

min :: CategoryElement a -> CategoryElement a -> CategoryElement a

data LexemeType

The part of a Rule in which a Lexeme may occur: either the target, the replacement or the environment.

Constructors

Target

Replacement

Env

Rules

data Rule

A single sound change rule: in Brassica sound-change syntax with all elements specified, -flags target / replacement / environment / exception. (And usually the plaintext of the rule will contain a String resembling that pattern.)

Constructors

Rule

Fields

• target :: [Lexeme 'Target]
• replacement :: [Lexeme 'Replacement]
• environment :: Environment
• exception :: Maybe Environment
• flags :: Flags
• plaintext :: String

Instances

Generic Rule

Defined in Brassica.SoundChange.Types

Associated Types

type Rep Rule :: Type -> Type

Methods

from :: Rule -> Rep Rule x

to :: Rep Rule x -> Rule

Show Rule

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

NFData Rule

Defined in Brassica.SoundChange.Types

Methods

rnf :: Rule -> ()

type Rep Rule

Defined in Brassica.SoundChange.Types

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

type Environment = ([Lexeme 'Env], [Lexeme 'Env])

An Environment is a tuple of (before, after) components, corresponding to a ‘/ before _ after’ component of a sound change.

Note that 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-0.0.3-KZvvTDsX9bO8hsF2GF232f" 'False) (C1 ('MetaCons "LTR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RTL" '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
• applyDirection :: Direction
• applyOnceOnly :: Bool
• sporadic :: Bool

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-0.0.3-KZvvTDsX9bO8hsF2GF232f" '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 Bool))))

defFlags :: Flags

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

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

That is: highlight changes, apply from left to right, apply repeatedly, and don’t apply sporadically.

Categories and statements

newtype CategoriesDecl

Corresponds to a category declaration in a set of sound changes. Category declarations are mostly desugared away by the parser, but for rule application we still need to be able to filter out all unknown Graphemes; thus, a CategoriesDecl lists the Graphemes which are available at a given point.

Constructors

CategoriesDecl

Fields

• graphemes :: [Grapheme]

Instances

Generic CategoriesDecl

Defined in Brassica.SoundChange.Types

Associated Types

type Rep CategoriesDecl :: Type -> Type

Methods

from :: CategoriesDecl -> Rep CategoriesDecl x

to :: Rep CategoriesDecl x -> CategoriesDecl

Show CategoriesDecl

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> CategoriesDecl -> ShowS

show :: CategoriesDecl -> String

showList :: [CategoriesDecl] -> ShowS

NFData CategoriesDecl

Defined in Brassica.SoundChange.Types

Methods

rnf :: CategoriesDecl -> ()

type Rep CategoriesDecl

Defined in Brassica.SoundChange.Types

type Rep CategoriesDecl = D1 ('MetaData "CategoriesDecl" "Brassica.SoundChange.Types" "brassica-0.0.3-KZvvTDsX9bO8hsF2GF232f" 'True) (C1 ('MetaCons "CategoriesDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "graphemes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Grapheme])))

data Statement

A Statement can be either a single sound change rule, or a category declaration.

Constructors

RuleS Rule

CategoriesDeclS CategoriesDecl

Instances

Generic Statement

Defined in Brassica.SoundChange.Types

Associated Types

type Rep Statement :: Type -> Type

Methods

from :: Statement -> Rep Statement x

to :: Rep Statement x -> Statement

Show Statement

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

NFData Statement

Defined in Brassica.SoundChange.Types

Methods

rnf :: Statement -> ()

type Rep Statement

Defined in Brassica.SoundChange.Types

type Rep Statement = D1 ('MetaData "Statement" "Brassica.SoundChange.Types" "brassica-0.0.3-KZvvTDsX9bO8hsF2GF232f" 'False) (C1 ('MetaCons "RuleS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rule)) :+: C1 ('MetaCons "CategoriesDeclS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CategoriesDecl)))

plaintext' :: Statement -> String

A simple wrapper around plaintext for Statements. Returns "categories … end" for all CategoriesDecl inputs.

type SoundChanges = [Statement]

A set of SoundChanges is simply a list of Statements.

Utility

type family OneOf a x y :: Constraint where ...

The constraint OneOf a x y is satisfied if a ~ x or a ~ y.

(Note: the strange () ~ Bool constraint is just a simple unsatisfiable constraint, so as to not give ‘non-exhaustive pattern match’ errors everywhere.)

Equations

OneOf a a y = ()

OneOf a x a = ()

OneOf a b c = (() ~ Bool, TypeError ((((('Text "Couldn't match type " :<>: 'ShowType a) :<>: 'Text " with ") :<>: 'ShowType b) :<>: 'Text " or ") :<>: 'ShowType c))