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 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)

(Functor m, Decode m Boolean Bool, Ord a) => Decode m (Set a) (Set a)

(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)

(Functor m, Decode m b c, Ord a) => Decode m (Map a b) (Map a c)

Decode (Reader (Array Variable Bool)) Boolean Bool