Safe Haskell	Safe-Inferred
Language	Haskell2010

Satchmo.Code

Documentation

class Monad m => Decode m c a where Source #

Methods

decode :: c -> m a Source #

Instances

Instances details

Decode SAT Boolean Bool Source #
Instance details Defined in Satchmo.SAT.Mini Methods decode :: Boolean -> SAT Bool Source #
(Monad m, Decode m Boolean Bool) => Decode m Number Integer Source #
Instance details Defined in Satchmo.Binary.Data Methods decode :: Number -> m Integer Source #
(Monad m, Decode m Boolean Bool) => Decode m Number Integer Source #
Instance details Defined in Satchmo.BinaryTwosComplement.Data Methods decode :: Number -> m Integer Source #
(Monad m, Decode m Boolean Bool) => Decode m Number Integer Source #
Instance details Defined in Satchmo.Integer.Data Methods decode :: Number -> m Integer Source #
(Monad m, Decode m Boolean Bool) => Decode m Number Integer Source #
Instance details Defined in Satchmo.Unary.Data Methods decode :: Number -> m Integer Source #
(Monad m, Decode m Boolean Bool) => Decode m Number Int Source #
Instance details Defined in Satchmo.Unary.Data Methods decode :: Number -> m Int Source #
Monad m => Decode m () () Source #
Instance details Defined in Satchmo.Code Methods decode :: () -> m () Source #
Decode m a Integer => Decode m (Number a) Integer Source #
Instance details Defined in Satchmo.Integer.Difference Methods decode :: Number a -> m Integer Source #
Decode m a Integer => Decode m (Poly a) (Poly Integer) Source #
Instance details Defined in Satchmo.Polynomial Methods decode :: Poly a -> m (Poly Integer) Source #
Decode m a b => Decode m (Poly a) (Poly b) Source #
Instance details Defined in Satchmo.Polynomial.Numeric Methods decode :: Poly a -> m (Poly b) Source #
Decode m a Integer => Decode m (PolynomialN a) (PolynomialN Integer) Source #
Instance details Defined in Satchmo.PolynomialN Methods decode :: PolynomialN a -> m (PolynomialN Integer) Source #
(Functor m, Decode m Boolean Bool, Ord a) => Decode m (Set a) (Set a) Source #
Instance details Defined in Satchmo.Set.Data Methods decode :: Set a -> m (Set0 a) Source #
Decode m a b => Decode m (Maybe a) (Maybe b) Source #
Instance details Defined in Satchmo.Code Methods decode :: Maybe a -> m (Maybe b) Source #
Decode m c a => Decode m [c] [a] Source #
Instance details Defined in Satchmo.Code Methods decode :: [c] -> m [a] Source #
(Ix i, Decode m c a) => Decode m (Array i c) (Array i a) Source #
Instance details Defined in Satchmo.Code Methods decode :: Array i c -> m (Array i a) Source #
(Ord i, Decode m c a) => Decode m (Map i c) (Map i a) Source #
Instance details Defined in Satchmo.Code Methods decode :: Map i c -> m (Map i a) Source #
(Functor m, Ix i, Decode m c d) => Decode m (Array i c) (Array i d) Source #
Instance details Defined in Satchmo.Array Methods decode :: Array i c -> m (Array0 i d) Source #
(Functor m, Decode m b c, Ord a) => Decode m (Map a b) (Map a c) Source #
Instance details Defined in Satchmo.Map.Data Methods decode :: Map a b -> m (Map0 a c) Source #
(Ix a, Ix b, Decode m Boolean Bool) => Decode m (Relation a b) (Array (a, b) Bool) Source #
Instance details Defined in Satchmo.Relation.Data Methods decode :: Relation a b -> m (Array (a, b) Bool) Source #
(Decode m c a, Decode m d b) => Decode m (c, d) (a, b) Source #
Instance details Defined in Satchmo.Code Methods decode :: (c, d) -> m (a, b) Source #
Decode (Reader (Array Variable Bool)) Boolean Bool Source #
Instance details Defined in Satchmo.SAT.Tmpfile Methods decode :: Boolean -> Reader (Array Variable Bool) Bool Source #