satchmo-2.9.9.3: SAT encoding monad
Satchmo.Array
data Array i v Source
Instances
array :: Ix i => (i, i) -> [(i, v)] -> Array i v Source
unknown :: (Monad f, Ix i) => (i, i) -> f a -> f (Array i a) Source
constant :: Array i v -> Array i v Source
(!) :: Ix i => Array i e -> i -> e Source
elems :: Ix i => Array i e -> [e] Source
indices :: Ix i => Array i e -> [i] Source
bounds :: Ix i => Array i e -> (i, i) Source
range :: Ix a => (a, a) -> [a] Source
assocs :: Ix i => Array i e -> [(i, e)] Source