Brassica.SoundChange.Types

Words and graphemes

data Grapheme

The type of graphemes within a word.

Constructors

GMulti [Char]

A multigraph: for instance GMulti "a", GMulti "ch", GMulti "c̓" :: Grapheme.

GBoundary

A non-letter element representing a word boundary which sound changes can manipulate

Instances

IsString Grapheme

Defined in Brassica.SoundChange.Types

Methods

fromString :: String -> Grapheme

Generic Grapheme

Defined in Brassica.SoundChange.Types

Associated Types

type Rep Grapheme :: Type -> Type

Methods

from :: Grapheme -> Rep Grapheme x

to :: Rep Grapheme x -> Grapheme

Show Grapheme

Defined in Brassica.SoundChange.Types

Methods

showsPrec :: Int -> Grapheme -> ShowS

show :: Grapheme -> String

showList :: [Grapheme] -> ShowS

NFData Grapheme

Defined in Brassica.SoundChange.Types

Methods

rnf :: Grapheme -> ()

Eq Grapheme

Defined in Brassica.SoundChange.Types

Methods

(==) :: Grapheme -> Grapheme -> Bool

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

Ord Grapheme

Defined in Brassica.SoundChange.Types

Methods

compare :: Grapheme -> Grapheme -> Ordering

(<) :: Grapheme -> Grapheme -> Bool

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

(>) :: Grapheme -> Grapheme -> Bool

(>=) :: Grapheme -> Grapheme -> Bool

max :: Grapheme -> Grapheme -> Grapheme

min :: Grapheme -> Grapheme -> Grapheme

type Rep Grapheme

Defined in Brassica.SoundChange.Types

type Rep Grapheme = D1 ('MetaData "Grapheme" "Brassica.SoundChange.Types" "brassica-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" 'False) (C1 ('MetaCons "GMulti" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Char])) :+: C1 ('MetaCons "GBoundary" 'PrefixI 'False) (U1 :: Type -> Type))

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.)

addBoundaries :: PWord -> PWord

removeBoundaries :: PWord -> PWord

concatWithBoundary :: PWord -> String

Render a PWord as a String. Very much like concat, but treating GBoundarys specially. Word-external boundaries are deleted, while word-internal boundaries are converted to "#".

Lexemes

data Lexeme category (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 a specifies where each different variety of Lexeme may occur. Lexemes are also parameterised by their category type, which may be Expanded or something else.

Constructors

Grapheme :: Grapheme -> Lexeme category a

In Brassica sound-change syntax, one or more letters without intervening whitespace, or a word boundary specified as #

Category :: category a -> Lexeme category a

In Brassica sound-change syntax, delimited by square brackets

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

In Brassica sound-change syntax, delimited by parentheses

Metathesis :: Lexeme category 'Replacement

In Brassica sound-change syntax, specified as @@

Geminate :: Lexeme category a

In Brassica sound-change syntax, specified as >

Wildcard :: Lexeme category a -> Lexeme category a

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

Kleene :: Lexeme category a -> Lexeme category a

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

Discard :: Lexeme category 'Replacement

In Brassica sound-change syntax, specified as ~

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

In Brassica sound-change syntax, specified as @i before a category

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

In Brassica sound-change syntax, specified as @? before a category

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

pattern Boundary :: Lexeme c a

A Lexeme matching a single word boundary, specified as # in Brassica syntax.

data LexemeType

The part of a Rule in which a Lexeme may occur: in a matched part (target or environment), in replacement, or in either of those.

Constructors

Matched

Replacement

AnyPart

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

Categories

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

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

newtype Expanded a

The type of a category after expansion.

Constructors

FromElements

Fields

• elements :: [Either Grapheme [Lexeme 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-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" 'True) (C1 ('MetaCons "FromElements" 'PrefixI 'True) (S1 ('MetaSel ('Just "elements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Either Grapheme [Lexeme Expanded a]])))

generaliseExpanded :: Expanded 'AnyPart -> Expanded a

Rules

data Rule c

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

Constructors

Rule

Fields

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

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-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" '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 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.3.0-LNHGd2ZODG75RcrVOMZ8jM" '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.

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-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" '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
• applyDirection :: Direction
• applyOnceOnly :: Bool
• sporadic :: Sporadicity

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.3.0-LNHGd2ZODG75RcrVOMZ8jM" '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))))

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.

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-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" '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 can be a single sound change rule, a filter, or a directive (e.g. category definition).

Constructors

RuleS (Rule c)

FilterS (Filter c)

DirectiveS decl

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-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" '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 "DirectiveS" '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 "directive" for all DirectiveS inputs.

type SoundChanges c decl = [Statement c decl]

A set of SoundChanges is simply a list of Statements.

Directives

data CategoryModification

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

Constructors

Union

Intersect

Subtract

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-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" '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)))

data CategorySpec a

The specification of a category in Brassica sound-change syntax.

Constructors

CategorySpec [(CategoryModification, Either Grapheme [Lexeme 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-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" 'False) (C1 ('MetaCons "CategorySpec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(CategoryModification, Either Grapheme [Lexeme CategorySpec a])])) :+: C1 ('MetaCons "MustInline" '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.

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-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" '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 CategoryDefinition

A definition of a new category, either directly or via features.

Constructors

DefineCategory String (CategorySpec 'AnyPart)

DefineFeature FeatureSpec

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-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" '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)))

data Directive

A directive used in Brassica sound-change syntax: anything which is not actually a sound change

Constructors

Categories Bool Bool [CategoryDefinition]

categories … end: first Bool for new, second for noreplace

ExtraGraphemes [String]

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-0.3.0-LNHGd2ZODG75RcrVOMZ8jM" '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])))