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