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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" '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 :: OneOf a 'Target 'Env => Lexeme category a -> Lexeme category a

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

Kleene :: OneOf a 'Target 'Env => 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: either the target, the replacement or the environment, or in any of those.

Constructors

Target

Replacement

Env

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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" '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 'Target]
• 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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" 'False) (C1 ('MetaCons "Rule" 'PrefixI 'True) ((S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Lexeme c 'Target]) :*: (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 'Env], [Lexeme c '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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" '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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" '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.

Statements

data Statement c decl

A Statement can be either a single sound change rule, or a directive (e.g. category definition).

Constructors

RuleS (Rule 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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" 'False) (C1 ('MetaCons "RuleS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Rule 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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" '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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" '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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" '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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" '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: currently only categories … end or new categories … end

Constructors

Categories Bool [CategoryDefinition]

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.2.0-6DYGqWgsRcQ5pGt1m6P3TU" '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 [CategoryDefinition])))

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