Satchmo.SMT.Exotic.Semiring.Arctic

Documentation

data Arctic a

Constructors

Minus_Infinite

Finite a

Instances

Functor Arctic

Decode m Boolean Bool => Decode m Arctic (Arctic Integer)

Decode m Boolean Bool => Decode m Arctic (Arctic Integer)

Eq a => Eq (Arctic a)

Ord a => Ord (Arctic a)

Show a => Show (Arctic a)

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

Typeable (* -> *) Arctic