Safe Haskell	Safe-Inferred
Language	Haskell2010

Brassica.SoundChange.Types

Contents

Words and graphemes
Lexemes
Categories
Rules
Statements
Directives
Utility

Synopsis

data Grapheme
- = GMulti [Char]
- | GBoundary
type PWord = [Grapheme]
addBoundaries :: PWord -> PWord
removeBoundaries :: PWord -> PWord
concatWithBoundary :: PWord -> String
data Lexeme category (a :: LexemeType) where
- Grapheme :: Grapheme -> Lexeme category a
- Category :: category a -> Lexeme category a
- Optional :: [Lexeme category a] -> Lexeme category a
- Metathesis :: Lexeme category 'Replacement
- Geminate :: Lexeme category a
- Wildcard :: OneOf a 'Target 'Env => Lexeme category a -> Lexeme category a
- Kleene :: OneOf a 'Target 'Env => Lexeme category a -> Lexeme category a
- Discard :: Lexeme category 'Replacement
- Backreference :: Int -> category a -> Lexeme category a
- Multiple :: category 'Replacement -> Lexeme category 'Replacement
pattern Boundary :: Lexeme c a
data LexemeType
- = Target
- | Replacement
- | Env
- | AnyPart
generalise :: (c 'AnyPart -> c a) -> Lexeme c 'AnyPart -> Lexeme c a
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 = FromElements {
- elements :: [Either Grapheme [Lexeme Expanded a]]
}
generaliseExpanded :: Expanded 'AnyPart -> Expanded a
data Rule c = Rule {
- target :: [Lexeme c 'Target]
- replacement :: [Lexeme c 'Replacement]
- environment :: [Environment c]
- exception :: Maybe (Environment c)
- flags :: Flags
- plaintext :: String
}
type Environment c = ([Lexeme c 'Env], [Lexeme c 'Env])
data Direction
- = LTR
- | RTL
data Flags = Flags {
- highlightChanges :: Bool
- applyDirection :: Direction
- applyOnceOnly :: Bool
- sporadic :: Bool
}
defFlags :: Flags
data Statement c decl
- = RuleS (Rule c)
- | DirectiveS decl
plaintext' :: Statement c decl -> String
type SoundChanges c decl = [Statement c decl]
data CategoryModification
- = Union
- | Intersect
- | Subtract
data CategorySpec a
- = CategorySpec [(CategoryModification, Either Grapheme [Lexeme CategorySpec a])]
- | MustInline String
data FeatureSpec = FeatureSpec {
- featureBaseName :: Maybe String
- featureBaseValues :: CategorySpec 'AnyPart
- featureDerived :: [(String, CategorySpec 'AnyPart)]
}
data CategoryDefinition
- = DefineCategory String (CategorySpec 'AnyPart)
- | DefineFeature FeatureSpec
data Directive = Categories Bool [CategoryDefinition]
type family OneOf a x y :: Constraint where ...

Words and graphemes

data Grapheme Source #

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

Instances details

IsString Grapheme Source #
Instance details Defined in Brassica.SoundChange.Types Methods fromString :: String -> Grapheme #
Generic Grapheme Source #
Instance details 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 Source #
Instance details Defined in Brassica.SoundChange.Types Methods showsPrec :: Int -> Grapheme -> ShowS # show :: Grapheme -> String # showList :: [Grapheme] -> ShowS #
NFData Grapheme Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: Grapheme -> () #
Eq Grapheme Source #
Instance details Defined in Brassica.SoundChange.Types Methods (==) :: Grapheme -> Grapheme -> Bool # (/=) :: Grapheme -> Grapheme -> Bool #
Ord Grapheme Source #
Instance details 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 Source #
Instance details 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] Source #

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 Source #

removeBoundaries :: PWord -> PWord Source #

concatWithBoundary :: PWord -> String Source #

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 Source #

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

Instances details

(forall (x :: LexemeType). Show (c x)) => Show (Lexeme c a) Source #
Instance details 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) Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: Lexeme c a -> () #
(forall (x :: LexemeType). Eq (c x)) => Eq (Lexeme c a) Source #
Instance details 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) Source #
Instance details 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 Source #

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

data LexemeType Source #

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 Source #

Rules

data Rule c Source #

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

Instances details

Generic (Rule c) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: Rule c -> () #
type Rep (Rule c) Source #
Instance details 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]) Source #

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 Source #

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

Constructors

LTR
RTL

Instances

Instances details

Generic Direction Source #
Instance details 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 Source #
Instance details Defined in Brassica.SoundChange.Types Methods showsPrec :: Int -> Direction -> ShowS # show :: Direction -> String # showList :: [Direction] -> ShowS #
NFData Direction Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: Direction -> () #
Eq Direction Source #
Instance details Defined in Brassica.SoundChange.Types Methods (==) :: Direction -> Direction -> Bool # (/=) :: Direction -> Direction -> Bool #
type Rep Direction Source #
Instance details 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 Source #

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

Instances details

Generic Flags Source #
Instance details 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 Source #
Instance details Defined in Brassica.SoundChange.Types Methods showsPrec :: Int -> Flags -> ShowS # show :: Flags -> String # showList :: [Flags] -> ShowS #
NFData Flags Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: Flags -> () #
type Rep Flags Source #
Instance details 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 Source #

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 Source #

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

Constructors

RuleS (Rule c)
DirectiveS decl

Instances

Instances details

Generic (Statement c decl) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: Statement c decl -> () #
type Rep (Statement c decl) Source #
Instance details 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 Source #

A simple wrapper around plaintext for Statements. Returns "directive" for all DirectiveS inputs.

type SoundChanges c decl = [Statement c decl] Source #

A set of SoundChanges is simply a list of Statements.

Directives

data CategoryModification Source #

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

Constructors

Union
Intersect
Subtract

Instances

Instances details

Generic CategoryModification Source #
Instance details 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 Source #
Instance details Defined in Brassica.SoundChange.Types Methods showsPrec :: Int -> CategoryModification -> ShowS # show :: CategoryModification -> String # showList :: [CategoryModification] -> ShowS #
NFData CategoryModification Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: CategoryModification -> () #
Eq CategoryModification Source #
Instance details Defined in Brassica.SoundChange.Types Methods (==) :: CategoryModification -> CategoryModification -> Bool # (/=) :: CategoryModification -> CategoryModification -> Bool #
Ord CategoryModification Source #
Instance details 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 Source #
Instance details 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 Source #

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

Instances details

Generic (CategorySpec a) Source #
Instance details 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) Source #
Instance details Defined in Brassica.SoundChange.Types Methods showsPrec :: Int -> CategorySpec a -> ShowS # show :: CategorySpec a -> String # showList :: [CategorySpec a] -> ShowS #
NFData (CategorySpec a) Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: CategorySpec a -> () #
Eq (CategorySpec a) Source #
Instance details Defined in Brassica.SoundChange.Types Methods (==) :: CategorySpec a -> CategorySpec a -> Bool # (/=) :: CategorySpec a -> CategorySpec a -> Bool #
Ord (CategorySpec a) Source #
Instance details 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) Source #
Instance details 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 Source #

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

Instances details

Generic FeatureSpec Source #
Instance details 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 Source #
Instance details Defined in Brassica.SoundChange.Types Methods showsPrec :: Int -> FeatureSpec -> ShowS # show :: FeatureSpec -> String # showList :: [FeatureSpec] -> ShowS #
NFData FeatureSpec Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: FeatureSpec -> () #
Eq FeatureSpec Source #
Instance details Defined in Brassica.SoundChange.Types Methods (==) :: FeatureSpec -> FeatureSpec -> Bool # (/=) :: FeatureSpec -> FeatureSpec -> Bool #
Ord FeatureSpec Source #
Instance details 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 Source #
Instance details 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 Source #

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

Constructors

DefineCategory String (CategorySpec 'AnyPart)
DefineFeature FeatureSpec

Instances

Instances details

Generic CategoryDefinition Source #
Instance details 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 Source #
Instance details Defined in Brassica.SoundChange.Types Methods showsPrec :: Int -> CategoryDefinition -> ShowS # show :: CategoryDefinition -> String # showList :: [CategoryDefinition] -> ShowS #
NFData CategoryDefinition Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: CategoryDefinition -> () #
Eq CategoryDefinition Source #
Instance details Defined in Brassica.SoundChange.Types Methods (==) :: CategoryDefinition -> CategoryDefinition -> Bool # (/=) :: CategoryDefinition -> CategoryDefinition -> Bool #
Ord CategoryDefinition Source #
Instance details 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 Source #
Instance details 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 Source #

A directive used in Brassica sound-change syntax: currently only categories … end or new categories … end

Constructors

Categories Bool [CategoryDefinition]

Instances

Instances details

Generic Directive Source #
Instance details 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 Source #
Instance details Defined in Brassica.SoundChange.Types Methods showsPrec :: Int -> Directive -> ShowS # show :: Directive -> String # showList :: [Directive] -> ShowS #
NFData Directive Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: Directive -> () #
Eq Directive Source #
Instance details Defined in Brassica.SoundChange.Types Methods (==) :: Directive -> Directive -> Bool # (/=) :: Directive -> Directive -> Bool #
Ord Directive Source #
Instance details 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 Source #
Instance details 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 ... Source #

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

Monoid (Expanded a) Source #
Instance details Defined in Brassica.SoundChange.Types Methods mempty :: Expanded a # mappend :: Expanded a -> Expanded a -> Expanded a # mconcat :: [Expanded a] -> Expanded a #
Semigroup (Expanded a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Brassica.SoundChange.Types Methods showsPrec :: Int -> Expanded a -> ShowS # show :: Expanded a -> String # showList :: [Expanded a] -> ShowS #
NFData (Expanded a) Source #
Instance details Defined in Brassica.SoundChange.Types Methods rnf :: Expanded a -> () #
Eq (Expanded a) Source #
Instance details Defined in Brassica.SoundChange.Types Methods (==) :: Expanded a -> Expanded a -> Bool # (/=) :: Expanded a -> Expanded a -> Bool #
Ord (Expanded a) Source #
Instance details 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) Source #
Instance details 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]])))

FromElements
Fields elements :: [Either Grapheme [Lexeme Expanded a]]