Documentation

module Data.Semigroup

class Monoid t => MonoidPlus t whereSource

class Monoid t => Group t whereSource

class MonoidPlus t => MonoidMinus t whereSource

class Monoid t => MonoidNorm t whereSource

class MonoidPlus t => MonoidPlusNorm t whereSource

class MonoidPlus t => Semiring t Source

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

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

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

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

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

data BoundFrac t Source

fromBoundFrac :: BoundFrac t -> tSource

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

newtype WrapMonoidPlus t Source

newtype CatEndo c t Source

newtype Possibilistic t Source

newtype Lukasiewicz t Source

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

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

type Prob a b = WriterT a [] bSource

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

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

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

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

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