ElixirFM-1.1: Functional Arabic Morphology Contents Index

Elixir.Lexicon.System Portability portable Stability provisional Maintainer otakar.smrz mff.cuni.cz

Description

ElixirFM

Documentation

include :: [Lexicon] -> Lexicon

cluster :: Cluster

type Lexicon = [Wrap Nest]

type Cluster = Lexicon

type Clips = (Int, Maybe [Int])

type Index = (Int, Int)

data Nest a

Constructors Nest Root [Entry a] Instances Show a => Show (Nest a) (Show a, Pretty (Entry a)) => Pretty (Nest a)

data Lexeme a

Constructors Lexeme Root (Entry a) Instances Derive Lexeme String Derive Lexeme TagsTypes Derive Lexeme TagsAdj Derive Lexeme TagsNoun Derive Lexeme TagsVerb Derive Lexeme TagsType Inflect Lexeme String Inflect Lexeme ParaGrph Inflect Lexeme ParaZero Inflect Lexeme ParaYnit Inflect Lexeme ParaXtra Inflect Lexeme ParaIntj Inflect Lexeme ParaPart Inflect Lexeme ParaConj Inflect Lexeme ParaPrep Inflect Lexeme ParaAdv Inflect Lexeme ParaNum Inflect Lexeme ParaPron Inflect Lexeme ParaAdj Inflect Lexeme ParaNoun Inflect Lexeme ParaVerb Inflect Lexeme TagsTypes Inflect Lexeme TagsGrph Inflect Lexeme TagsZero Inflect Lexeme TagsYnit Inflect Lexeme TagsXtra Inflect Lexeme TagsIntj Inflect Lexeme TagsPart Inflect Lexeme TagsConj Inflect Lexeme TagsPrep Inflect Lexeme TagsAdv Inflect Lexeme TagsNum Inflect Lexeme TagsPron Inflect Lexeme TagsAdj Inflect Lexeme TagsNoun Inflect Lexeme TagsVerb Inflect Lexeme TagsType Derive Lexeme a => Derive Lexeme ([] a) Inflect Lexeme a => Inflect Lexeme ([] a) Show a => Show (Lexeme a) Pretty (Entry a) => Pretty (Lexeme a)

root :: Nest a -> Root

ents :: Nest a -> [Entry a]

(>-<) :: Root -> Entry a -> Lexeme a

data Wrap a

Constructors WrapS (a String) WrapT (a PatternT) WrapQ (a PatternQ) WrapL (a PatternL) Instances (Show (a String), Show (a PatternT), Show (a PatternQ), Show (a PatternL)) => Show (Wrap a) (Pretty (a String), Pretty (a PatternT), Pretty (a PatternQ), Pretty (a PatternL)) => Pretty (Wrap a) (Pretty (Lexeme PatternT), Pretty (Lexeme PatternQ), Pretty (Lexeme String), Pretty (Lexeme PatternL)) => Pretty (Wrap Lexeme) (Pretty (Nest PatternT), Pretty (Nest PatternQ), Pretty (Nest String), Pretty (Nest PatternL)) => Pretty (Wrap Nest)

class Wrapping a where

Methods wrap :: m a -> Wrap m unwrap :: Wrap m -> m a Instances Wrapping String Wrapping PatternL Wrapping PatternT Wrapping PatternQ

wraps :: (forall c. (Template c, Show c, Rules c, Forming c, Morphing c c) => a c -> [b c]) -> Wrap a -> [Wrap b]

unwraps :: (forall c. (Wrapping c, Template c, Show c, Rules c, Forming c, Morphing c c) => a c -> b) -> Wrap a -> b

(<|) :: Wrapping a => Root -> [Entry a] -> Wrap Nest

(<::>) :: (Morphing a b, Forming a, Rules a, Eq a) => a -> String -> Entry b

(<..>) :: Entry a -> Reflex -> Entry a

(<.>) :: Entry a -> String -> Entry a

(<:>) :: Morphing a b => Entry b -> a -> Entry b

type Reflex = [String]

data Entry a

Constructors Entry morphs :: Morphs a entity :: Entity a limits :: Limits a reflex :: Reflex Instances Derive Lexeme a => Derive Entry a Inflect Lexeme a => Inflect Entry a Inflect Entry ParaNoun Inflect Entry ParaVerb Show a => Show (Entry a) (Show a, Pretty (Entity a)) => Pretty (Entry a)

type Limits a = (TagsType, [([TagsType], [Morphs a])])

domain :: Entry a -> TagsType

type Plural a = Morphs a

data Entity a

Constructors Verb form :: [Form] perfect' :: [a] imperfect :: [a] imperative :: [a] justTense :: Maybe Tense justVoice :: Maybe Voice msdr :: [Morphs a] Noun [Plural a] (Maybe Gender) (Maybe Number) (Maybe Bool) (Maybe Except) Adj [Plural a] [Morphs a] (Maybe Number) Pron Num [Plural a] [Morphs a] Adv Prep Conj Part Intj Xtra Ynit Zero Grph Instances Show a => Show (Entity a) Show a => Pretty (Entity a)

isNoun :: Entity a -> Bool

isYnit :: Entity a -> Bool

verb :: (Morphing a b, Forming a, Rules a, Eq a) => a -> Reflex -> Entry b

adj :: Morphing a b => a -> Reflex -> Entry b

ynit :: Morphing a b => a -> Reflex -> Entry b

pfirst :: Entry a -> a -> Entry a

masdar :: Morphing a b => Entry b -> a -> Entry b

entries :: Entry a -> [Entry a]

derives :: Entry a -> Bool -> Entry a

excepts :: Entry a -> Except -> Entry a

except :: Entry a -> Maybe Except

limited :: Entry a -> String -> Entry a

femini :: Morphing a b => Entry b -> a -> Entry b

plural :: Morphing a b => Entry b -> a -> Entry b

Produced by Haddock version 2.3.0