Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype ClauseLike a Source #
ClauseLike [a] |
Instances
Show a => Show (ClauseLike a) Source # | |
Defined in Satyros.CNF.Clause showsPrec :: Int -> ClauseLike a -> ShowS # show :: ClauseLike a -> String # showList :: [ClauseLike a] -> ShowS # | |
Semigroup (ClauseLike a) Source # | |
Defined in Satyros.CNF.Clause (<>) :: ClauseLike a -> ClauseLike a -> ClauseLike a # sconcat :: NonEmpty (ClauseLike a) -> ClauseLike a # stimes :: Integral b => b -> ClauseLike a -> ClauseLike a # | |
Monoid (ClauseLike a) Source # | |
Defined in Satyros.CNF.Clause mempty :: ClauseLike a # mappend :: ClauseLike a -> ClauseLike a -> ClauseLike a # mconcat :: [ClauseLike a] -> ClauseLike a # | |
Wrapped (ClauseLike a) Source # | |
Defined in Satyros.CNF.Clause type Unwrapped (ClauseLike a) # _Wrapped' :: Iso' (ClauseLike a) (Unwrapped (ClauseLike a)) # | |
ClauseLike a1 ~ t => Rewrapped (ClauseLike a2) t Source # | |
Defined in Satyros.CNF.Clause | |
HasClauses (Storage s) (Vector Clause) Source # | |
type Unwrapped (ClauseLike a) Source # | |
Defined in Satyros.CNF.Clause |
type Clause = ClauseLike Literal Source #
entriesOfClauseLike :: Iso' (ClauseLike a) [a] Source #
emptyClause :: Clause -> Bool Source #
unitClause :: Clause -> Bool Source #
maxVariableInClause :: Clause -> Variable Source #