ElixirFM-1.1: Functional Arabic Morphology Contents Index

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

Description

ElixirFM

Documentation

class Template a where

Methods interlock :: [String] -> a -> String interlocks :: [Prefix] -> [Suffix] -> [String] -> a -> String Instances Template String Template PatternL Template PatternT Template PatternQ

merge :: (Morphing a b, Template b, Show b) => Root -> a -> String

mergeWith :: (Morphing a b, Template b, Show b) => a -> String -> String

type Root = String

letters :: String -> [String]

next :: String -> Maybe (String, String)

drops :: [a] -> [a]

takes :: [a] -> [a]

unquote :: String -> [String]

quotes :: String -> (String, String)

(->-) :: Prefix -> String -> String

isClosed :: String -> Bool

(-<-) :: Char -> Suffix -> String

data Form

Constructors I II III IV V VI VII VIII IX X XI XII XIII XIV XV Instances Enum Form Eq Form Show Form Lookup Form

class Forming a where

Methods verbStems :: Form -> String -> [VerbStems a] nounStems :: Morphing a a => Form -> String -> [NounStems a] Instances Forming String Forming PatternL Forming PatternT Forming PatternQ Forming a => Forming (Morphs a)

type VerbStems a = (Maybe (a, a, a, a), a, a, a, a)

type NounStems a = (a, a, a, Morphs a)

class Eq a => Rules a where

Methods isForm :: Form -> a -> Bool isInert :: Root -> a -> Bool isDiptote :: a -> Bool isPassive :: a -> Bool prefixVerbI :: Form -> a -> Voice -> String prefixVerbC :: Form -> a -> String auxiesDouble :: Form -> a -> [String] Instances Rules String Rules PatternL Rules PatternT Rules PatternQ Rules a => Rules (Morphs a)

class Morphing a b | a -> b where

Methods morph :: a -> Morphs b Instances Morphing String String Morphing PatternL PatternL Morphing PatternT PatternT Morphing PatternQ PatternQ Morphing (Morphs a) a

(>|) :: Morphing a b => Prefix -> a -> Morphs b

(|<) :: Morphing a b => a -> Suffix -> Morphs b

(>>|) :: Morphing a b => String -> a -> Morphs b

(|<<) :: Morphing a b => a -> String -> Morphs b

data Morphs a

Constructors Morphs a [Prefix] [Suffix] Instances Eq a => Eq (Morphs a) Show a => Show (Morphs a) Rules a => Rules (Morphs a) Forming a => Forming (Morphs a) Show a => Lookup (Morphs a) Morphing (Morphs a) a

data Prefix

Constructors Prefix String Al LA Instances Eq Prefix Show Prefix

data Suffix

Constructors Suffix String Iy AT At Un In An Ayn Instances Eq Suffix Show Suffix

Produced by Haddock version 2.3.0