satchmo-2.9.2: SAT encoding monad

Safe HaskellSafe-Inferred
LanguageHaskell98

Satchmo.Array

Documentation

data Array i v Source

Instances

(Functor m, Ix i, Decode m c d) => Decode m (Array i c) (Array i d) 

unknown :: (Ix i, Functor f, Monad f) => (i, i) -> f v -> f (Array i v) 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