Re: [Haskell-cafe] Converting Lists to Sets

On Tue, Feb 3, 2009 at 14:58, rodrigo.bonifacio wrote:

Hi all,

I'm trying to use the Funsat library. One of its data types is CNF:

data CNF = CNF { numVars :: Int numClauses :: Int clauses :: Set Clause }

I have a list of clauses, but I'm getting an error when converting such a list to a Set. Using the fromList function, the ghc compiler reports that the fromList function is not applicable to literals.

type Clause = [Lit]

newtype Lit = L { unLit :: Int }

So, my question is: How can I solve this problem?

Assuming your list of clauses, you just need Data.Set.fromList: import qualified Data.Set as Set clauses :: [Clause] Set.fromList clauses :: Set Clause Denis