Data.Semiring.Numeric

Documentation

newtype Bottleneck a

<+> is max, <.> is min

Constructors

Bottleneck

Fields

• getBottleneck :: a

Instances

Monad Bottleneck

Methods

(>>=) :: Bottleneck a -> (a -> Bottleneck b) -> Bottleneck b

(>>) :: Bottleneck a -> Bottleneck b -> Bottleneck b

return :: a -> Bottleneck a

fail :: String -> Bottleneck a

Functor Bottleneck

Methods

fmap :: (a -> b) -> Bottleneck a -> Bottleneck b

(<$) :: a -> Bottleneck b -> Bottleneck a

Applicative Bottleneck

Methods

pure :: a -> Bottleneck a

(<*>) :: Bottleneck (a -> b) -> Bottleneck a -> Bottleneck b

(*>) :: Bottleneck a -> Bottleneck b -> Bottleneck b

(<*) :: Bottleneck a -> Bottleneck b -> Bottleneck a

Foldable Bottleneck

Methods

fold :: Monoid m => Bottleneck m -> m

foldMap :: Monoid m => (a -> m) -> Bottleneck a -> m

foldr :: (a -> b -> b) -> b -> Bottleneck a -> b

foldr' :: (a -> b -> b) -> b -> Bottleneck a -> b

foldl :: (b -> a -> b) -> b -> Bottleneck a -> b

foldl' :: (b -> a -> b) -> b -> Bottleneck a -> b

foldr1 :: (a -> a -> a) -> Bottleneck a -> a

foldl1 :: (a -> a -> a) -> Bottleneck a -> a

toList :: Bottleneck a -> [a]

null :: Bottleneck a -> Bool

length :: Bottleneck a -> Int

elem :: Eq a => a -> Bottleneck a -> Bool

maximum :: Ord a => Bottleneck a -> a

minimum :: Ord a => Bottleneck a -> a

sum :: Num a => Bottleneck a -> a

product :: Num a => Bottleneck a -> a

Generic1 Bottleneck

Associated Types

type Rep1 (Bottleneck :: * -> *) :: * -> *

Methods

from1 :: Bottleneck a -> Rep1 Bottleneck a

to1 :: Rep1 Bottleneck a -> Bottleneck a

Bounded a => Bounded (Bottleneck a)

Methods

minBound :: Bottleneck a

maxBound :: Bottleneck a

Eq a => Eq (Bottleneck a)

Methods

(==) :: Bottleneck a -> Bottleneck a -> Bool

(/=) :: Bottleneck a -> Bottleneck a -> Bool

Num a => Num (Bottleneck a)

Methods

(+) :: Bottleneck a -> Bottleneck a -> Bottleneck a

(-) :: Bottleneck a -> Bottleneck a -> Bottleneck a

(*) :: Bottleneck a -> Bottleneck a -> Bottleneck a

negate :: Bottleneck a -> Bottleneck a

abs :: Bottleneck a -> Bottleneck a

signum :: Bottleneck a -> Bottleneck a

fromInteger :: Integer -> Bottleneck a

Ord a => Ord (Bottleneck a)

Methods

compare :: Bottleneck a -> Bottleneck a -> Ordering

(<) :: Bottleneck a -> Bottleneck a -> Bool

(<=) :: Bottleneck a -> Bottleneck a -> Bool

(>) :: Bottleneck a -> Bottleneck a -> Bool

(>=) :: Bottleneck a -> Bottleneck a -> Bool

max :: Bottleneck a -> Bottleneck a -> Bottleneck a

min :: Bottleneck a -> Bottleneck a -> Bottleneck a

Read a => Read (Bottleneck a)

Methods

readsPrec :: Int -> ReadS (Bottleneck a)

readList :: ReadS [Bottleneck a]

readPrec :: ReadPrec (Bottleneck a)

readListPrec :: ReadPrec [Bottleneck a]

Show a => Show (Bottleneck a)

Methods

showsPrec :: Int -> Bottleneck a -> ShowS

show :: Bottleneck a -> String

showList :: [Bottleneck a] -> ShowS

Generic (Bottleneck a)

Associated Types

type Rep (Bottleneck a) :: * -> *

Methods

from :: Bottleneck a -> Rep (Bottleneck a) x

to :: Rep (Bottleneck a) x -> Bottleneck a

Arbitrary a => Arbitrary (Bottleneck a)

Methods

arbitrary :: Gen (Bottleneck a)

shrink :: Bottleneck a -> [Bottleneck a]

(Bounded a, Ord a) => Semiring (Bottleneck a)

Methods

zero :: Bottleneck a

one :: Bottleneck a

(<.>) :: Bottleneck a -> Bottleneck a -> Bottleneck a

(<+>) :: Bottleneck a -> Bottleneck a -> Bottleneck a

type Rep1 Bottleneck

type Rep1 Bottleneck = D1 (MetaData "Bottleneck" "Data.Semiring.Numeric" "semiring-num-0.1.0.0-6l46Cfls9yh7iHQqASYJfk" True) (C1 (MetaCons "Bottleneck" PrefixI True) (S1 (MetaSel (Just Symbol "getBottleneck") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

type Rep (Bottleneck a)

type Rep (Bottleneck a) = D1 (MetaData "Bottleneck" "Data.Semiring.Numeric" "semiring-num-0.1.0.0-6l46Cfls9yh7iHQqASYJfk" True) (C1 (MetaCons "Bottleneck" PrefixI True) (S1 (MetaSel (Just Symbol "getBottleneck") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

newtype Division a

<+> is gcd, <.> is lcm. Positive numbers only.

Constructors

Division

Fields

• getDivision :: a

Instances

Monad Division

Methods

(>>=) :: Division a -> (a -> Division b) -> Division b

(>>) :: Division a -> Division b -> Division b

return :: a -> Division a

fail :: String -> Division a

Functor Division

Methods

fmap :: (a -> b) -> Division a -> Division b

(<$) :: a -> Division b -> Division a

Applicative Division

Methods

pure :: a -> Division a

(<*>) :: Division (a -> b) -> Division a -> Division b

(*>) :: Division a -> Division b -> Division b

(<*) :: Division a -> Division b -> Division a

Foldable Division

Methods

fold :: Monoid m => Division m -> m

foldMap :: Monoid m => (a -> m) -> Division a -> m

foldr :: (a -> b -> b) -> b -> Division a -> b

foldr' :: (a -> b -> b) -> b -> Division a -> b

foldl :: (b -> a -> b) -> b -> Division a -> b

foldl' :: (b -> a -> b) -> b -> Division a -> b

foldr1 :: (a -> a -> a) -> Division a -> a

foldl1 :: (a -> a -> a) -> Division a -> a

toList :: Division a -> [a]

null :: Division a -> Bool

length :: Division a -> Int

elem :: Eq a => a -> Division a -> Bool

maximum :: Ord a => Division a -> a

minimum :: Ord a => Division a -> a

sum :: Num a => Division a -> a

product :: Num a => Division a -> a

Generic1 Division

Associated Types

type Rep1 (Division :: * -> *) :: * -> *

Methods

from1 :: Division a -> Rep1 Division a

to1 :: Rep1 Division a -> Division a

Bounded a => Bounded (Division a)

Methods

minBound :: Division a

maxBound :: Division a

Eq a => Eq (Division a)

Methods

(==) :: Division a -> Division a -> Bool

(/=) :: Division a -> Division a -> Bool

Num a => Num (Division a)

Methods

(+) :: Division a -> Division a -> Division a

(-) :: Division a -> Division a -> Division a

(*) :: Division a -> Division a -> Division a

negate :: Division a -> Division a

abs :: Division a -> Division a

signum :: Division a -> Division a

fromInteger :: Integer -> Division a

Ord a => Ord (Division a)

Methods

compare :: Division a -> Division a -> Ordering

(<) :: Division a -> Division a -> Bool

(<=) :: Division a -> Division a -> Bool

(>) :: Division a -> Division a -> Bool

(>=) :: Division a -> Division a -> Bool

max :: Division a -> Division a -> Division a

min :: Division a -> Division a -> Division a

Read a => Read (Division a)

Methods

readsPrec :: Int -> ReadS (Division a)

readList :: ReadS [Division a]

readPrec :: ReadPrec (Division a)

readListPrec :: ReadPrec [Division a]

Show a => Show (Division a)

Methods

showsPrec :: Int -> Division a -> ShowS

show :: Division a -> String

showList :: [Division a] -> ShowS

Generic (Division a)

Associated Types

type Rep (Division a) :: * -> *

Methods

from :: Division a -> Rep (Division a) x

to :: Rep (Division a) x -> Division a

(Integral a, Arbitrary a) => Arbitrary (Division a)

Methods

arbitrary :: Gen (Division a)

shrink :: Division a -> [Division a]

(Integral a, Semiring a) => Semiring (Division a)

Only expects positive numbers

Methods

zero :: Division a

one :: Division a

(<.>) :: Division a -> Division a -> Division a

(<+>) :: Division a -> Division a -> Division a

type Rep1 Division

type Rep1 Division = D1 (MetaData "Division" "Data.Semiring.Numeric" "semiring-num-0.1.0.0-6l46Cfls9yh7iHQqASYJfk" True) (C1 (MetaCons "Division" PrefixI True) (S1 (MetaSel (Just Symbol "getDivision") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

type Rep (Division a)

type Rep (Division a) = D1 (MetaData "Division" "Data.Semiring.Numeric" "semiring-num-0.1.0.0-6l46Cfls9yh7iHQqASYJfk" True) (C1 (MetaCons "Division" PrefixI True) (S1 (MetaSel (Just Symbol "getDivision") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

newtype Łukasiewicz a

Wikipedia has some information on this. Also this paper.

Constructors

Łukasiewicz

Fields

• getŁukasiewicz :: a

Instances

Monad Łukasiewicz

Methods

(>>=) :: Łukasiewicz a -> (a -> Łukasiewicz b) -> Łukasiewicz b

(>>) :: Łukasiewicz a -> Łukasiewicz b -> Łukasiewicz b

return :: a -> Łukasiewicz a

fail :: String -> Łukasiewicz a

Functor Łukasiewicz

Methods

fmap :: (a -> b) -> Łukasiewicz a -> Łukasiewicz b

(<$) :: a -> Łukasiewicz b -> Łukasiewicz a

Applicative Łukasiewicz

Methods

pure :: a -> Łukasiewicz a

(<*>) :: Łukasiewicz (a -> b) -> Łukasiewicz a -> Łukasiewicz b

(*>) :: Łukasiewicz a -> Łukasiewicz b -> Łukasiewicz b

(<*) :: Łukasiewicz a -> Łukasiewicz b -> Łukasiewicz a

Foldable Łukasiewicz

Methods

fold :: Monoid m => Łukasiewicz m -> m

foldMap :: Monoid m => (a -> m) -> Łukasiewicz a -> m

foldr :: (a -> b -> b) -> b -> Łukasiewicz a -> b

foldr' :: (a -> b -> b) -> b -> Łukasiewicz a -> b

foldl :: (b -> a -> b) -> b -> Łukasiewicz a -> b

foldl' :: (b -> a -> b) -> b -> Łukasiewicz a -> b

foldr1 :: (a -> a -> a) -> Łukasiewicz a -> a

foldl1 :: (a -> a -> a) -> Łukasiewicz a -> a

toList :: Łukasiewicz a -> [a]

null :: Łukasiewicz a -> Bool

length :: Łukasiewicz a -> Int

elem :: Eq a => a -> Łukasiewicz a -> Bool

maximum :: Ord a => Łukasiewicz a -> a

minimum :: Ord a => Łukasiewicz a -> a

sum :: Num a => Łukasiewicz a -> a

product :: Num a => Łukasiewicz a -> a

Generic1 Łukasiewicz

Associated Types

type Rep1 (Łukasiewicz :: * -> *) :: * -> *

Methods

from1 :: Łukasiewicz a -> Rep1 Łukasiewicz a

to1 :: Rep1 Łukasiewicz a -> Łukasiewicz a

Bounded a => Bounded (Łukasiewicz a)

Methods

minBound :: Łukasiewicz a

maxBound :: Łukasiewicz a

Eq a => Eq (Łukasiewicz a)

Methods

(==) :: Łukasiewicz a -> Łukasiewicz a -> Bool

(/=) :: Łukasiewicz a -> Łukasiewicz a -> Bool

Num a => Num (Łukasiewicz a)

Methods

(+) :: Łukasiewicz a -> Łukasiewicz a -> Łukasiewicz a

(-) :: Łukasiewicz a -> Łukasiewicz a -> Łukasiewicz a

(*) :: Łukasiewicz a -> Łukasiewicz a -> Łukasiewicz a

negate :: Łukasiewicz a -> Łukasiewicz a

abs :: Łukasiewicz a -> Łukasiewicz a

signum :: Łukasiewicz a -> Łukasiewicz a

fromInteger :: Integer -> Łukasiewicz a

Ord a => Ord (Łukasiewicz a)

Methods

compare :: Łukasiewicz a -> Łukasiewicz a -> Ordering

(<) :: Łukasiewicz a -> Łukasiewicz a -> Bool

(<=) :: Łukasiewicz a -> Łukasiewicz a -> Bool

(>) :: Łukasiewicz a -> Łukasiewicz a -> Bool

(>=) :: Łukasiewicz a -> Łukasiewicz a -> Bool

max :: Łukasiewicz a -> Łukasiewicz a -> Łukasiewicz a

min :: Łukasiewicz a -> Łukasiewicz a -> Łukasiewicz a

Read a => Read (Łukasiewicz a)

Methods

readsPrec :: Int -> ReadS (Łukasiewicz a)

readList :: ReadS [Łukasiewicz a]

readPrec :: ReadPrec (Łukasiewicz a)

readListPrec :: ReadPrec [Łukasiewicz a]

Show a => Show (Łukasiewicz a)

Methods

showsPrec :: Int -> Łukasiewicz a -> ShowS

show :: Łukasiewicz a -> String

showList :: [Łukasiewicz a] -> ShowS

Generic (Łukasiewicz a)

Associated Types

type Rep (Łukasiewicz a) :: * -> *

Methods

from :: Łukasiewicz a -> Rep (Łukasiewicz a) x

to :: Rep (Łukasiewicz a) x -> Łukasiewicz a

(Num a, Random a) => Arbitrary (Łukasiewicz a)

Methods

arbitrary :: Gen (Łukasiewicz a)

shrink :: Łukasiewicz a -> [Łukasiewicz a]

(Ord a, Num a) => Semiring (Łukasiewicz a)

Methods

zero :: Łukasiewicz a

one :: Łukasiewicz a

(<.>) :: Łukasiewicz a -> Łukasiewicz a -> Łukasiewicz a

(<+>) :: Łukasiewicz a -> Łukasiewicz a -> Łukasiewicz a

type Rep1 Łukasiewicz

type Rep1 Łukasiewicz = D1 (MetaData "\321ukasiewicz" "Data.Semiring.Numeric" "semiring-num-0.1.0.0-6l46Cfls9yh7iHQqASYJfk" True) (C1 (MetaCons "\321ukasiewicz" PrefixI True) (S1 (MetaSel (Just Symbol "get\321ukasiewicz") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

type Rep (Łukasiewicz a)

type Rep (Łukasiewicz a) = D1 (MetaData "\321ukasiewicz" "Data.Semiring.Numeric" "semiring-num-0.1.0.0-6l46Cfls9yh7iHQqASYJfk" True) (C1 (MetaCons "\321ukasiewicz" PrefixI True) (S1 (MetaSel (Just Symbol "get\321ukasiewicz") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

newtype Viterbi a

Wikipedia has some information on this. Also this paper. Apparently used for probabilistic parsing.

Constructors

Viterbi

Fields

• getViterbi :: a

Instances

Monad Viterbi

Methods

(>>=) :: Viterbi a -> (a -> Viterbi b) -> Viterbi b

(>>) :: Viterbi a -> Viterbi b -> Viterbi b

return :: a -> Viterbi a

fail :: String -> Viterbi a

Functor Viterbi

Methods

fmap :: (a -> b) -> Viterbi a -> Viterbi b

(<$) :: a -> Viterbi b -> Viterbi a

Applicative Viterbi

Methods

pure :: a -> Viterbi a

(<*>) :: Viterbi (a -> b) -> Viterbi a -> Viterbi b

(*>) :: Viterbi a -> Viterbi b -> Viterbi b

(<*) :: Viterbi a -> Viterbi b -> Viterbi a

Foldable Viterbi

Methods

fold :: Monoid m => Viterbi m -> m

foldMap :: Monoid m => (a -> m) -> Viterbi a -> m

foldr :: (a -> b -> b) -> b -> Viterbi a -> b

foldr' :: (a -> b -> b) -> b -> Viterbi a -> b

foldl :: (b -> a -> b) -> b -> Viterbi a -> b

foldl' :: (b -> a -> b) -> b -> Viterbi a -> b

foldr1 :: (a -> a -> a) -> Viterbi a -> a

foldl1 :: (a -> a -> a) -> Viterbi a -> a

toList :: Viterbi a -> [a]

null :: Viterbi a -> Bool

length :: Viterbi a -> Int

elem :: Eq a => a -> Viterbi a -> Bool

maximum :: Ord a => Viterbi a -> a

minimum :: Ord a => Viterbi a -> a

sum :: Num a => Viterbi a -> a

product :: Num a => Viterbi a -> a

Generic1 Viterbi

Associated Types

type Rep1 (Viterbi :: * -> *) :: * -> *

Methods

from1 :: Viterbi a -> Rep1 Viterbi a

to1 :: Rep1 Viterbi a -> Viterbi a

Bounded a => Bounded (Viterbi a)

Methods

minBound :: Viterbi a

maxBound :: Viterbi a

Eq a => Eq (Viterbi a)

Methods

(==) :: Viterbi a -> Viterbi a -> Bool

(/=) :: Viterbi a -> Viterbi a -> Bool

Num a => Num (Viterbi a)

Methods

(+) :: Viterbi a -> Viterbi a -> Viterbi a

(-) :: Viterbi a -> Viterbi a -> Viterbi a

(*) :: Viterbi a -> Viterbi a -> Viterbi a

negate :: Viterbi a -> Viterbi a

abs :: Viterbi a -> Viterbi a

signum :: Viterbi a -> Viterbi a

fromInteger :: Integer -> Viterbi a

Ord a => Ord (Viterbi a)

Methods

compare :: Viterbi a -> Viterbi a -> Ordering

(<) :: Viterbi a -> Viterbi a -> Bool

(<=) :: Viterbi a -> Viterbi a -> Bool

(>) :: Viterbi a -> Viterbi a -> Bool

(>=) :: Viterbi a -> Viterbi a -> Bool

max :: Viterbi a -> Viterbi a -> Viterbi a

min :: Viterbi a -> Viterbi a -> Viterbi a

Read a => Read (Viterbi a)

Methods

readsPrec :: Int -> ReadS (Viterbi a)

readList :: ReadS [Viterbi a]

readPrec :: ReadPrec (Viterbi a)

readListPrec :: ReadPrec [Viterbi a]

Show a => Show (Viterbi a)

Methods

showsPrec :: Int -> Viterbi a -> ShowS

show :: Viterbi a -> String

showList :: [Viterbi a] -> ShowS

Generic (Viterbi a)

Associated Types

type Rep (Viterbi a) :: * -> *

Methods

from :: Viterbi a -> Rep (Viterbi a) x

to :: Rep (Viterbi a) x -> Viterbi a

(Semiring a, Random a) => Arbitrary (Viterbi a)

Methods

arbitrary :: Gen (Viterbi a)

shrink :: Viterbi a -> [Viterbi a]

(Ord a, Semiring a) => Semiring (Viterbi a)

Methods

zero :: Viterbi a

one :: Viterbi a

(<.>) :: Viterbi a -> Viterbi a -> Viterbi a

(<+>) :: Viterbi a -> Viterbi a -> Viterbi a

type Rep1 Viterbi

type Rep1 Viterbi = D1 (MetaData "Viterbi" "Data.Semiring.Numeric" "semiring-num-0.1.0.0-6l46Cfls9yh7iHQqASYJfk" True) (C1 (MetaCons "Viterbi" PrefixI True) (S1 (MetaSel (Just Symbol "getViterbi") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

type Rep (Viterbi a)

type Rep (Viterbi a) = D1 (MetaData "Viterbi" "Data.Semiring.Numeric" "semiring-num-0.1.0.0-6l46Cfls9yh7iHQqASYJfk" True) (C1 (MetaCons "Viterbi" PrefixI True) (S1 (MetaSel (Just Symbol "getViterbi") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))