Source
Contents
Index
satchmo-2.8.2: SAT encoding monad
Safe Haskell
None
Language
Haskell98
Satchmo.Map.Data
Documentation
data
Map
a b
Source
Instances
(
Functor
m,
Decode
m b c,
Ord
a) =>
Decode
m (
Map
a b) (
Map
a c)