Satchmo.SMT.Exotic.Semiring.Fuzzy

Documentation

data Fuzzy a

Constructors

Minus_Infinite

Finite a

Plus_Infinite

Instances

Functor Fuzzy

(Decode m Boolean Bool, Decode m Number Integer) => Decode m Fuzzy (Fuzzy Integer)

Eq a => Eq (Fuzzy a)

Ord a => Ord (Fuzzy a)

Show a => Show (Fuzzy a)

(Ord a, Num a) => Semiring (Fuzzy a)