ElixirFM-1.1: Functional Arabic Morphology Contents Index

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

Description

ElixirFM

Documentation

data Token a

Constructors Token lexeme :: (Lexeme a, Index) struct :: (Root, Morphs a) tag :: Tag Instances Show a => Show (Token a)

type Tag = ParaType

newtype Tokens a

Constructors Tokens [Token a] Instances Show (Token a) => Show (Tokens a) (Eq a, Morphing a a, Forming a, Show a, Template a, Pretty ([] a)) => Pretty (Tokens a)

prune :: [[[Wrap Tokens]]] -> [[[Wrap Tokens]]]

class Fuzzy a => Resolve a where

Methods resolve :: a -> [[[[Wrap Tokens]]]] resolveBy :: (String -> String -> Bool) -> ([a] -> [a] -> Bool) -> [[[a]]] -> [[[[Wrap Tokens]]]] tokenize :: a -> [[a]] Instances Resolve String Resolve ([] UPoint)

omitting' :: Eq a => (a -> a -> Bool) -> ([[a]], [[a]]) -> [a] -> [a] -> Bool

omitting :: Eq a => (a -> a -> Bool) -> ([a], [a]) -> [a] -> [a] -> Bool

isSubsumed :: (String -> String -> Bool) -> (String -> String -> Bool) -> [String] -> [String] -> Bool

assims :: String -> String -> Bool

approx :: String -> String -> Bool

reduce :: String -> [String]

class Eq a => Fuzzy a where

Methods omits :: ([a], [a]) units :: a -> [a] alike :: a -> a -> Bool fuzzy :: a -> a -> Bool Instances Fuzzy String Fuzzy ([] UPoint)

skips :: [String]

alike' :: Int -> Int -> Bool

fuzzy' :: Int -> Int -> Bool

downcode :: [UPoint] -> [UPoint]

recode :: [UPoint] -> [String]

recoder :: Map UPoint String

Produced by Haddock version 2.3.0