Satchmo.Code

Documentation

class Monad m => Decode m c a where

Methods

decode :: c -> m a

Instances

Monad m => Decode m () ()

Decode m Boolean Bool => Decode m Number Integer

Decode m Boolean Bool => Decode m Number Int

Decode m Boolean Bool => Decode m Number Integer

Decode m Boolean Bool => Decode m Number Integer

Decode m Boolean Bool => Decode m Number Integer

Decode SAT Boolean Bool

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

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

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

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

Decode m a Integer => Decode m (Number a) Integer

Decode m a b => Decode m (Maybe a) (Maybe b)

Decode m c a => Decode m [c] [a]

Decode m a b => Decode m (Poly a) (Poly b)

Decode m a Integer => Decode m (Poly a) (Poly Integer)

Decode m a Integer => Decode m (PolynomialN a) (PolynomialN Integer)

(Ord i, Decode m c a) => Decode m (Map i c) (Map i a)

(Ix i, Decode m c a) => Decode m (Array i c) (Array i a)

(Decode m c a, Decode m d b) => Decode m (c, d) (a, b)

(Ix a, Ix b, Decode m Boolean Bool) => Decode m (Relation a b) (Array (a, b) Bool)

Decode (Reader (Array Variable Bool)) Boolean Bool