2017-01-14 16:13:50 +01:00
|
|
|
{-# LANGUAGE MultiParamTypeClasses #-}
|
|
|
|
|
2017-03-16 09:03:46 +01:00
|
|
|
module Lexicon (WeightedLexicon,dic)
|
2017-01-14 16:13:50 +01:00
|
|
|
where
|
|
|
|
|
|
|
|
import Control.Monad.Plus
|
2017-03-16 09:03:46 +01:00
|
|
|
import Weighted
|
2017-01-14 16:13:50 +01:00
|
|
|
|
2017-03-16 09:03:46 +01:00
|
|
|
-- class (MonadPlus m) => Lexicon m a d where
|
|
|
|
-- dic :: d -> String -> m a
|
2017-01-14 16:13:50 +01:00
|
|
|
|
2017-03-16 09:03:46 +01:00
|
|
|
class WeightedLexicon a d where
|
|
|
|
dic :: d -> String -> WeightedList a
|