Data.Monoid.Plus

Documentation

module Data.Semigroup

class Monoid t => MonoidPlus t where

Methods

mpempty :: t

mpappend :: t -> t -> t

mpconcat :: [t] -> t

Instances

MonoidPlus ()

MonoidPlus All

MonoidPlus Any

Num t => MonoidPlus (Product t)

MonoidPlus (Predicate t)

(Ord t, Bounded t) => MonoidPlus (Min t)

(Ord t, Bounded t) => MonoidPlus (Max t)

(Num t, Ord t) => MonoidPlus (Lukasiewicz t)

(Num t, Ord t) => MonoidPlus (Possibilistic t)

class Monoid t => Group t where

Methods

minverse :: t -> t

Instances

Group ()

Num t => Group (Sum t)

Eq t => Group (Equivalence t)

(Group a, Group b) => Group (a, b)

(Group a, Group b, Group c) => Group (a, b, c)

class MonoidPlus t => MonoidMinus t where

Methods

mpinverse :: t -> t

Instances

MonoidMinus ()

Num t => MonoidMinus (Product t)

MonoidMinus (Predicate t)

class Monoid t => MonoidNorm t where

Methods

mnormfunc :: [t] -> t -> t

mnormalize :: [t] -> [t]

Instances

MonoidNorm ()

Fractional t => MonoidNorm (Sum t)

class MonoidPlus t => MonoidPlusNorm t where

Methods

mpnormfunc :: [t] -> t -> t

mpnormalize :: [t] -> [t]

Instances

MonoidPlusNorm ()

Fractional t => MonoidPlusNorm (Product t)

(Fractional t, Ord t) => MonoidPlusNorm (Possibilistic t)

class MonoidPlus t => Semiring t

Instances

Semiring ()

Semiring All

Semiring Any

Num t => Semiring (Product t)

Semiring (Predicate t)

(Num t, Ord t) => Semiring (Possibilistic t)

class (Semiring t, MonoidMinus t) => Ring t

Instances

Ring ()

Num t => Ring (Product t)

Ring (Predicate t)

(|*|) :: Monoid t => t -> t -> t

(|/|) :: Group t => t -> t -> t

(|+|) :: MonoidPlus t => t -> t -> t

(|-|) :: MonoidMinus t => t -> t -> t

data BoundFrac t

Instances

(Enum t, Fractional t, Ord t) => Bounded (BoundFrac t)

(Enum t, Fractional t, Ord t) => Enum (BoundFrac t)

Eq t => Eq (BoundFrac t)

(Fractional t, Ord t) => Fractional (BoundFrac t)

(Num t, Ord t) => Num (BoundFrac t)

Ord t => Ord (BoundFrac t)

Real t => Real (BoundFrac t)

(Real t, Fractional t) => RealFrac (BoundFrac t)

Show t => Show (BoundFrac t)

fromBoundFrac :: BoundFrac t -> t

toBoundFrac :: (Num t, Ord t) => t -> BoundFrac t

newtype WrapMonoidPlus t

Constructors

WrapMonoidPlus t

Instances

Eq t => Eq (WrapMonoidPlus t)

Ord t => Ord (WrapMonoidPlus t)

Show t => Show (WrapMonoidPlus t)

MonoidPlus t => Monoid (WrapMonoidPlus t)

newtype CatEndo c t

Constructors

CatEndo

Fields

runCatEndo :: c t t

Instances

Category c => Monoid (CatEndo c t)

newtype Possibilistic t

Constructors

Possibilistic

Fields

getPossibilistic :: BoundFrac t

Instances

Eq t => Eq (Possibilistic t)

Ord t => Ord (Possibilistic t)

Show t => Show (Possibilistic t)

(Num t, Ord t) => Monoid (Possibilistic t)

(Num t, Ord t) => Semiring (Possibilistic t)

(Fractional t, Ord t) => MonoidPlusNorm (Possibilistic t)

(Num t, Ord t) => MonoidPlus (Possibilistic t)

newtype Lukasiewicz t

Constructors

Lukasiewicz

Fields

getLukasiewicz :: BoundFrac t

Instances

Eq t => Eq (Lukasiewicz t)

Ord t => Ord (Lukasiewicz t)

Show t => Show (Lukasiewicz t)

(Num t, Ord t) => Monoid (Lukasiewicz t)

(Num t, Ord t) => MonoidPlus (Lukasiewicz t)

monoidicMap :: Functor m => (x -> y) -> WriterT x m a -> WriterT y m a

mpure :: Applicative f => w -> t -> WriterT w f t

type Prob a b = WriterT a [] b

pChoose :: Ring p => p -> t -> t -> Prob p t

pChoice :: Ring p => p -> Prob p t -> Prob p t -> Prob p t

probNorm :: (Semiring p, MonoidPlusNorm p, Eq p, Ord t) => Prob p t -> Prob p t

uniform :: (Semiring p, MonoidPlusNorm p) => [t] -> Prob p t

probOf :: (Semiring p, MonoidPlusNorm p, Eq p) => (t -> Bool) -> Prob p t -> p