Monad m => Decode m () () Source | |
(Monad m, Decode m Boolean Bool) => Decode m Number Integer Source | |
(Monad m, Decode m Boolean Bool) => Decode m Number Integer Source | |
(Monad m, Decode m Boolean Bool) => Decode m Number Integer Source | |
(Monad m, Decode m Boolean Bool) => Decode m Number Int Source | |
(Monad m, Decode m Boolean Bool) => Decode m Number Integer Source | |
Decode SAT Boolean Bool Source | |
Decode m a Integer => Decode m (Number a) Integer Source | |
Decode m a b => Decode m (Maybe a) (Maybe b) Source | |
Decode m c a => Decode m [c] [a] Source | |
Decode m a b => Decode m (Poly a) (Poly b) Source | |
Decode m a Integer => Decode m (PolynomialN a) (PolynomialN Integer) Source | |
Decode m a Integer => Decode m (Poly a) (Poly Integer) Source | |
(Functor m, Decode m Boolean Bool, Ord a) => Decode m (Set a) (Set a) Source | |
(Ord i, Decode m c a) => Decode m (Map i c) (Map i a) Source | |
(Ix i, Decode m c a) => Decode m (Array i c) (Array i a) Source | |
(Decode m c a, Decode m d b) => Decode m (c, d) (a, b) Source | |
(Functor m, Ix i, Decode m c d) => Decode m (Array i c) (Array i d) Source | |
(Ix a, Ix b, Decode m Boolean Bool) => Decode m (Relation a b) (Array (a, b) Bool) Source | |
(Functor m, Decode m b c, Ord a) => Decode m (Map a b) (Map a c) Source | |