satchmo-2.9.9.4: SAT encoding monad
Safe HaskellSafe-Inferred
LanguageHaskell2010

Satchmo.Array

Documentation

data Array i v Source #

Instances

Instances details
(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 #

array :: Ix i => (i, i) -> [(i, v)] -> Array i v Source #

unknown :: forall {f} {i} {a}. (Ix i, Monad f) => (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 :: Array i e -> [e] Source #

indices :: Ix i => Array i e -> [i] Source #

bounds :: Array i e -> (i, i) Source #

range :: Ix a => (a, a) -> [a] Source #

assocs :: Ix i => Array i e -> [(i, e)] Source #